Grammar railroad diagram

[mingodad]

Would be nice if S/SL could generate an EBNF to generate a railroad diagram, I did a proof of concept with a script and a bunch of manual fixes (see bellow):

EBNF for S/SL:

//
// EBNF to be viewd at
//    (IPV6) https://www.bottlecaps.de/rr/ui
//    (IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one of the urls shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//

Program ::=
	InputOutputDefinitions ErrorDefinitions TypeAndMechanismDefinitions RuleDefinitions
InputOutputDefinitions ::=
     (
	 'INPUT' 	     (
		 'OUTPUT' 		    SymbolDefinitions
		| SymbolDefinitions OutputDefinitions
	    )
	| OutputDefinitions
    )
OutputDefinitions ::=
     (
	 'OUTPUT' SymbolDefinitions
	| //empty
    )
     (
	 'INPUT' 'OUTPUT' SymbolDefinitions
	| //empty
    )
SymbolDefinitions ::=
    ':' '<NL>'
    (
	 'ident' VerifyNewSymbol
	     (
		 'string' 		     VerifyNewSymbol Value
		| Value
	    )
	    '<NL>'
	| ';'
    )*
Value ::=
     (
	 '=' 	     (
		 'integer'
		| 'ident'| 'string'
	    )
	| //empty
    )
ErrorDefinitions ::=
     (
	 'ERROR' SymbolDefinitions
	| //empty
    )
TypeAndMechanismDefinitions ::=
    (
	 'TYPE' 'ident' VerifyNewSymbol SymbolDefinitions
	| 'MECHANISM' 'ident' VerifyNewSymbol OperationDefinitions
    )*
OperationDefinitions ::=
    ':' '<NL>'
    (
	 'ident' VerifyNewSymbol
	     (
		 '('
		    'ident'

		    ')'
		| //empty
	    )
	     (
		 '>>'
		    'ident'
		| //empty
	    )
	    '<NL>'
	| ';'
    )*
RuleDefinitions ::=
    'RULES' '<NL>'
    (
	 'ident'
	     (
		 '>>' 'ident'
		|  //empty
	    )
	    ':' '<NL>' Actions ';'
    )* 'END'
Actions ::=
    (
	 (
	     'string' InputOperation
	    | '?' InputAny
	    | '.' ('ident' | 'string' ) OutputOperation
	    | '#' 'ident' ErrorSignal
	    | '@' 'ident' RuleCall
	    | '>>' ReturnOperation
	    | 'ident' InputOrUpdateOperation
	    | '{' CycleAction
	    | '>' CycleExit
	    | '[' 		 (
		     'ident' SemanticChoice
		    | '@' RuleChoice
		    | '*' InputLookaheadChoice
		    | InputChoice
		)
	)
	'<NL>'
    )+
InputOperation ::=
InputAny ::=
OutputOperation ::=
ErrorSignal ::=
RuleCall ::=
ReturnOperation ::=
	 'ident'
InputOrUpdateOperation ::=
     (
	     (
		 '('
			    'ident'
		    ')'
		|  //empty
	    )
    )
CycleAction ::=
    '<NL>' Actions
    '}'
CycleExit ::=
SemanticChoice ::=
     (
	 '('
		    'ident'
	    ')'
    ) ChoiceBody
RuleChoice ::=
    'ident'
      ChoiceBody
InputLookaheadChoice ::=
   ChoiceBody
InputChoice ::=
   ChoiceBody
ChoiceBody ::=
    '<NL>' '|' Labels ':' '<NL>' Actions
    (
	 '|'
	     (
		 '*' ':' '<NL>' Actions
		| Labels ':' '<NL>' Actions
	    )
    )*
    ']'
Labels ::=
    (
	 ('ident' | 'string')
	     (
		 ','
	    )
    )*
VerifyNewSymbol ::=

[mingodad]

And here is the EBNF for Open-TuringPlus:

//
// EBNF to be viewd at
//    (IPV6) https://www.bottlecaps.de/rr/ui
//    (IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one of the urls shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//

Compilation ::=
    '<dummy>' '<dummy>'
     (
	 'grant' GrantList Program
	| 'parent' Parent
	| 'stub' Stub
	| 'body'
	     (
		 'StringLit'
		| //empty
	    )
	     (
		 'StringLit'
		     (
			 'parent' Parent
			| 'stub' Stub
		    )
		| SubprogramImplementation
		    ';' Program
	    )
	| Program
    )
Parent ::=
    'StringLit'
     (
	 'grant' GrantList Program
	| 'parent' Parent
	| 'stub' Stub
	| 'body' Alternate
	| Program
    )
Alternate ::=
    'StringLit'
     (
	 'parent' Parent
	| 'stub' Stub
    )
Child ::=
    'StringLit'
     (
	     (
		 'stub' Stub
		| //empty
	    )
	|
	     (
		 'parent' 'StringLit'
		    '<NL>'
		     (
			 'stub' Stub
			| //empty
		    )
		| 'stub' Stub
	    )
    )
StubChild ::=
    'StringLit'
     (
	 'parent' 'StringLit'
	     (
		 yes
		| //empty
	    )
	    '<NL>'
	     (
		 'stub' Stub
		| //empty
	    )
	| 'stub' Stub
    )
OptionalGrant ::=
     (
	 'grant' GrantList
	| //empty
    )
GrantList ::=
     (
	 '(' 	     (
		 ')'
		| GrantListList
		    ')'
	    )
	| GrantListList
    )
    '<NL>'
GrantListList ::=
    (
	 (
	     'var'
	    | //empty
	)
	'Ident'
	 (
	     ','
	)
    )+
Stub ::=
     (
	 'module' ModuleStub
	    'end' 'Ident' EndOfStub
	    '<NL>'
	     (
		     (
			 ModuleBody
			|
			     (
				 'body' ModuleBody
				| //empty
			    )
		    )
		|
		     (
			     (
				 'body' ModuleBody
				| //empty
			    )
			|
			     (
				 ModuleBody
				| //empty
			    )
		    )
	    )
	| 'monitor' MonitorStub
	    'end' 'Ident' EndOfStub
	    '<NL>'
	     (
		     (
			 MonitorBody
			|
			     (
				 'body' MonitorBody
				| //empty
			    )
		    )
		|
		     (
			     (
				 'body' MonitorBody
				| //empty
			    )
			|
			     (
				 MonitorBody
				| //empty
			    )
		    )
	    )
	 | ('procedure' | 'proc')
	     (
		     (
			 ProcedureHeader OptionalImport EndOfStub SubprogramImplementation
			| ProcedureHeader OptionalImport EndOfStub OptionalImplementation
		    )
		    '<NL>'
		| ProcedureHeader OptionalImport EndOfStub
	    )
	| ('function' | 'fcn')
	     (
		     (
			 FunctionHeader OptionalImport EndOfStub SubprogramImplementation
			| FunctionHeader OptionalImport EndOfStub OptionalImplementation
		    )
		    '<NL>'
		| FunctionHeader OptionalImport EndOfStub
	    )
    )
ModuleStub ::=
    'Ident' OptionalImport OptionalExport DeclarationsInModuleStub
MonitorStub ::=
    'Ident' OptionalImport OptionalExport DeclarationsInMonitorStub
OptionalImplementation ::=
     (
	 'body' SubprogramImplementation
	| //empty
    )
EndOfStub ::=
     (
	 ('body' | '<EOF>')
	| //empty
    )
SubprogramImplementation ::=
     (
	 ('procedure' | 'proc')
	| ('function' | 'fcn')
    )
    'Ident' '<NL>' SubprogramBody
DeclarationsInModuleStub ::=
    (
	 (
	     'const' ConstantDeclarationInModule
	    | 'type' TypeDeclaration
	    | 'external'
		 (
		     'StringLit'
		    | //empty
		)
		 (
		     ('procedure' | 'proc') ExternalProcedureDeclaration
		    | ('function' | 'fcn') ExternalFunctionDeclaration
		)
	     | ('procedure' | 'proc') ProcedureHeader
	    | ('function' | 'fcn') FunctionHeader
	    | 'var' IdListWithIdentText
		':'
		 (
		     'unchecked' 'collection' 'of'
			 (
			     'forward' 'Ident'
			    | TypeSpec
			)
		    | 'collection' 'of'
			 (
			     'forward' 'Ident'
			    | TypeSpec
			)
		    | //empty
		)
	    | 'child' StubChild
	)
	';'
    )+
DeclarationsInMonitorStub ::=
    (
	 (
	     'const' ConstantDeclarationInModule
	    | 'type' TypeDeclaration
	     | ('procedure' | 'proc') ProcedureHeader
	    | ('function' | 'fcn') FunctionHeader
	    | 'var' IdListWithIdentText
		':'
		 (
		     'unchecked' 'collection' 'of'
			 (
			     'forward' 'Ident'
			    | TypeSpec
			)
		    | 'collection' 'of'
			 (
			     'forward' 'Ident'
			    | TypeSpec
			)
		    | //empty
		)
	    | 'child' StubChild
	)
	';'
    )+
ModuleBody ::=
    'module' 'Ident' '<NL>' OptionalGrant OptionalPre DeclarationsAndStatementsInModule OptionalInvariant DeclarationsAndStatementsInModule OptionalPost
    'end' 'Ident' '<NL>'
MonitorBody ::=
    'monitor' 'Ident'
     (
	 ':' Expression
	| //empty
    )
    '<NL>' OptionalGrant OptionalPre DeclarationsAndStatementsInMonitor OptionalInvariant DeclarationsAndStatementsInMonitor OptionalPost
    'end' 'Ident' '<NL>'
Program ::=
    (
	 (
	     'Ident' Selectors OptionalAssignment
	    | 'const' ConstantDeclarationInModule
	    | 'var' VariableDeclarationInModule
	    | 'type' 		 (
		     '(' TypeCheatSpec
			',' Reference
			')' ComponentSelectors OptionalAssignment
		    | TypeDeclaration
		)
	     | ('procedure' | 'proc') ProcedureDeclaration
	    | ('function' | 'fcn') FunctionDeclaration
	    | 'forward'
		 (
		     ('procedure' | 'proc') ForwardProcedureDeclaration
		    | ('function' | 'fcn') ForwardFunctionDeclaration
		)
	    | 'external' ExternalDeclaration
	    | 'child' Child
	    | 'body' SubprogramImplementation
	    | 'module' ModuleDeclaration
	    | 'monitor' MonitorDeclaration
	    | 'process' ProcessDeclaration
	    | 'if' LongFormIfStatement
	    | 'loop' LongFormLoopStatement
	    | 'exit' 		 (
		     'when' Expression
		    | //empty
		)
	    |		 (
		     ':' Expression
		    | //empty
		)
	    | 'case' CaseStatement
	    | 'for' LongFormForStatement
	    | 'begin' DeclarationsAndStatementsInSubprogram
		'end'
	    | 'assert' Expression
	    | ('return' | '>>>')
	    | ('put' | '!') PutStatement
	    | ('get' | '?') GetStatement
	    | 'int' RestOfIndirection Assignment
	    | ('int1' | 'int2' | 'int4') RestOfIndirection Assignment
	    | 'real' RestOfIndirection Assignment
	    | ('real4' | 'real8') RestOfIndirection Assignment
	    | 'boolean' RestOfIndirection Assignment
	    | 'string' OptionalStringSize RestOfIndirection Assignment
	    | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment
	    | 'nat' RestOfIndirection Assignment
	    | ('nat1' | 'nat2' | 'nat4') RestOfIndirection Assignment
	    | 'addressint' RestOfIndirection Assignment
	    | '#' Reference Assignment
	    | 'bits' '(' Reference
		',' BitsRange
		')' Assignment
	    | '[' ShortFormIfStatement
	    | '{' 		 (
		     '+' IncreasingForRange ShortFormForStatement
		    | '-' DecreasingForRange ShortFormForStatement
		    | ShortFormLoopStatement
		)
	    | 'new' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'free' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'tag' VariableReference
		',' Expression
	    | 'read' ReadStatement
	    | 'write' WriteStatement
	    | 'seek' SeekStatement
	    | 'tell' TellStatement
	    | 'open' OpenStatement
	    | 'close' CloseStatement
	    | 'quit' QuitStatement
	    | 'fork' ForkStatement
	    | 'pause' PauseStatement
	    | 'asm' AssemblerStatement
	    | 'unchecked'
	    | 'checked'
	    | ';'
	    |
		 (
		     '<EOF>'
		    | 'Ident'
		)
	)
	';'
    )+
RestOfIndirection ::=
    '@' '(' ExpressionParen
    ')'
OptionalAssignment ::=
     (
	 ':='
	| '+' '='
	| '-' '='
	| 'xor' '='
	| '*' '='
	| '/' '='
	| 'div' '='
	| 'mod' '='
	| 'shl' '='
	| 'shr' '='
	| '**' '='
	| 'and' '='
	| 'or' '='
    ) Expression
Assignment ::=
     (
	 ':='
	| '+' '='
	| '-' '='
	| 'xor' '='
	| '*' '='
	| '/' '='
	| 'div' '='
	| 'mod' '='
	| 'shl' '='
	| 'shr' '='
	| '**' '='
	| 'and' '='
	| 'or' '='
    ) Expression
ExternalDeclaration ::=
     (
	 'StringLit'
	     (
		 ('procedure' | 'proc') ExternalProcedureDeclaration
		| ('function' | 'fcn') ExternalFunctionDeclaration
		| 'var' SubExpression ExternalVariableDeclaration
	    )
	|
	     (
		 ('procedure' | 'proc') ExternalProcedureDeclaration
		| ('function' | 'fcn') ExternalFunctionDeclaration
		| 'var' ExternalVariableListDeclaration
		| Expression
		    'var' ExternalVariableDeclaration
	    )
    )
DeclarationsAndStatementsInModule ::=
    (
	 (
	     'Ident' Selectors OptionalAssignment
	    | 'const' ConstantDeclarationInModule
	    | 'var' VariableDeclarationInModule
	    | 'type' 		 (
		     '(' TypeCheatSpec
			',' Reference
			')' ComponentSelectors OptionalAssignment
		    | TypeDeclaration
		)
	     | ('procedure' | 'proc') ProcedureDeclaration
	    | ('function' | 'fcn') FunctionDeclaration
	    | 'forward'
		 (
		     ('procedure' | 'proc') ForwardProcedureDeclaration
		    | ('function' | 'fcn') ForwardFunctionDeclaration
		)
	    | 'external' ExternalDeclaration
	    | 'child' Child
	    | 'body' SubprogramImplementation
	    | 'module' ModuleDeclaration
	    | 'monitor' MonitorDeclaration
	    | 'process' ProcessDeclaration
	    | 'if' LongFormIfStatement
	    | 'loop' LongFormLoopStatement
	    | 'exit' 		 (
		     'when' Expression
		    | //empty
		)
	    | '>>' 		 (
		     ':' Expression
		    | //empty
		)
	    | 'case' CaseStatement
	    | 'for' LongFormForStatement
	    | 'begin' DeclarationsAndStatementsInSubprogram
		'end'
	    | 'assert' Expression
	    | ('put' | '!') PutStatement
	    | ('get' | '?') GetStatement
	    | 'int' RestOfIndirection Assignment
	    | ('int1' | 'int2' | 'int4') RestOfIndirection Assignment
	    | 'real' RestOfIndirection Assignment
	    | ('real4' | 'real8') RestOfIndirection Assignment
	    | 'boolean' RestOfIndirection Assignment
	    | 'string' OptionalStringSize RestOfIndirection Assignment
	    | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment
	    | 'nat' RestOfIndirection Assignment
	    | ('nat1' | 'nat2' | 'nat4') RestOfIndirection Assignment
	    | 'addressint' RestOfIndirection Assignment
	    | '#' Reference Assignment
	    | 'bits' '(' Reference
		',' BitsRange
		')' Assignment
	    | '[' ShortFormIfStatement
	    | '{' 		 (
		     '+' IncreasingForRange ShortFormForStatement
		    | '-' DecreasingForRange ShortFormForStatement
		    | ShortFormLoopStatement
		)
	    | 'new' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'free' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'tag' VariableReference
		',' Expression
	    | 'read' ReadStatement
	    | 'write' WriteStatement
	    | 'seek' SeekStatement
	    | 'tell' TellStatement
	    | 'open' OpenStatement
	    | 'close' CloseStatement
	    | 'quit' QuitStatement
	    | 'fork' ForkStatement
	    | 'pause' PauseStatement
	    | 'asm' AssemblerStatement
	    | 'unchecked'
	    | 'checked'
	    | ';'
	    |
		 (
		     'end' | 'invariant' | 'post'| '<EOF>'
		    | 'Ident'
		)
	)
	';'
    )+
DeclarationsAndStatementsInMonitor ::=
    (
	 (
	     'Ident' Selectors OptionalAssignment
	    | 'const' ConstantDeclarationInModule
	    | 'var' VariableDeclarationInMonitor
	    | 'type' 		 (
		     '(' TypeCheatSpec
			',' Reference
			')' ComponentSelectors OptionalAssignment
		    | TypeDeclaration
		)
	     | ('procedure' | 'proc') ProcedureOrInterruptProcedureDeclaration
	    | ('function' | 'fcn') FunctionDeclaration
	    | 'forward'
		 (
		     ('procedure' | 'proc') ForwardProcedureDeclaration
		    | ('function' | 'fcn') ForwardFunctionDeclaration
		)
	    | 'external' ExternalDeclaration
	    | 'child' Child
	    | 'body' SubprogramImplementation
	    | 'if' LongFormIfStatement
	    | 'loop' LongFormLoopStatement
	    | 'exit' 		 (
		     'when' Expression
		    | //empty
		)
	    | '>>' 		 (
		     ':' Expression
		    | //empty
		)
	    | 'case' CaseStatement
	    | 'for' LongFormForStatement
	    | 'begin' DeclarationsAndStatementsInSubprogram
		'end'
	    | 'assert' Expression
	    | ('put' | '!') PutStatement
	    | ('get' | '?') GetStatement
	    | 'int' RestOfIndirection Assignment
	    | ('int1' | 'int2' | 'int4') RestOfIndirection Assignment
	    | 'real' RestOfIndirection Assignment
	    | ('real4' | 'real8') RestOfIndirection Assignment
	    | 'boolean' RestOfIndirection Assignment
	    | 'string' OptionalStringSize RestOfIndirection Assignment
	    | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment
	    | 'nat' RestOfIndirection Assignment
	    | ('nat1' | 'nat2' | 'nat4') RestOfIndirection Assignment
	    | 'addressint' RestOfIndirection Assignment
	    | '#' Reference Assignment
	    | 'bits' '(' Reference
		',' BitsRange
		')' Assignment
	    | '[' ShortFormIfStatement
	    | '{' 		 (
		     '+' IncreasingForRange ShortFormForStatement
		    | '-' DecreasingForRange ShortFormForStatement
		    | ShortFormLoopStatement
		)
	    | 'new' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'free' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'tag' VariableReference
		',' Expression
	    | 'read' ReadStatement
	    | 'write' WriteStatement
	    | 'seek' SeekStatement
	    | 'tell' TellStatement
	    | 'open' OpenStatement
	    | 'close' CloseStatement
	    | 'quit' QuitStatement
	    | 'fork' ForkStatement
	    | 'pause' PauseStatement
	    | 'asm' AssemblerStatement
	    | 'unchecked'
	    | 'checked'
	    | ';'
	    |
		 (
		     'end' | 'invariant' | 'post' | '<EOF>'
		    | 'Ident'
		)
	)
	';'
    )+
DeclarationsAndStatementsInSubprogram ::=
    (
	 (
	     'Ident' Selectors OptionalAssignment
	    | 'const' ConstantDeclarationInSubprogram
	    | 'var' VariableDeclarationInSubprogram
	    | 'external' ExternalDeclaration
	    | 'bind' BindDeclaration
	    | 'type' 		 (
		     '(' TypeCheatSpec
			',' Reference
			')' ComponentSelectors OptionalAssignment
		    | TypeDeclaration
		)
	    | 'if' LongFormIfStatement
	    | 'loop' LongFormLoopStatement
	    | 'exit' 		 (
		     'when' Expression
		    | //empty
		)
	    | '>>' 		 (
		     ':' Expression
		    | //empty
		)
	    | 'case' CaseStatement
	    | 'for' LongFormForStatement
	    | 'begin' DeclarationsAndStatementsInSubprogram
		'end'
	    | 'assert' Expression
	    | 'return'
	    | 'result' Expression
	    | '>>>' 		 (
		     ':' Expression
		    | //empty
		)
	    | ('put' | '!') PutStatement
	    | ('get' | '?') GetStatement
	    | 'int' RestOfIndirection Assignment
	    | ('int1' | 'int2' | 'int4') RestOfIndirection Assignment
	    | 'real' RestOfIndirection Assignment
	    | ('real4' | 'real8') RestOfIndirection Assignment
	    | 'boolean' RestOfIndirection Assignment
	    | 'string' OptionalStringSize RestOfIndirection Assignment
	    | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment
	    | 'nat' RestOfIndirection Assignment
	    | ('nat1' | 'nat2' | 'nat4') RestOfIndirection Assignment
	    | 'addressint' RestOfIndirection Assignment
	    | '#' Reference Assignment
	    | 'bits' '(' Reference
		',' BitsRange
		')' Assignment
	    | '[' ShortFormIfStatement
	    | '{' 		 (
		     '+' IncreasingForRange ShortFormForStatement
		    | '-' DecreasingForRange ShortFormForStatement
		    | ShortFormLoopStatement
		)
	    | 'new' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'free' 'Ident'
		 (
		     '.' 'Ident'
		    | //empty
		)
		',' VariableReference
	    | 'tag' VariableReference
		',' Expression
	    | 'read' ReadStatement
	    | 'write' WriteStatement
	    | 'seek' SeekStatement
	    | 'tell' TellStatement
	    | 'open' OpenStatement
	    | 'close' CloseStatement
	    | 'quit' QuitStatement
	    | 'fork' ForkStatement
	    | 'signal' SignalStatement
	    | 'wait' WaitStatement
	    | 'pause' PauseStatement
	    | 'asm' AssemblerStatement
	    | 'unchecked'
	    | 'checked'
	    | ';'
	    |
		 (
		     'end' |  'else' |  'elsif' |  'invariant' |  'label' |
			    '|' |  ']' |  '}' |
			    '<EOF>'
		    | 'Ident'
		)
	)
	';'
    )
ConstantDeclarationInModule ::=
	OptionalPervasiveSpec
    'Ident'
     (
	 ':=' Expression
	| ':' TypeSpec
	    ':='
	     (
		 'init' '(' InitializingValueList
		    ')'
		| Expression
	    )
    )
ConstantDeclarationInSubprogram ::=
	OptionalPervasiveSpec OptionalRegisterSpec
    'Ident'
     (
	 ':=' Expression
	| ':' TypeSpec
	    ':='
	     (
		 'init' '(' InitializingValueList
		    ')'
		| Expression
	    )
    )
InitializingValueList ::=
    ( InitializingValue
	 (
	     ','
	)
    )+
InitializingValue ::=
     (
	 'init' '(' InitializingValueList
	    ')'
	| ExpressionCommaParen
    )
OptionalPervasiveSpec ::=
     (
	 'pervasive' | '*'
	| //empty
    )
OptionalRegisterSpec ::=
     (
	 'register'
	| //empty
    )
OptionalVariableInit ::=
     (
	 ':=' 	     (
		 'init' '(' InitializingValueList
		    ')'
		| Expression
	    )
	| //empty
    )
VariableDeclarationInModule ::=
	IdListWithIdentText
     (
	 ':' 	     (
		 'unchecked' 'collection' 'of'
		     (
			 'forward' 'Ident'
			| TypeSpec
		    )
		| 'collection' 'of'
		     (
			 'forward' 'Ident'
			| TypeSpec
		    )
		| TypeSpec OptionalVariableInit
	    )
	| ':=' Expression
    )
ExternalVariableDeclaration ::=
    'Ident'
     (
	 ':' TypeSpec OptionalVariableInit
	| ':=' Expression
    )
ExternalVariableListDeclaration ::=
	IdListWithIdentText
     (
	 ':' TypeSpec OptionalVariableInit
	| ':=' Expression
    )
VariableDeclarationInSubprogram ::=
     (
	 'register'
	| //empty
    ) IdListWithIdentText
     (
	 ':' TypeSpec OptionalVariableInit
	| ':=' Expression
    )
VariableDeclarationInMonitor ::=
	IdListWithIdentText
     (
	 ':' 	     (
		 'condition' ConditionType
		| 'unchecked' 'collection' 'of'
		     (
			 'forward' 'Ident'
			| TypeSpec
		    )
		| 'collection' 'of'
		     (
			 'forward' 'Ident'
			| TypeSpec
		    )
		| 'array'
		    ( IndexType
			 (
			     ','
			)
		    )+
		    'of'
		     (
			 'condition' ConditionType
			| TypeSpec OptionalVariableInit
		    )
		| TypeSpec OptionalVariableInit
	    )
	| ':=' Expression
    )
ConditionType ::=
     (
	 'priority'
	| 'deferred'
	| 'timeout'
	| //empty
    )
IdList ::=
    (
	'Ident'
	 (
	     ','
	)
    )+
IdListWithIdentText ::=
    (
	'Ident'
	 (
	     ','
	)
    )
BindDeclaration ::=
    (
	 (
	     'var'
	    | //empty
	)
	 (
	     'register'
	    | //empty
	)
	'Ident' 'to' VariableReference
	 (
	     ','
	)
    )+
TypeDeclaration ::=
	OptionalPervasiveSpec 'Ident' ':' TypeSpec
TypeSpec ::=
     (
	 'int'
	| ('int1' | 'int2' | 'int4')
	| 'real'
	| ('real4' | 'real8')
	| 'boolean'
	| 'string' OptionalStringSize
	| 'enum' '(' IdList ')' OptionalStorageSize
	| 'nat'
	| ('nat1' | 'nat2' | 'nat4')
	| 'char' OptionalStringSize
	| 'addressint'
	| 'packed'
	     (
		 'array'
		    ( IndexType
			 (
			     ','
			)
		    )+
		    'of' TypeSpec
		| 'union' UnionTypeSpec
		| 'record' RecordTypeSpec
		| 'enum' '(' IdList ')'
		| ExpressionDotDot '..' Expression
	    )
	| 'array'
	    ( IndexType
		 (
		     ','
		)
	    )+
	    'of' TypeSpec
	| '{'
	    ( IndexType
		 (
		     ','
		)
	    )+
	    '}' TypeSpec
	| 'set' 'of' BaseType
	| 'record' RecordTypeSpec
	| 'union' UnionTypeSpec
	| 'pointer' 'to' 'Ident'
	 | ('procedure' | 'proc') ProcedureHeader
	| ('function' | 'fcn') FunctionTypeHeader
	| NamedOrSubrangeTypeSpec
    )
OptionalStringSize ::=
     (
	 '(' Expression
	    ')'
	| //empty
    )
OptionalStorageSize ::=
     (
	 ':' Expression
	| //empty
    )
BaseType ::=
	IndexType
IndexType ::=
     (
	 'enum' '(' IdList ')' OptionalStorageSize
	| NamedOrSubrangeTypeSpec
    )
RecordTypeSpec ::=
    ( IdList
	':' TypeSpec
	';'
	 (
	     'end' 'record'
	    | //empty
	)
    )+
UnionTypeSpec ::=
     (
	 'Ident'
	| //empty
    )
    ':' IndexType
    'of' '<NL>'
     (
	 'label' UnionLabel
	| '|' UnionBar
	| UnionLabel
    )
    'end' 'union'
UnionLabel ::=
     (
	 'label'
	     (
		 ':' '<NL>'
		     (
			 'Ident'
			    (
				 'Ident'
				     (
					 ',' IdList
					| //empty
				    )
				    ':' TypeSpec
				    ';'
			    )*
			| //empty
		    )
		| ExpressionList
		    ':' '<NL>'
		     (
			 'Ident'
			    (
				 'Ident'
				     (
					 ',' IdList
					| //empty
				    )
				    ':' TypeSpec
				    ';'
			    )*
			| //empty
		    )
	    )
    )*
UnionBar ::=
    (
	 '|'
	     (
		 ':' '<NL>'
		     (
			 'Ident'
			    (
				 'Ident'
				     (
					 ',' IdList
					| //empty
				    )
				    ':' TypeSpec
				    ';'
			    )*
			| //empty
		    )
		| ExpressionList
		    ':' '<NL>'
		     (
			 'Ident'
			    (
				 'Ident'
				     (
					 ',' IdList
					| //empty
				    )
				    ':' TypeSpec
				    ';'
			    )*
			| //empty
		    )
	    )
    )*
NamedOrSubrangeTypeSpec ::=
     (
	 'Ident'
	     (
		 '.' 'Ident'
		     (
			 '..' Expression OptionalStorageSize
			|
			     (
				 ('(' |  '.' |  '+' |  '-' |  '*' |  '/' |  'div' |  'mod' |
					'**' |  '=' |  '>' |  '<' |  '<=' |  '>=' |  'not' |
					'~' |  'and' |  '&' |  'or' |  '=>' |  'in' |
					'xor' |  'shr' |  'shl') RestOfExpression
				    '..' Expression OptionalStorageSize
				| //empty
			    )
		    )
		| '..' Expression OptionalStorageSize
		|
		     (
			 ('(' |  '.' |  '+' |  '-' |  '*' |  '/' |  'div' |  'mod' |
				'**' |  '=' |  '>' |  '<' |  '<=' |  '>=' |  'not' |
				'~' |  'and' |  '&' |  'or' |  '=>' |  'in' |
				'xor' |  'shr' |  'shl') RestOfExpression
			    '..' Expression OptionalStorageSize
			| //empty
		    )
	    )
	| ExpressionDotDot
	    '..' Expression OptionalStorageSize
    )
BitsRange ::=
	ExpressionDotDotParen
     (
	 '..' Expression
	| //empty
    )
NamedOrSubrangeArrayIndexType ::=
     (
	 'Ident'
	     (
		 '.' 'Ident'
		     (
			 '..'
			     (
				 '*'
				| //empty
			    ) Expression
			|
			     (
				 ('(' |  '.' |  '+' |  '-' |  '*' |  '/' |  'div' |  'mod' |
					'**' |  '=' |  '>' |  '<' |  '<=' |  '>=' |  'not' |
					'~' |  'and' |  '&' |  'or' |  '=>' |  'in' |
					'xor' |  'shr' |  'shl') RestOfExpression
				    '..'
				     (
					 '*'
					| //empty
				    ) Expression
				| //empty
			    )
		    )
		| '..'
		     (
			 '*'
			| //empty
		    ) Expression
		|
		     (
			 ('(' |  '.' |  '+' |  '-' |  '*' |  '/' |  'div' |  'mod' |
				'**' |  '=' |  '>' |  '<' |  '<=' |  '>=' |  'not' |
				'~' |  'and' |  '&' |  'or' |  '=>' |  'in' |
				'xor' |  'shr' |  'shl') RestOfExpression
			    '..'
			     (
				 '*'
				| //empty
			    ) Expression
			| //empty
		    )
	    )
	| ExpressionDotDot
	    '..'
	     (
		 '*'
		| //empty
	    ) Expression
    )

ProcedureHeader ::=
    'Ident'
     (
	 '(' ParameterList
	    ')'
	| //empty
    )
    '<NL>'
ProcedureOrInterruptProcedureHeader ::=
    'Ident'
     (
	 '(' ParameterList ')'
	| ':' Expression
	| //empty
    )
    '<NL>'
FunctionHeader ::=
    'Ident'
     (
	 '(' ParameterList ')'
	| //empty
    )
     (
	 'Ident'
	| //empty
    )
    ':' TypeSpec
    '<NL>'
FunctionTypeHeader ::=
    'Ident' '(' ParameterList ')'
     (
	 'Ident'
	| //empty
    )
    ':' TypeSpec
    '<NL>'
ProcessHeader ::=
    'Ident'
     (
	 '(' ParameterList ')'
	| //empty
    )
     (
	 ':' Expression
	| //empty
    )
    '<NL>'
OptionalExport ::=
     (
	 'export' 	     (
		 '(' 		     (
			 ')'
			| ExportList
			    ')'
		    )
		| ExportList
	    )
	    '<NL>'
	| //empty
    )
OptionalImport ::=
     (
	 'import'
	     (
		 '(' 		     (
			 ')' 			| ImportList
			    ')'
		    )
		| ImportList
	    )
	    '<NL>'
	| //empty
    )
ImportList ::=
    (
	 (
	     'var'
	    | //empty
	)
	'Ident'
	 (
	     ','
	)
    )+
ExportList ::=
    (
	 (
	     'opaque'
	    | //empty
	)
	 (
	     'unqualified'
	    | 'not' '.'
	    | '~' '.'
	    | //empty
	)
	'Ident'
	 (
	     ','
	)
    )+
ForwardImport ::=
     (
	 'import'
	     (
		 '(' 		     (
			 ')' 			| ForwardImportList
			    ')'
		    )
		| ForwardImportList
	    )
	| //empty
    )
ForwardImportList ::=
    (
	 (
	     'var'
	    | 'forward'
	    | //empty
	)
	'Ident'
	 (
	     ','
	)
    )+
ProcedureDeclaration ::=
	ProcedureHeader OptionalImport SubprogramBody
ProcedureOrInterruptProcedureDeclaration ::=
	ProcedureOrInterruptProcedureHeader OptionalImport SubprogramBody
FunctionDeclaration ::=
	FunctionHeader OptionalImport SubprogramBody
ProcessDeclaration ::=
	ProcessHeader OptionalImport SubprogramBody
ForwardProcedureDeclaration ::=
	ProcedureHeader ForwardImport
ForwardFunctionDeclaration ::=
	FunctionHeader ForwardImport
ExternalProcedureDeclaration ::=
    'Ident'
     (
	 yes
	| //empty
    )
     (
	 '(' ParameterList
	    ')'
	| //empty
    )
ExternalFunctionDeclaration ::=
    'Ident'
     (
	 yes
	| //empty
    )
     (
	 '(' ParameterList ')'
	| //empty
    )
     (
	 'Ident'
	| //empty
    )
    ':' TypeSpec
ParameterList ::=
    (
	 (
	     'var' OptionalRegisterSpec IdList
		':' ParameterType
	     | ('procedure' | 'proc') ProcedureHeader
	    | ('function' | 'fcn') FunctionHeader
	    | 'register' IdList ':' ParameterType
	    | 'Ident'
		 (
		     ',' IdList
			':' ParameterType
		    |
			':'
			 (
			     '..'
			    | ParameterType
			)
		)
	    | IdList
		':' ParameterType
	)
	 (
	     ','
	)
    )+
OptionalStarredStringBound ::=
     (
	 '('
	     (
		 '*'
		| ExpressionParen
	    )
	    ')'
	| //empty
    )
ShortFormParameterArrayType ::=
	NamedOrSubrangeArrayIndexType
	| starBound
	    (
		 (
		     ','
		     | //empty
		) ExpressionDotDot
		'..' '*'
	    )+
	    '}'
	     (
		 'string' OptionalStarredStringBound
		| 'char' OptionalStarredStringBound
		| TypeSpec
	    )
	|
	    (
		 (
		     ','
		     | //empty
		) IndexType
	    )+
	    '}'
	     (
		 'string' OptionalStringSize
		| 'char' OptionalStringSize
		| TypeSpec
	    )

ParameterArrayType ::=
	NamedOrSubrangeArrayIndexType
	| starBound
	    (
		 (
		     ','
			| //empty
		) ExpressionDotDot
		'..' '*'
	    )+
	    'of'
	     (
		 'string' OptionalStarredStringBound
		| 'char' OptionalStarredStringBound
		| TypeSpec
	    )
	|
	    (
		 (
		     ','
		     | //empty
		) IndexType
	    )+
	    'of'
	     (
		 'string' OptionalStringSize
		| 'char' OptionalStringSize
		| TypeSpec
	    )

ParameterType ::=
	 'array' ParameterArrayType
	| '{' ShortFormParameterArrayType
	| 'string' OptionalStarredStringBound
	| 'char' OptionalStarredStringBound
	| 'type' TypeSpec
	| TypeSpec

SubprogramBody ::=
	OptionalPre OptionalInit OptionalPost OptionalExceptionHandler DeclarationsAndStatementsInSubprogram
    'end' 'Ident'
OptionalPre ::=
	 'pre' Expression
	    '<NL>'
	| //empty
OptionalInvariant ::=
	 'invariant' Expression
	    '<NL>'
	| //empty
OptionalInit ::=
	 'init'
	    (
		'Ident' ':=' Expression
		 (
		     ','
		     | //empty
		)
	    )+
	    '<NL>'
	| //empty
OptionalPost ::=
	 'post' Expression
	    '<NL>'
	| //empty
OptionalExceptionHandler ::=
	 'handler' '(' 'Ident' ')' '<NL>' DeclarationsAndStatementsInSubprogram
	    'end' 'handler' '<NL>'
	| //empty
ModuleDeclaration ::=
    'Ident' '<NL>' OptionalImport OptionalExport OptionalGrant OptionalPre DeclarationsAndStatementsInModule OptionalInvariant DeclarationsAndStatementsInModule OptionalPost
    'end' 'Ident'
MonitorDeclaration ::=
    'Ident'
     (
	 ':' Expression
	| //empty
    )
    '<NL>' OptionalImport OptionalExport OptionalGrant OptionalPre DeclarationsAndStatementsInMonitor OptionalInvariant DeclarationsAndStatementsInMonitor OptionalPost
    'end' 'Ident'
LongFormIfStatement ::=
    ( ExpressionThen
	'then' '<NL>' DeclarationsAndStatementsInSubprogram
	 (
	     'elsif'
	    | 'else' '<NL>' DeclarationsAndStatementsInSubprogram
	)
    )+
    'end' 'if'
ShortFormIfStatement ::=
    ( ExpressionColon
	':' '<NL>' DeclarationsAndStatementsInSubprogram
	 (
	     '|'
		(
		     ':' '<NL>' DeclarationsAndStatementsInSubprogram
		    | //empty
		)
	)
    )+
    ']'
LongFormLoopStatement ::=
    '<NL>' OptionalInvariant DeclarationsAndStatementsInSubprogram
    'end' 'loop'
ShortFormLoopStatement ::=
    '<NL>' OptionalInvariant DeclarationsAndStatementsInSubprogram '}'
CaseStatement ::=
    ExpressionOf 'of' '<NL>'
     (
	 'label' LongFormCaseStatement
	| '|' ShortFormCaseStatement
    )
    'end' 'case'
LongFormCaseStatement ::=
    ( ExpressionList
	':' '<NL>' DeclarationsAndStatementsInSubprogram
	 (
	     'label'
		(
		     ':' '<NL>' DeclarationsAndStatementsInSubprogram
		    | //empty
		)
	)
    )+
ShortFormCaseStatement ::=
    ( ExpressionList
	':' '<NL>' DeclarationsAndStatementsInSubprogram
	 (
	     '|'
		(
		     ':' '<NL>' DeclarationsAndStatementsInSubprogram
		    | //empty
		)
	)
    )+
LongFormForStatement ::=
     (
	 'decreasing' DecreasingForRange
	| IncreasingForRange
    ) OptionalInvariant DeclarationsAndStatementsInSubprogram
    'end' 'for'
ShortFormForStatement ::=
    OptionalInvariant DeclarationsAndStatementsInSubprogram '}'
IncreasingForRange ::=
     (
	 'Ident'
	| //empty
    )
    ':' NamedOrSubrangeTypeSpec
    '<NL>'
DecreasingForRange ::=
     (
	 'Ident'
	| //empty
    )
    ':' ExpressionDotDot
    '..' Expression
    '<NL>'
PutStatement ::=
     (
	 ':' ExpressionComma
	    ','
	| //empty
    )
    ( PutListItem
	     ','
    )+
     (
	 '..'
	| //empty
    )
PutListItem ::=
	 'skip'
	| ExpressionCommaColon
	     (
		 ':' ExpressionCommaColon
		     (
			 ':' ExpressionCommaColon
			     (
				 ':' ExpressionComma
				| //empty
			    )
			| //empty
		    )
		| //empty
	    )

GetStatement ::=
     (
	 ':' ExpressionComma
	    ','
	| //empty
    )
    ( GetItem
	     ','
    )+
GetItem ::=
	 'skip'
	| VariableReference
	     (
		 ':'
		     (
			 '*'
			| ExpressionComma
		    )
		| //empty
	    )
OpenStatement ::=
	 ':' Reference
	    ',' Expression
	    ',' IoCapability
	    (
		 ',' IoCapability
	    )*
	| '(' Reference
	    ',' Expression
	    ',' Expression
	    ')'
IoCapability ::=
	 'get'
	| 'put'
	| 'read'
	| 'write'
	| 'seek'
	| 'mod'
CloseStatement ::=
	 ':' Expression
	| '(' Expression ')'
ReadStatement ::=
	ReadOrWriteStatement
WriteStatement ::=
	ReadOrWriteStatement
ReadOrWriteStatement ::=
    ':' Expression
     (
	 ':' Reference
	| //empty
    )
    ',' ReadWriteItem
    (
	 ',' ReadWriteItem
    )*
ReadWriteItem ::=
    Reference
     (
	  ':' Expression
	     (
		 ':' Reference
		| //empty
	    )
	| //empty
    )
SeekStatement ::=
    ':' Expression
    ','
     (
	 '*'
	| Expression
    )
TellStatement ::=
    ':' Expression
    ',' Reference
QuitStatement ::=
     (
	 '>'
	| '<'
	| //empty
    )
     (
	 ':' Expression
	| //empty
    )
ForkStatement ::=
    'Ident'
     (
	 '.' 'Ident'
	| //empty
    )
     (
	 '(' ExpressionList
	    ')'
	| //empty
    )
     (
	 ':' Reference
	     (
		 ',' Expression
		     (
			 ',' Reference
			| //empty
		    )
		| //empty
	    )
	| //empty
    )
AssemblerStatement ::=
	Expression
	(
	 ':' Expression
	| //empty
	)
	(
	 ',' Expression
	)*
SignalStatement ::=
    VariableReference
WaitStatement ::=
    VariableReference
     (
	 ',' Expression
	| //empty
    )
PauseStatement ::=
    Expression
VariableReference ::=
    Reference
Reference ::=
	 'Ident' Selectors
	| '#' Reference
	| 'int' RestOfIndirection
	| ('int1' | 'int2' | 'int4') RestOfIndirection
	| 'real' RestOfIndirection
	| ('real4' | 'real8') RestOfIndirection
	| 'boolean' RestOfIndirection
	| 'string' OptionalStringSize RestOfIndirection
	| 'char' OptionalStringSize RestOfIndirection ComponentSelectors
	| 'nat' RestOfIndirection
	| ('nat1' | 'nat2' | 'nat4') RestOfIndirection
	| 'addressint' RestOfIndirection
	| 'type' '(' TypeCheatSpec
	    ',' Reference
	    ')' ComponentSelectors
TypeCheatSpec ::=
	 'int'
	| ('int1' | 'int2' | 'int4')
	| 'real'
	| ('real4' | 'real8')
	| 'boolean'
	| 'string' OptionalStringSize
	| 'char' OptionalStringSize
	| 'nat'
	| ('nat1' | 'nat2' | 'nat4')
	| 'addressint'
	| 'Ident'
	     (
		 '.' 'Ident'
		| //empty
	    )
Selectors ::=
     (
	 '.' '.' 'Ident'
	     (
		 '@' RestOfIndirection
		| //empty
	    )
	| '@' RestOfIndirection
	| //empty
    ) ComponentSelectors
ComponentSelectors ::=
    (
	 '(' ExpressionList ')'
	| '.' 'Ident'
    )*
RestOfExpression ::=
    Variable SubExpression
ExpressionList ::=
    ( ExpressionCommaColonParen
	 (
	     ','
	)
    )+
ExpressionDotDot ::=
    Factor
     (
	 '..' 	| SubExpression
    )
ExpressionDotDotParen ::=
    Factor
     (
	 ')' | '..' 	| SubExpression
    )
ExpressionParen ::=
    Factor
     (
	 ')' 	| SubExpression
    )
ExpressionCommaParen ::=
    Factor
     (
	 ',' | ')' 	| SubExpression
    )
ExpressionComma ::=
	Factor
     (
	 ',' 	| SubExpression
    )
ExpressionCommaColon ::=
	Factor
	(
	 (':' | ',') 	| SubExpression
	)
ExpressionCommaColonParen ::=
	Factor
	(
	 (')' | ',' | ':') 	| SubExpression
	)
ExpressionThen ::=
	Factor
	(
	 'then' 	| SubExpression
	)
ExpressionOf ::=
	Factor
	(
	 'of' 	| SubExpression
	)
ExpressionColon ::=
	Factor
     (
	 ':' 	| SubExpression
    )
Expression ::=
	Factor
	(
	 ('Ident' | 'const' | 'var' | 'if') 	| SubExpression
	)
SubExpression ::=
    Disjunction
    (
	 '=>' Factor Disjunction
    )*
Disjunction ::=
    Conjunction
    (
	 'or' Factor Conjunction
    )*
Conjunction ::=
    Relation
    (
	 ('and' | '&') Factor Relation
    )*
Relation ::=
    Sum
    (
	 '=' Factor Sum
	| '<' Factor Sum
	| '<=' Factor Sum
	| '>' Factor Sum
	| '>=' Factor Sum
	| ('not' | '~')
	   (
		 '=' Factor Sum
		| 'in' Factor Sum
	    )
	| 'in' Factor Sum
    )*
Sum ::=
    Term
    (
	 '+' Factor Term
	| '-' Factor Term
	| 'xor' Factor Term
    )*
Term ::=
    Exponent
    (
	 '*' Factor Exponent
	| '/' Factor Exponent
	| 'div' Factor Exponent
	| 'mod' Factor Exponent
	| 'shr' Factor Exponent
	| 'shl' Factor Exponent
    )*
Exponent ::=
    (
	 '**' Factor
    )*
Factor ::=
	 'Ident' VariableOrIndirection
	| 'IntegerLit'
	| 'RealLit'
	| 'StringLit'
	| 'CharLit'
	| '+' Factor Exponent
	| '-' Factor Exponent
	| '#' Factor Exponent
	| 'int' RestOfIndirection
	| ('int1' | 'int2' | 'int4') RestOfIndirection
	| 'real' RestOfIndirection
	| ('real4' | 'real8') RestOfIndirection
	| 'boolean' RestOfIndirection
	| 'string' OptionalStringSize RestOfIndirection Variable
	| 'char' OptionalStringSize RestOfIndirection Variable
	| 'nat' RestOfIndirection
	| ('nat1' | 'nat2' | 'nat4') RestOfIndirection
	| 'addressint' RestOfIndirection
	| '(' Factor SubExpression ')'
	| 'type' '(' TypeCheatSpec
	    ',' ExpressionCommaColonParen
	     (
		 ':' ExpressionParen
		| //empty
	    )
	    ')' Variable
	| 'bits' '(' ExpressionComma ',' BitsRange ')'
	| ('not' | '~') Factor Relation
	| 'true'
	| 'false'
VariableOrIndirection ::=
     (
	 '.' '.' 'Ident'
	     (
		 '@' RestOfIndirection
		| //empty
	    )
	| '@' RestOfIndirection
	| //empty
    ) Variable
Variable ::=
    (
	 '('
	     (
		 'all' ')'
		| ')'
		| '*' OptionalMinusExpression
		     (
			 ')'
			 | '..'
			   (
				 '*' OptionalMinusExpression
				| Expression
			    )
			    ')'
		    )
		| ExpressionDotDotParen
		     (
			 '..'
			 (
				 '*' OptionalMinusExpression
				| ExpressionParen
			    )
			    ')'
			| ',' ExpressionList
			| //empty
		    )
	    )
	    ')'
	| '.' 'Ident'
    )*
OptionalMinusExpression ::=
	 '-' Expression
	| //empty

[mingodad]

There is a lot of repetition on the Open-TuringPlus !

[mingodad]

Here is the output of sim_text (https://dickgrune.com/Programs/similarity_tester/ https://packages.debian.org/source/sid/similarity-tester ):

sim_text parse-touring.ssl
File parse-touring.ssl: 4966 words, 5057 lines
Total input: 1 file (1 new, 0 old), 4966 words

parse-touring.ssl: line 1676-1871      |parse-touring.ssl: line 1927-2122 [184]
  | 'if':                              |  | 'if':
  @LongFormIfStatement                 |  @LongFormIfStatement
  | 'loop':                            |  | 'loop':
  @LongFormLoopStatement               |  @LongFormLoopStatement
  | 'exit':                            |  | 'exit':
  [                                    |  [
  | 'when':                            |  | 'when':
  .aExitWhen                           |  .aExitWhen
  @Expression                          |  @Expression
  | *:                                 |  | *:
  .aExit                               |  .aExit
  ]                                    |  ]
  | '>>':                              |  | '>>':
  [                                    |  [
  | ':':                               |  | ':':
  .aExitWhen                           |  .aExitWhen
  @Expression                          |  @Expression
  | *:                                 |  | *:
  .aExit                               |  .aExit
  ]                                    |  ]
  | 'case':                            |  | 'case':
  @CaseStatement                       |  @CaseStatement
  | 'for':                             |  | 'for':
  @LongFormForStatement                |  @LongFormForStatement
  | 'begin':                           |  | 'begin':
  .aBegin                              |  .aBegin
  oEmitLine                            |  oEmitLine
  @DeclarationsAndStatementsInSubprogra|  @DeclarationsAndStatementsInSubprogra
  'end' .aEndBegin                     |  'end' .aEndBegin
  | 'assert':                          |  | 'assert':
  .aAssert                             |  .aAssert
  @Expression                          |  @Expression
  | 'put', '!':                        |  | 'put', '!':
  @PutStatement                        |  @PutStatement
  | 'get', '?':                        |  | 'get', '?':
  @GetStatement                        |  @GetStatement
                                       |
  | 'int':                             |  | 'int':
  .aTypeCheat                          |  .aTypeCheat
  .aInt                                |  .aInt
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'int1', 'int2', 'int4':            |  | 'int1', 'int2', 'int4':
  .aTypeCheat                          |  .aTypeCheat
  .aInt                                |  .aInt
  .aStorageSize                        |  .aStorageSize
  oEmitTypeSizeAsIntegerLit            |  oEmitTypeSizeAsIntegerLit
  .aEndExpression                      |  .aEndExpression
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'real':                            |  | 'real':
  .aTypeCheat                          |  .aTypeCheat
  .aReal                               |  .aReal
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'real4', 'real8':                  |  | 'real4', 'real8':
  .aTypeCheat                          |  .aTypeCheat
  .aReal                               |  .aReal
  .aStorageSize                        |  .aStorageSize
  oEmitTypeSizeAsIntegerLit            |  oEmitTypeSizeAsIntegerLit
  .aEndExpression                      |  .aEndExpression
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'boolean':                         |  | 'boolean':
  .aTypeCheat                          |  .aTypeCheat
  .aBoolean                            |  .aBoolean
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'string':                          |  | 'string':
  .aTypeCheat                          |  .aTypeCheat
  .aString                             |  .aString
  @OptionalStringSize                  |  @OptionalStringSize
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'char':                            |  | 'char':
  .aTypeCheat                          |  .aTypeCheat
  .aChar                               |  .aChar
  @OptionalStringSize                  |  @OptionalStringSize
  @RestOfIndirection                   |  @RestOfIndirection
  @ComponentSelectors                  |  @ComponentSelectors
  @Assignment                          |  @Assignment
  | 'nat':                             |  | 'nat':
  .aTypeCheat                          |  .aTypeCheat
  .aNat                                |  .aNat
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'nat1', 'nat2', 'nat4':            |  | 'nat1', 'nat2', 'nat4':
  .aTypeCheat                          |  .aTypeCheat
  .aNat                                |  .aNat
  .aStorageSize                        |  .aStorageSize
  oEmitTypeSizeAsIntegerLit            |  oEmitTypeSizeAsIntegerLit
  .aEndExpression                      |  .aEndExpression
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'addressint':                      |  | 'addressint':
  .aTypeCheat                          |  .aTypeCheat
  .aAddressInt                         |  .aAddressInt
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
                                       |
  | '#':                               |  | '#':
  @Reference                           |  @Reference
  .aHash                               |  .aHash
  @Assignment                          |  @Assignment
  | 'bits':                            |  | 'bits':
  .aBits                               |  .aBits
  '('                                  |  '('
  @Reference                           |  @Reference
  ','                                  |  ','
  @BitsRange                           |  @BitsRange
  ')'                                  |  ')'
  @Assignment                          |  @Assignment
  | '[':                               |  | '[':
  @ShortFormIfStatement                |  @ShortFormIfStatement
  | '{':                               |  | '{':
  [                                    |  [
  | '+':                               |  | '+':
  .aFor                                |  .aFor
  @IncreasingForRange                  |  @IncreasingForRange
  @ShortFormForStatement               |  @ShortFormForStatement
  | '-':                               |  | '-':
  .aFor                                |  .aFor
  .aDecreasing                         |  .aDecreasing
  @DecreasingForRange                  |  @DecreasingForRange
  @ShortFormForStatement               |  @ShortFormForStatement
  | *:                                 |  | *:
  @ShortFormLoopStatement              |  @ShortFormLoopStatement
  ]                                    |  ]
  | 'new':                             |  | 'new':
  .aNew                                |  .aNew
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  [                                    |  [
  | '.':                               |  | '.':
  .aField                              |  .aField
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  | *:                                 |  | *:
  ]                                    |  ]
  ','                                  |  ','
  @VariableReference                   |  @VariableReference
  | 'free':                            |  | 'free':
  .aFree                               |  .aFree
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  [                                    |  [
  | '.':                               |  | '.':
  .aField                              |  .aField
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  | *:                                 |  | *:
  ]                                    |  ]
  ','                                  |  ','
  @VariableReference                   |  @VariableReference
  | 'tag':                             |  | 'tag':
  .aTag                                |  .aTag
  @VariableReference                   |  @VariableReference
  ','                                  |  ','
  @Expression                          |  @Expression
  | 'read':                            |  | 'read':
  @ReadStatement                       |  @ReadStatement
  | 'write':                           |  | 'write':
  @WriteStatement                      |  @WriteStatement
  | 'seek':                            |  | 'seek':
  @SeekStatement                       |  @SeekStatement
  | 'tell':                            |  | 'tell':
  @TellStatement                       |  @TellStatement
  | 'open':                            |  | 'open':
  @OpenStatement                       |  @OpenStatement
  | 'close':                           |  | 'close':
  @CloseStatement                      |  @CloseStatement
  | 'quit':                            |  | 'quit':
  @QuitStatement                       |  @QuitStatement
  | 'fork':                            |  | 'fork':
  @ForkStatement                       |  @ForkStatement
  | 'pause':                           |  | 'pause':
  @PauseStatement                      |  @PauseStatement
  | 'asm':                             |  | 'asm':
  @AssemblerStatement                  |  @AssemblerStatement
                                       |
  | 'unchecked':                       |  | 'unchecked':
  .aUnchecked                          |  .aUnchecked
  | 'checked':                         |  | 'checked':
  .aChecked                            |  .aChecked
                                       |
  | ';':                               |  | ';':
  % null statement                     |  % null statement
  | *:                                 |  | *:
  [ *                                  |  [ *
  | 'end', 'invariant', 'post', tEndCom|  | 'end', 'invariant', 'post', tEndCom
  '<EOF>':                             |  '<EOF>':
  % legitimate end of scope, so exit   |  % legitimate end of scope, so exit
  >>                                   |  >>
  | *:                                 |  | *:
  % recover cleanly from serious syntax|  % recover cleanly from serious syntax
  'Ident' % force error                |  'Ident' % force error
  % now continue parsing scope         |  % now continue parsing scope
  ]                                    |  ]
 ]                                     | ]
 ';' oEmitLine                         | ';' oEmitLine

parse-touring.ssl: line 1338-1477      |parse-touring.ssl: line 2211-2351 [125]
  .aReturn                             |  .aReturn
  | 'put', '!':                        |  ]
  @PutStatement                        |  | 'put', '!':
  | 'get', '?':                        |  @PutStatement
  @GetStatement                        |  | 'get', '?':
                                       |  @GetStatement
  | 'int':                             |
  .aTypeCheat                          |  | 'int':
  .aInt                                |  .aTypeCheat
  @RestOfIndirection                   |  .aInt
  @Assignment                          |  @RestOfIndirection
  | 'int1', 'int2', 'int4':            |  @Assignment
  .aTypeCheat                          |  | 'int1', 'int2', 'int4':
  .aInt                                |  .aTypeCheat
  .aStorageSize                        |  .aInt
  oEmitTypeSizeAsIntegerLit            |  .aStorageSize
  .aEndExpression                      |  oEmitTypeSizeAsIntegerLit
  @RestOfIndirection                   |  .aEndExpression
  @Assignment                          |  @RestOfIndirection
  | 'real':                            |  @Assignment
  .aTypeCheat                          |  | 'real':
  .aReal                               |  .aTypeCheat
  @RestOfIndirection                   |  .aReal
  @Assignment                          |  @RestOfIndirection
  | 'real4', 'real8':                  |  @Assignment
  .aTypeCheat                          |  | 'real4', 'real8':
  .aReal                               |  .aTypeCheat
  .aStorageSize                        |  .aReal
  oEmitTypeSizeAsIntegerLit            |  .aStorageSize
  .aEndExpression                      |  oEmitTypeSizeAsIntegerLit
  @RestOfIndirection                   |  .aEndExpression
  @Assignment                          |  @RestOfIndirection
  | 'boolean':                         |  @Assignment
  .aTypeCheat                          |  | 'boolean':
  .aBoolean                            |  .aTypeCheat
  @RestOfIndirection                   |  .aBoolean
  @Assignment                          |  @RestOfIndirection
  | 'string':                          |  @Assignment
  .aTypeCheat                          |  | 'string':
  .aString                             |  .aTypeCheat
  @OptionalStringSize                  |  .aString
  @RestOfIndirection                   |  @OptionalStringSize
  @Assignment                          |  @RestOfIndirection
  | 'char':                            |  @Assignment
  .aTypeCheat                          |  | 'char':
  .aChar                               |  .aTypeCheat
  @OptionalStringSize                  |  .aChar
  @RestOfIndirection                   |  @OptionalStringSize
  @ComponentSelectors                  |  @RestOfIndirection
  @Assignment                          |  @ComponentSelectors
  | 'nat':                             |  @Assignment
  .aTypeCheat                          |  | 'nat':
  .aNat                                |  .aTypeCheat
  @RestOfIndirection                   |  .aNat
  @Assignment                          |  @RestOfIndirection
  | 'nat1', 'nat2', 'nat4':            |  @Assignment
  .aTypeCheat                          |  | 'nat1', 'nat2', 'nat4':
  .aNat                                |  .aTypeCheat
  .aStorageSize                        |  .aNat
  oEmitTypeSizeAsIntegerLit            |  .aStorageSize
  .aEndExpression                      |  oEmitTypeSizeAsIntegerLit
  @RestOfIndirection                   |  .aEndExpression
  @Assignment                          |  @RestOfIndirection
  | 'addressint':                      |  @Assignment
  .aTypeCheat                          |  | 'addressint':
  .aAddressInt                         |  .aTypeCheat
  @RestOfIndirection                   |  .aAddressInt
  @Assignment                          |  @RestOfIndirection
                                       |  @Assignment
  | '#':                               |
  @Reference                           |  | '#':
  .aHash                               |  @Reference
  @Assignment                          |  .aHash
  | 'bits':                            |  @Assignment
  .aBits                               |  | 'bits':
  '('                                  |  .aBits
  @Reference                           |  '('
  ','                                  |  @Reference
  @BitsRange                           |  ','
  ')'                                  |  @BitsRange
  @Assignment                          |  ')'
  | '[':                               |  @Assignment
  @ShortFormIfStatement                |  | '[':
  | '{':                               |  @ShortFormIfStatement
  [                                    |  | '{':
  | '+':                               |  [
  .aFor                                |  | '+':
  @IncreasingForRange                  |  .aFor
  @ShortFormForStatement               |  @IncreasingForRange
  | '-':                               |  @ShortFormForStatement
  .aFor                                |  | '-':
  .aDecreasing                         |  .aFor
  @DecreasingForRange                  |  .aDecreasing
  @ShortFormForStatement               |  @DecreasingForRange
  | *:                                 |  @ShortFormForStatement
  @ShortFormLoopStatement              |  | *:
  ]                                    |  @ShortFormLoopStatement
  | 'new':                             |  ]
  .aNew                                |  | 'new':
  'Ident' oEmitIdent                   |  .aNew
  [                                    |  'Ident' oEmitIdent
  | '.':                               |  [
  .aField                              |  | '.':
  'Ident' oEmitIdent                   |  .aField
  | *:                                 |  'Ident' oEmitIdent
  ]                                    |  | *:
  ','                                  |  ]
  @VariableReference                   |  ','
  | 'free':                            |  @VariableReference
  .aFree                               |  | 'free':
  'Ident' oEmitIdent                   |  .aFree
  [                                    |  'Ident' oEmitIdent
  | '.':                               |  [
  .aField                              |  | '.':
  'Ident' oEmitIdent                   |  .aField
  | *:                                 |  'Ident' oEmitIdent
  ]                                    |  | *:
  ','                                  |  ]
  @VariableReference                   |  ','
  | 'tag':                             |  @VariableReference
  .aTag                                |  | 'tag':
  @VariableReference                   |  .aTag
  ','                                  |  @VariableReference
  @Expression                          |  ','
  | 'read':                            |  @Expression
  @ReadStatement                       |  | 'read':
  | 'write':                           |  @ReadStatement
  @WriteStatement                      |  | 'write':
  | 'seek':                            |  @WriteStatement
  @SeekStatement                       |  | 'seek':
  | 'tell':                            |  @SeekStatement
  @TellStatement                       |  | 'tell':
  | 'open':                            |  @TellStatement
  @OpenStatement                       |  | 'open':
  | 'close':                           |  @OpenStatement
  @CloseStatement                      |  | 'close':
  | 'quit':                            |  @CloseStatement
  @QuitStatement                       |  | 'quit':
  | 'fork':                            |  @QuitStatement
  @ForkStatement                       |  | 'fork':
                                       |  @ForkStatement

parse-touring.ssl: line 1959-2097      |parse-touring.ssl: line 2213-2351 [124]
  | 'put', '!':                        |  | 'put', '!':
  @PutStatement                        |  @PutStatement
  | 'get', '?':                        |  | 'get', '?':
  @GetStatement                        |  @GetStatement
                                       |
  | 'int':                             |  | 'int':
  .aTypeCheat                          |  .aTypeCheat
  .aInt                                |  .aInt
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'int1', 'int2', 'int4':            |  | 'int1', 'int2', 'int4':
  .aTypeCheat                          |  .aTypeCheat
  .aInt                                |  .aInt
  .aStorageSize                        |  .aStorageSize
  oEmitTypeSizeAsIntegerLit            |  oEmitTypeSizeAsIntegerLit
  .aEndExpression                      |  .aEndExpression
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'real':                            |  | 'real':
  .aTypeCheat                          |  .aTypeCheat
  .aReal                               |  .aReal
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'real4', 'real8':                  |  | 'real4', 'real8':
  .aTypeCheat                          |  .aTypeCheat
  .aReal                               |  .aReal
  .aStorageSize                        |  .aStorageSize
  oEmitTypeSizeAsIntegerLit            |  oEmitTypeSizeAsIntegerLit
  .aEndExpression                      |  .aEndExpression
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'boolean':                         |  | 'boolean':
  .aTypeCheat                          |  .aTypeCheat
  .aBoolean                            |  .aBoolean
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'string':                          |  | 'string':
  .aTypeCheat                          |  .aTypeCheat
  .aString                             |  .aString
  @OptionalStringSize                  |  @OptionalStringSize
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'char':                            |  | 'char':
  .aTypeCheat                          |  .aTypeCheat
  .aChar                               |  .aChar
  @OptionalStringSize                  |  @OptionalStringSize
  @RestOfIndirection                   |  @RestOfIndirection
  @ComponentSelectors                  |  @ComponentSelectors
  @Assignment                          |  @Assignment
  | 'nat':                             |  | 'nat':
  .aTypeCheat                          |  .aTypeCheat
  .aNat                                |  .aNat
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'nat1', 'nat2', 'nat4':            |  | 'nat1', 'nat2', 'nat4':
  .aTypeCheat                          |  .aTypeCheat
  .aNat                                |  .aNat
  .aStorageSize                        |  .aStorageSize
  oEmitTypeSizeAsIntegerLit            |  oEmitTypeSizeAsIntegerLit
  .aEndExpression                      |  .aEndExpression
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
  | 'addressint':                      |  | 'addressint':
  .aTypeCheat                          |  .aTypeCheat
  .aAddressInt                         |  .aAddressInt
  @RestOfIndirection                   |  @RestOfIndirection
  @Assignment                          |  @Assignment
                                       |
  | '#':                               |  | '#':
  @Reference                           |  @Reference
  .aHash                               |  .aHash
  @Assignment                          |  @Assignment
  | 'bits':                            |  | 'bits':
  .aBits                               |  .aBits
  '('                                  |  '('
  @Reference                           |  @Reference
  ','                                  |  ','
  @BitsRange                           |  @BitsRange
  ')'                                  |  ')'
  @Assignment                          |  @Assignment
  | '[':                               |  | '[':
  @ShortFormIfStatement                |  @ShortFormIfStatement
  | '{':                               |  | '{':
  [                                    |  [
  | '+':                               |  | '+':
  .aFor                                |  .aFor
  @IncreasingForRange                  |  @IncreasingForRange
  @ShortFormForStatement               |  @ShortFormForStatement
  | '-':                               |  | '-':
  .aFor                                |  .aFor
  .aDecreasing                         |  .aDecreasing
  @DecreasingForRange                  |  @DecreasingForRange
  @ShortFormForStatement               |  @ShortFormForStatement
  | *:                                 |  | *:
  @ShortFormLoopStatement              |  @ShortFormLoopStatement
  ]                                    |  ]
  | 'new':                             |  | 'new':
  .aNew                                |  .aNew
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  [                                    |  [
  | '.':                               |  | '.':
  .aField                              |  .aField
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  | *:                                 |  | *:
  ]                                    |  ]
  ','                                  |  ','
  @VariableReference                   |  @VariableReference
  | 'free':                            |  | 'free':
  .aFree                               |  .aFree
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  [                                    |  [
  | '.':                               |  | '.':
  .aField                              |  .aField
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  | *:                                 |  | *:
  ]                                    |  ]
  ','                                  |  ','
  @VariableReference                   |  @VariableReference
  | 'tag':                             |  | 'tag':
  .aTag                                |  .aTag
  @VariableReference                   |  @VariableReference
  ','                                  |  ','
  @Expression                          |  @Expression
  | 'read':                            |  | 'read':
  @ReadStatement                       |  @ReadStatement
  | 'write':                           |  | 'write':
  @WriteStatement                      |  @WriteStatement
  | 'seek':                            |  | 'seek':
  @SeekStatement                       |  @SeekStatement
  | 'tell':                            |  | 'tell':
  @TellStatement                       |  @TellStatement
  | 'open':                            |  | 'open':
  @OpenStatement                       |  @OpenStatement
  | 'close':                           |  | 'close':
  @CloseStatement                      |  @CloseStatement
  | 'quit':                            |  | 'quit':
  @QuitStatement                       |  @QuitStatement
  | 'fork':                            |  | 'fork':
  @ForkStatement                       |  @ForkStatement

parse-touring.ssl: line 1249-1336      |parse-touring.ssl: line 1620-1707 [109]
  % In order to provide good syntax err|  % In order to provide good syntax err
  % from serious syntax errors, we don'|  % from serious syntax errors, we don'
  % declarations and statements until w|  % declarations and statements until w
  % indicator that the list is done.   |  % indicator that the list is done.
                                       |
  {                                    |  {
 % This choice should still be ordered | % This choice should still be ordered 
 % relative frequency for performance. | % relative frequency for performance.
                                       |
 [                                     | [
  | 'Ident':                           |  | 'Ident':
  @Selectors                           |  @Selectors
  @OptionalAssignment                  |  @OptionalAssignment
  | 'const':                           |  | 'const':
  @ConstantDeclarationInModule         |  @ConstantDeclarationInModule
  | 'var':                             |  | 'var':
  @VariableDeclarationInModule         |  @VariableDeclarationInModule
  | 'type':                            |  | 'type':
  [                                    |  [
  | '(':                               |  | '(':
  .aTypeCheat                          |  .aTypeCheat
  @TypeCheatSpec                       |  @TypeCheatSpec
  ','                                  |  ','
  @Reference                           |  @Reference
  .aEndExpression                      |  .aEndExpression
  ')'                                  |  ')'
  @ComponentSelectors                  |  @ComponentSelectors
  @OptionalAssignment                  |  @OptionalAssignment
  | *:                                 |  | *:
  @TypeDeclaration                     |  @TypeDeclaration
  ]                                    |  ]
  | 'procedure', 'proc':               |  | 'procedure', 'proc':
  @ProcedureDeclaration                |  @ProcedureDeclaration
  | 'function', 'fcn':                 |  | 'function', 'fcn':
  @FunctionDeclaration                 |  @FunctionDeclaration
  | 'forward':                         |  | 'forward':
  .aForward                            |  .aForward
  [                                    |  [
  | 'procedure', 'proc':               |  | 'procedure', 'proc':
  @ForwardProcedureDeclaration         |  @ForwardProcedureDeclaration
  | 'function', 'fcn':                 |  | 'function', 'fcn':
  @ForwardFunctionDeclaration          |  @ForwardFunctionDeclaration
  ]                                    |  ]
  | 'external':                        |  | 'external':
  @ExternalDeclaration                 |  @ExternalDeclaration
  | 'child':                           |  | 'child':
  @Child                               |  @Child
  | 'body':                            |  | 'body':
  .aBody                               |  .aBody
  @SubprogramImplementation            |  @SubprogramImplementation
  | 'module':                          |  | 'module':
  @ModuleDeclaration                   |  @ModuleDeclaration
  | 'monitor':                         |  | 'monitor':
  @MonitorDeclaration                  |  @MonitorDeclaration
  | 'process':                         |  | 'process':
  @ProcessDeclaration                  |  @ProcessDeclaration
  | 'if':                              |  | 'if':
  @LongFormIfStatement                 |  @LongFormIfStatement
  | 'loop':                            |  | 'loop':
  @LongFormLoopStatement               |  @LongFormLoopStatement
  | 'exit':                            |  | 'exit':
  [                                    |  [
  | 'when':                            |  | 'when':
  .aExitWhen                           |  .aExitWhen
  @Expression                          |  @Expression
  | *:                                 |  | *:
  .aExit                               |  .aExit
  ]                                    |  ]
  | '>>':                              |  | '>>':
  [                                    |  [
  | ':':                               |  | ':':
  .aExitWhen                           |  .aExitWhen
  @Expression                          |  @Expression
  | *:                                 |  | *:
  .aExit                               |  .aExit
  ]                                    |  ]
  | 'case':                            |  | 'case':
  @CaseStatement                       |  @CaseStatement
  | 'for':                             |  | 'for':
  @LongFormForStatement                |  @LongFormForStatement
  | 'begin':                           |  | 'begin':
  .aBegin                              |  .aBegin
  oEmitLine                            |  oEmitLine
  @DeclarationsAndStatementsInSubprogra|  @DeclarationsAndStatementsInSubprogra
  'end' .aEndBegin                     |  'end' .aEndBegin
  | 'assert':                          |  | 'assert':
  .aAssert                             |  .aAssert
  @Expression                          |  @Expression

parse-touring.ssl: line 1620-1635      |parse-touring.ssl: line 1877-1892  [48]
  % In order to provide good syntax err|  % In order to provide good syntax err
  % from serious syntax errors, we don'|  % from serious syntax errors, we don'
  % declarations and statements until w|  % declarations and statements until w
  % indicator that the list is done.   |  % indicator that the list is done.
                                       |
  {                                    |  {
 % This choice should still be ordered | % This choice should still be ordered 
 % relative frequency for performance. | % relative frequency for performance.
                                       |
 [                                     | [
  | 'Ident':                           |  | 'Ident':
  @Selectors                           |  @Selectors
  @OptionalAssignment                  |  @OptionalAssignment
  | 'const':                           |  | 'const':
  @ConstantDeclarationInModule         |  @ConstantDeclarationInModule
  | 'var':                             |  | 'var':

parse-touring.ssl: line 1877-1887      |parse-touring.ssl: line 2128-2138  [43]
  % In order to provide good syntax err|  % In order to provide good syntax err
  % from serious syntax errors, we don'|  % from serious syntax errors, we don'
  % declarations and statements until w|  % declarations and statements until w
  % indicator that the list is done.   |  % indicator that the list is done.
                                       |
  {                                    |  {
 % This choice should still be ordered | % This choice should still be ordered 
 % relative frequency for performance. | % relative frequency for performance.
                                       |
 [                                     | [
  | 'Ident':                           |  % Ident must be the first choice for

parse-touring.ssl: line 2930-2985      |parse-touring.ssl: line 2993-3048  [37]
  .aLabel                              |  .aLabel
  [                                    |  [
  | ':':                               |  | ':':
  % Is the otherwise case              |  % Is the otherwise case
  .aOtherWise                          |  .aOtherWise
  '<NL>' oEmitLine                     |  '<NL>' oEmitLine
  [ *                                  |  [ *
  | 'Ident':                           |  | 'Ident':
  .aUnionLabelBody                     |  .aUnionLabelBody
  {[                                   |  {[
  | 'Ident':                           |  | 'Ident':
  oEmitIdent                           |  oEmitIdent
  [                                    |  [
  | ',':                               |  | ',':
  @IdList                              |  @IdList
  | *:                                 |  | *:
  ]                                    |  ]
  .aRecordElementType                  |  .aRecordElementType
  ':'                                  |  ':'
  @TypeSpec                            |  @TypeSpec
  ';' oEmitLine                        |  ';' oEmitLine
  | *:                                 |  | *:
  >                                    |  >
  ]}                                   |  ]}
  .aEndUnionLabelBody                  |  .aEndUnionLabelBody
  | *:                                 |  | *:
  ]                                    |  ]
  >> % must be last alternative        |  >> % must be last alternative
  | *:                                 |  | *:
  @ExpressionList                      |  @ExpressionList
  ':'                                  |  ':'
  '<NL>' oEmitLine                     |  '<NL>' oEmitLine
  [ *                                  |  [ *
  | 'Ident':                           |  | 'Ident':
  .aUnionLabelBody                     |  .aUnionLabelBody
  {[                                   |  {[
  | 'Ident':                           |  | 'Ident':
  oEmitIdent                           |  oEmitIdent
  [                                    |  [
  | ',':                               |  | ',':
  @IdList                              |  @IdList
  | *:                                 |  | *:
  ]                                    |  ]
  .aRecordElementType                  |  .aRecordElementType
  ':'                                  |  ':'
  @TypeSpec                            |  @TypeSpec
  ';' oEmitLine                        |  ';' oEmitLine
  | *:                                 |  | *:
  >                                    |  >
  ]}                                   |  ]}
  .aEndUnionLabelBody                  |  .aEndUnionLabelBody
  | *:                                 |  | *:
  ]                                    |  ]
  ]                                    |  ]
 | *:                                  | | *:
  % Should be end union                |  % Should be end union

parse-touring.ssl: line 1119-1157      |parse-touring.ssl: line 1168-1206  [36]
  | 'procedure', 'proc':               |  | 'procedure', 'proc':
  @ProcedureHeader                     |  @ProcedureHeader
  | 'function', 'fcn':                 |  | 'function', 'fcn':
  @FunctionHeader                      |  @FunctionHeader
  | 'var':                             |  | 'var':
  % must be a collection declaration   |  % must be a collection declaration
  .aVar                                |  .aVar
  @IdListWithIdentText                 |  @IdListWithIdentText
  ':'                                  |  ':'
  [                                    |  [
  | 'unchecked':                       |  | 'unchecked':
  'collection' .aCollection .aUnchecked|  'collection' .aCollection .aUnchecked
  'of'                                 |  'of'
  [                                    |  [
  | 'forward':                         |  | 'forward':
  .aForward                            |  .aForward
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  | *:                                 |  | *:
  @TypeSpec                            |  @TypeSpec
  ]                                    |  ]
  | 'collection':                      |  | 'collection':
  .aCollection                         |  .aCollection
  'of'                                 |  'of'
  [                                    |  [
  | 'forward':                         |  | 'forward':
  .aForward                            |  .aForward
  'Ident' oEmitIdent                   |  'Ident' oEmitIdent
  | *:                                 |  | *:
  @TypeSpec                            |  @TypeSpec
  ]                                    |  ]
  | *:                                 |  | *:
  #eOnlyCollectionVarsInStub           |  #eOnlyCollectionVarsInStub
  ]                                    |  ]
  | 'child':                           |  | 'child':
  @StubChild                           |  @StubChild
  | *:                                 |  | *:
  >>                                   |  >>
 ]                                     | ]
 ';' oEmitLine                         | ';' oEmitLine

parse-touring.ssl: line 4380-4411      |parse-touring.ssl: line 4858-4890  [35]
  .aHash                               |  .aHash
 | 'int':                              |
  .aTypeCheat                          | | 'int':
  .aInt                                |  .aTypeCheat
  @RestOfIndirection                   |  .aInt
 | 'int1', 'int2', 'int4':             |  @RestOfIndirection
  .aTypeCheat                          | | 'int1', 'int2', 'int4':
  .aInt                                |  .aTypeCheat
  .aStorageSize                        |  .aInt
  oEmitTypeSizeAsIntegerLit            |  .aStorageSize
  .aEndExpression                      |  oEmitTypeSizeAsIntegerLit
  @RestOfIndirection                   |  .aEndExpression
 | 'real':                             |  @RestOfIndirection
  .aTypeCheat                          | | 'real':
  .aReal                               |  .aTypeCheat
  @RestOfIndirection                   |  .aReal
 | 'real4', 'real8':                   |  @RestOfIndirection
  .aTypeCheat                          | | 'real4', 'real8':
  .aReal                               |  .aTypeCheat
  .aStorageSize                        |  .aReal
  oEmitTypeSizeAsIntegerLit            |  .aStorageSize
  .aEndExpression                      |  oEmitTypeSizeAsIntegerLit
  @RestOfIndirection                   |  .aEndExpression
 | 'boolean':                          |  @RestOfIndirection
  .aTypeCheat                          | | 'boolean':
  .aBoolean                            |  .aTypeCheat
  @RestOfIndirection                   |  .aBoolean
 | 'string':                           |  @RestOfIndirection
  .aTypeCheat                          | | 'string':
  .aString                             |  .aTypeCheat
  @OptionalStringSize                  |  .aString
  @RestOfIndirection                   |  @OptionalStringSize
                                       |  @RestOfIndirection

parse-touring.ssl: line 780-802        |parse-touring.ssl: line 820-842    [27]
  oSeparateCompilationEnterChild       |  oSeparateCompilationEnterChild
  oEmitLine % sync on a new line       |  oEmitLine % sync on a new line
  [                                    |  [
  | 'parent':                          | | 'parent':
  .aParent                             |  .aParent
  'StringLit'                          |  'StringLit'
  [ oSeparateCompilationChildMatchesPar|  [ oSeparateCompilationChildMatchesPar
  | yes:                               |  | yes:
  | *:                                 |  | *:
  #eChildMismatchParent                |  #eChildMismatchParent
  ]                                    |  ]
  '<NL>' oEmitLine                     |  '<NL>' oEmitLine
  [                                    |  [
  | 'stub':                            |  | 'stub':
  @Stub                                |  @Stub
  | *:                                 |  | *:
  #eNoProgramAfterParent               |  #eNoProgramAfterParent
  ]                                    |  ]
  | 'stub':                            | | 'stub':
  @Stub                                |  @Stub
  ]                                    |  ]
  oSeparateCompilationExitChild        |  oSeparateCompilationExitChild
  oEmitLine % sync on a new line       |  oEmitLine % sync on a new line

parse-touring.ssl: line 1927-1958      |parse-touring.ssl: line 2168-2199  [25]
  | 'if':                              |  | 'if':
  @LongFormIfStatement                 |  @LongFormIfStatement
  | 'loop':                            |  | 'loop':
  @LongFormLoopStatement               |  @LongFormLoopStatement
  | 'exit':                            |  | 'exit':
  [                                    |  [
  | 'when':                            |  | 'when':
  .aExitWhen                           |  .aExitWhen
  @Expression                          |  @Expression
  | *:                                 |  | *:
  .aExit                               |  .aExit
  ]                                    |  ]
  | '>>':                              |  | '>>':
  [                                    |  [
  | ':':                               |  | ':':
  .aExitWhen                           |  .aExitWhen
  @Expression                          |  @Expression
  | *:                                 |  | *:
  .aExit                               |  .aExit
  ]                                    |  ]
  | 'case':                            |  | 'case':
  @CaseStatement                       |  @CaseStatement
  | 'for':                             |  | 'for':
  @LongFormForStatement                |  @LongFormForStatement
  | 'begin':                           |  | 'begin':
  .aBegin                              |  .aBegin
  oEmitLine                            |  oEmitLine
  @DeclarationsAndStatementsInSubprogra|  @DeclarationsAndStatementsInSubprogra
  'end' .aEndBegin                     |  'end' .aEndBegin
  | 'assert':                          |  | 'assert':
  .aAssert                             |  .aAssert
  @Expression                          |  @Expression

[mingodad]

Here is a better EBNF for S/SL based on https://github.com/CordyJ/Open-TuringPlus/blob/main/doc/SSL_Specification.pdf :

//
// EBNF to be viewd at
//    (IPV6) https://www.bottlecaps.de/rr/ui
//    (IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one of the urls shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//

// THE SYNTAX OF S/SL

program ::=
	inputDefinition? outputDefinition?
	inputOutputDefinition? errorDefinition?
	typeOrMechanismDefinition*
	"rules"
		rule+
	"end"

inputDefinition ::=
	"input" ':' tokenDefinition* ';'

outputDefinition ::=
	"output" ':' tokenDefinition* ';'

inputOutputDefinition ::=
	"input" "output" ':' tokenDefinition* ';'

tokenDefinition ::=
	id string? ('=' tokenValue)?

errorDefinition ::=
	"error" ':' errorSignalDefinition* ';'

errorSignalDefinition ::=
	id ('=' errorValue)?

typeOrMechanismDefinition ::=
	typeDefinition
	| mechanismDefinition

typeDefinition ::=
	"type" id ':' valueDefinition+ ';'

valueDefinition ::=
	id ('=' valueId)?

mechanismDefinition ::=
	"mechanism" id ':' operationDefinition+ ';'

operationDefinition ::=
	id
	| id '(' typeId ')'
	| id ">>" typeId
	| id '(' typeId ')' ">>" typeId

rule ::=
	id ':' action* ';'
	| id ">>" typeId ':' action+ ';'

action ::=
	inputToken
	| '.' outputToken
	| '#' errorId
	| '{' action+ '}'
	| '>' "/*only valid inside a cycle*/"
	| '[' ('*' "/*InputLookaheadChoice*/")?
		('|' inputToken (',' inputToken)* ':' action+ )+
		('|' '*' ':' action* )?
               ']'
	| '@' procedureRuleId
	| '>>' "/*only valid inside a cycle*/"
	| '[' '@' choiceRuleId
		('|' valueId (',' valueId)* ':' action+ )+
		('|' '*' ':' action* )?
               ']'
	| ">>" returnValueId "/*only valid inside a cycle*/"
	| updateOpId
	| parameterizedUpdateOpId '(' paramValueId ')'
	| '[' choiceOpId
		('|' valueId (',' valueId)* ':' action+ )+
		('|' '*' ':' action* )?
               ']'
	| '[' parameterizedChoiceOpId '(' paramValueId ')'
		('|' valueId (',' valueId)* ':' action+ )+
		('|' '*' ':' action* )?
               ']'

inputToken ::=
	id "/*both reference an already defined input*/"
	| string
	| '?'	"/* match any inut token */"

outputToken ::=
	id "/*both reference an already defined output*/"
	| string

valueId ::=
	id
	| string
	| integer

typeId ::=
	id "/*reference an already defined type*/"

errorId ::=
	id "/*reference an already defined error*/"

procedureRuleId ::=
	id "/*reference an already defined operation*/"

updateOpId ::=
	id "/*reference an already defined operation*/"

parameterizedUpdateOpId ::=
	id "/*reference an already defined operation*/"

choiceRuleId ::=
	id "/*reference a rule*/"

choiceOpId ::=
	id "/*reference an already defined operation*/"

parameterizedChoiceOpId ::=
	id "/*reference an already defined operation*/"

paramValueId ::=
	valueId "/*must match the type declared by the operation*/"

returnValueId ::=
	valueId "/*must match the type declared by rule*/"

tokenValue ::=
	integer
	| id

errorValue ::=
	valueId

tChoiceStart ::= "["|"if"
tChoiceEnd ::= "]"|"fi"
tCycleStart ::= "{"|"do"
tCycleEnd ::= "}"|"od"
tOr ::= "|"|"!"

string ::=
	"'"[^']+"'"

integer ::=
	[0-9]+

id ::=
	[A-Za-z_][A-Za-z0-9_]*

[mingodad]

I also added the S/SL grammar to https://mingodad.github.io/parsertl-playground/playground/ an Yacc/Lex compatible online editor/tester (select S/SL parser from examples then click Parse to se a parse tree for the content is Input source).

[mingodad]

And bellow is the Open-TuringPlus EBNF extracted with a parser (not perfect but enough for a start point to help document/develop/debug):

//
// EBNF to be viewd at
//    (IPV6) https://www.bottlecaps.de/rr/ui
//    (IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one of the urls shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//

// THE SYNTAX OF Open-TuringPlus

Compilation ::=
	 '<dummy>' '<dummy>' ( 'grant' GrantList Program | 'parent' Parent | 'stub' Stub | 'body' 'StringLit' ( 'StringLit' ( 'parent' Parent | 'stub' Stub ) |  SubprogramImplementation ';' Program ) |  Program )

Parent ::=
	 'StringLit' ( 'grant' GrantList Program | 'parent' Parent | 'stub' Stub | 'body' Alternate |  Program )

Alternate ::=
	 'StringLit' ( 'parent' Parent | 'stub' Stub )

Child ::=
	 'StringLit' ( 'parent' 'StringLit' '<NL>' ( 'stub' Stub |  ) | 'stub' Stub )

StubChild ::=
	 'StringLit' ( 'parent' 'StringLit' '<NL>' ( 'stub' Stub |  ) | 'stub' Stub )

OptionalGrant ::=
	 ( 'grant' GrantList |  )

GrantList ::=
	 ( '(' ( |  GrantListList ')' ) |  GrantListList ) '<NL>'

GrantListList ::=
	 ( ( 'var' |  ) 'Ident' ( |  ) )+

Stub ::=
	 ( 'module' ModuleStub 'end' 'Ident' EndOfStub '<NL>' | 'monitor' MonitorStub 'end' 'Ident' EndOfStub '<NL>' | ( 'procedure' | 'proc' ) ProcedureHeader OptionalImport EndOfStub | ( 'function' | 'fcn' ) FunctionHeader OptionalImport EndOfStub )

ModuleStub ::=
	 'Ident' OptionalImport OptionalExport DeclarationsInModuleStub

MonitorStub ::=
	 'Ident' OptionalImport OptionalExport DeclarationsInMonitorStub

OptionalImplementation ::=
	 ( 'body' SubprogramImplementation |  )

EndOfStub ::=


SubprogramImplementation ::=
	 ( ( 'procedure' | 'proc' ) | ( 'function' | 'fcn' ) ) 'Ident' '<NL>' SubprogramBody

DeclarationsInModuleStub ::=
	 ( ( 'const' ConstantDeclarationInModule | 'type' TypeDeclaration | 'external' ( 'StringLit' |  ) ( ( 'procedure' | 'proc' ) ExternalProcedureDeclaration | ( 'function' | 'fcn' ) ExternalFunctionDeclaration ) | ( 'procedure' | 'proc' ) ProcedureHeader | ( 'function' | 'fcn' ) FunctionHeader | 'var' IdListWithIdentText ':' ( 'unchecked' 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) | 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) |  ) | 'child' StubChild |  ) ';' )+

DeclarationsInMonitorStub ::=
	 ( ( 'const' ConstantDeclarationInModule | 'type' TypeDeclaration | ( 'procedure' | 'proc' ) ProcedureHeader | ( 'function' | 'fcn' ) FunctionHeader | 'var' IdListWithIdentText ':' ( 'unchecked' 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) | 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) |  ) | 'child' StubChild |  ) ';' )+

ModuleBody ::=
	 'module' 'Ident' '<NL>' OptionalGrant OptionalPre DeclarationsAndStatementsInModule OptionalInvariant DeclarationsAndStatementsInModule OptionalPost 'end' 'Ident' '<NL>'

MonitorBody ::=
	 'monitor' 'Ident' ( ':' Expression |  ) '<NL>' OptionalGrant OptionalPre DeclarationsAndStatementsInMonitor OptionalInvariant DeclarationsAndStatementsInMonitor OptionalPost 'end' 'Ident' '<NL>'

Program ::=
	 ( ( 'Ident' Selectors OptionalAssignment | 'const' ConstantDeclarationInModule | 'var' VariableDeclarationInModule | 'type' ( '(' TypeCheatSpec ',' Reference ')' ComponentSelectors OptionalAssignment |  TypeDeclaration ) | ( 'procedure' | 'proc' ) ProcedureDeclaration | ( 'function' | 'fcn' ) FunctionDeclaration | 'forward' ( ( 'procedure' | 'proc' ) ForwardProcedureDeclaration | ( 'function' | 'fcn' ) ForwardFunctionDeclaration ) | 'external' ExternalDeclaration | 'child' Child | 'body' SubprogramImplementation | 'module' ModuleDeclaration | 'monitor' MonitorDeclaration | 'process' ProcessDeclaration | 'if' LongFormIfStatement | 'loop' LongFormLoopStatement | 'exit' ( 'when' Expression |  ) | '>>' ( ':' Expression |  ) | 'case' CaseStatement | 'for' LongFormForStatement | 'begin' DeclarationsAndStatementsInSubprogram 'end' | 'assert' Expression | ( 'return' | '>>>' ) | ( 'put' | '!' ) PutStatement | ( 'get' | '?' ) GetStatement | 'int' RestOfIndirection Assignment | ( 'int1' | 'int2' | 'int4' ) RestOfIndirection Assignment | 'real' RestOfIndirection Assignment | ( 'real4' | 'real8' ) RestOfIndirection Assignment | 'boolean' RestOfIndirection Assignment | 'string' OptionalStringSize RestOfIndirection Assignment | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment | 'nat' RestOfIndirection Assignment | ( 'nat1' | 'nat2' | 'nat4' ) RestOfIndirection Assignment | 'addressint' RestOfIndirection Assignment | '#' Reference Assignment | 'bits' '(' Reference ',' BitsRange ')' Assignment | '[' ShortFormIfStatement | '{' ( '+' IncreasingForRange ShortFormForStatement | '-' DecreasingForRange ShortFormForStatement |  ShortFormLoopStatement ) | 'new' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'free' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'tag' VariableReference ',' Expression | 'read' ReadStatement | 'write' WriteStatement | 'seek' SeekStatement | 'tell' TellStatement | 'open' OpenStatement | 'close' CloseStatement | 'quit' QuitStatement | 'fork' ForkStatement | 'pause' PauseStatement | 'asm' AssemblerStatement | 'unchecked' | 'checked' | |  ( '<EOF>' | tEndCompilationUnit ) 'Ident' ) ';' )+

RestOfIndirection ::=
	 '@' '(' ExpressionParen ')'

OptionalAssignment ::=
	 ( ':=' | '+' '=' | '-' '=' | 'xor' '=' | '*' '=' | '/' '=' | 'div' '=' | 'mod' '=' | 'shl' '=' | 'shr' '=' | '**' '=' | 'and' '=' | 'or' '=' |  ) Expression

Assignment ::=
	 ( ':=' | '+' '=' | '-' '=' | 'xor' '=' | '*' '=' | '/' '=' | 'div' '=' | 'mod' '=' | 'shl' '=' | 'shr' '=' | '**' '=' | 'and' '=' | 'or' '=' ) Expression

ExternalDeclaration ::=
	 ( 'StringLit' ( ( 'procedure' | 'proc' ) ExternalProcedureDeclaration | ( 'function' | 'fcn' ) ExternalFunctionDeclaration | 'var' SubExpression ExternalVariableDeclaration ) |  ( ( 'procedure' | 'proc' ) ExternalProcedureDeclaration | ( 'function' | 'fcn' ) ExternalFunctionDeclaration | 'var' ExternalVariableListDeclaration |  Expression 'var' ExternalVariableDeclaration ) )

DeclarationsAndStatementsInModule ::=
	 ( ( 'Ident' Selectors OptionalAssignment | 'const' ConstantDeclarationInModule | 'var' VariableDeclarationInModule | 'type' ( '(' TypeCheatSpec ',' Reference ')' ComponentSelectors OptionalAssignment |  TypeDeclaration ) | ( 'procedure' | 'proc' ) ProcedureDeclaration | ( 'function' | 'fcn' ) FunctionDeclaration | 'forward' ( ( 'procedure' | 'proc' ) ForwardProcedureDeclaration | ( 'function' | 'fcn' ) ForwardFunctionDeclaration ) | 'external' ExternalDeclaration | 'child' Child | 'body' SubprogramImplementation | 'module' ModuleDeclaration | 'monitor' MonitorDeclaration | 'process' ProcessDeclaration | 'if' LongFormIfStatement | 'loop' LongFormLoopStatement | 'exit' ( 'when' Expression |  ) | '>>' ( ':' Expression |  ) | 'case' CaseStatement | 'for' LongFormForStatement | 'begin' DeclarationsAndStatementsInSubprogram 'end' | 'assert' Expression | ( 'put' | '!' ) PutStatement | ( 'get' | '?' ) GetStatement | 'int' RestOfIndirection Assignment | ( 'int1' | 'int2' | 'int4' ) RestOfIndirection Assignment | 'real' RestOfIndirection Assignment | ( 'real4' | 'real8' ) RestOfIndirection Assignment | 'boolean' RestOfIndirection Assignment | 'string' OptionalStringSize RestOfIndirection Assignment | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment | 'nat' RestOfIndirection Assignment | ( 'nat1' | 'nat2' | 'nat4' ) RestOfIndirection Assignment | 'addressint' RestOfIndirection Assignment | '#' Reference Assignment | 'bits' '(' Reference ',' BitsRange ')' Assignment | '[' ShortFormIfStatement | '{' ( '+' IncreasingForRange ShortFormForStatement | '-' DecreasingForRange ShortFormForStatement |  ShortFormLoopStatement ) | 'new' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'free' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'tag' VariableReference ',' Expression | 'read' ReadStatement | 'write' WriteStatement | 'seek' SeekStatement | 'tell' TellStatement | 'open' OpenStatement | 'close' CloseStatement | 'quit' QuitStatement | 'fork' ForkStatement | 'pause' PauseStatement | 'asm' AssemblerStatement | 'unchecked' | 'checked' | |  ( 'end' | 'invariant' | 'post' | tEndCompilationUnit | '<EOF>' ) 'Ident' ) ';' )+

DeclarationsAndStatementsInMonitor ::=
	 ( ( 'Ident' Selectors OptionalAssignment | 'const' ConstantDeclarationInModule | 'var' VariableDeclarationInMonitor | 'type' ( '(' TypeCheatSpec ',' Reference ')' ComponentSelectors OptionalAssignment |  TypeDeclaration ) | ( 'procedure' | 'proc' ) ProcedureOrInterruptProcedureDeclaration | ( 'function' | 'fcn' ) FunctionDeclaration | 'forward' ( ( 'procedure' | 'proc' ) ForwardProcedureDeclaration | ( 'function' | 'fcn' ) ForwardFunctionDeclaration ) | 'external' ExternalDeclaration | 'child' Child | 'body' SubprogramImplementation | 'if' LongFormIfStatement | 'loop' LongFormLoopStatement | 'exit' ( 'when' Expression |  ) | '>>' ( ':' Expression |  ) | 'case' CaseStatement | 'for' LongFormForStatement | 'begin' DeclarationsAndStatementsInSubprogram 'end' | 'assert' Expression | ( 'put' | '!' ) PutStatement | ( 'get' | '?' ) GetStatement | 'int' RestOfIndirection Assignment | ( 'int1' | 'int2' | 'int4' ) RestOfIndirection Assignment | 'real' RestOfIndirection Assignment | ( 'real4' | 'real8' ) RestOfIndirection Assignment | 'boolean' RestOfIndirection Assignment | 'string' OptionalStringSize RestOfIndirection Assignment | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment | 'nat' RestOfIndirection Assignment | ( 'nat1' | 'nat2' | 'nat4' ) RestOfIndirection Assignment | 'addressint' RestOfIndirection Assignment | '#' Reference Assignment | 'bits' '(' Reference ',' BitsRange ')' Assignment | '[' ShortFormIfStatement | '{' ( '+' IncreasingForRange ShortFormForStatement | '-' DecreasingForRange ShortFormForStatement |  ShortFormLoopStatement ) | 'new' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'free' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'tag' VariableReference ',' Expression | 'read' ReadStatement | 'write' WriteStatement | 'seek' SeekStatement | 'tell' TellStatement | 'open' OpenStatement | 'close' CloseStatement | 'quit' QuitStatement | 'fork' ForkStatement | 'pause' PauseStatement | 'asm' AssemblerStatement | 'unchecked' | 'checked' | |  ( 'end' | 'invariant' | 'post' | tEndCompilationUnit | '<EOF>' ) 'Ident' ) ';' )+

DeclarationsAndStatementsInSubprogram ::=
	 ( ( 'Ident' Selectors OptionalAssignment | 'const' ConstantDeclarationInSubprogram | 'var' VariableDeclarationInSubprogram | 'external' ExternalDeclaration | 'bind' BindDeclaration | 'type' ( '(' TypeCheatSpec ',' Reference ')' ComponentSelectors OptionalAssignment |  TypeDeclaration ) | 'if' LongFormIfStatement | 'loop' LongFormLoopStatement | 'exit' ( 'when' Expression |  ) | '>>' ( ':' Expression |  ) | 'case' CaseStatement | 'for' LongFormForStatement | 'begin' DeclarationsAndStatementsInSubprogram 'end' | 'assert' Expression | 'return' | 'result' Expression | '>>>' ( ':' Expression |  ) | ( 'put' | '!' ) PutStatement | ( 'get' | '?' ) GetStatement | 'int' RestOfIndirection Assignment | ( 'int1' | 'int2' | 'int4' ) RestOfIndirection Assignment | 'real' RestOfIndirection Assignment | ( 'real4' | 'real8' ) RestOfIndirection Assignment | 'boolean' RestOfIndirection Assignment | 'string' OptionalStringSize RestOfIndirection Assignment | 'char' OptionalStringSize RestOfIndirection ComponentSelectors Assignment | 'nat' RestOfIndirection Assignment | ( 'nat1' | 'nat2' | 'nat4' ) RestOfIndirection Assignment | 'addressint' RestOfIndirection Assignment | '#' Reference Assignment | 'bits' '(' Reference ',' BitsRange ')' Assignment | '[' ShortFormIfStatement | '{' ( '+' IncreasingForRange ShortFormForStatement | '-' DecreasingForRange ShortFormForStatement |  ShortFormLoopStatement ) | 'new' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'free' 'Ident' ( '.' 'Ident' |  ) ',' VariableReference | 'tag' VariableReference ',' Expression | 'read' ReadStatement | 'write' WriteStatement | 'seek' SeekStatement | 'tell' TellStatement | 'open' OpenStatement | 'close' CloseStatement | 'quit' QuitStatement | 'fork' ForkStatement | 'signal' SignalStatement | 'wait' WaitStatement | 'pause' PauseStatement | 'asm' AssemblerStatement | 'unchecked' | 'checked' | |  ( 'end' | 'else' | 'elsif' | 'invariant' | 'label' | '|' | ']' | '}' | tEndCompilationUnit | '<EOF>' ) 'Ident' ) ';' )+

ConstantDeclarationInModule ::=
	 OptionalPervasiveSpec 'Ident' ( ':=' Expression | ':' TypeSpec ':=' ( 'init' '(' InitializingValueList ')' |  Expression ) )

ConstantDeclarationInSubprogram ::=
	 OptionalPervasiveSpec OptionalRegisterSpec 'Ident' ( ':=' Expression | ':' TypeSpec ':=' ( 'init' '(' InitializingValueList ')' |  Expression ) )

InitializingValueList ::=
	 ( InitializingValue ( |  ) )+

InitializingValue ::=
	 ( 'init' '(' InitializingValueList ')' |  ExpressionCommaParen )

OptionalPervasiveSpec ::=
	 ( ( 'pervasive' | '*' ) |  )

OptionalRegisterSpec ::=
	 ( 'register' |  )

OptionalVariableInit ::=
	 ( ':=' ( 'init' '(' InitializingValueList ')' |  Expression ) |  )

VariableDeclarationInModule ::=
	 IdListWithIdentText ( ':' ( 'unchecked' 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) | 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) |  TypeSpec OptionalVariableInit ) | ':=' Expression )

ExternalVariableDeclaration ::=
	 'Ident' ( ':' TypeSpec OptionalVariableInit | ':=' Expression )

ExternalVariableListDeclaration ::=
	 IdListWithIdentText ( ':' TypeSpec OptionalVariableInit | ':=' Expression )

VariableDeclarationInSubprogram ::=
	 ( 'register' |  ) IdListWithIdentText ( ':' TypeSpec OptionalVariableInit | ':=' Expression )

VariableDeclarationInMonitor ::=
	 IdListWithIdentText ( ':' ( 'condition' ConditionType | 'unchecked' 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) | 'collection' 'of' ( 'forward' 'Ident' |  TypeSpec ) | 'array' ( IndexType ( |  ) )+ 'of' ( 'condition' ConditionType |  TypeSpec OptionalVariableInit ) |  TypeSpec OptionalVariableInit ) | ':=' Expression )

ConditionType ::=
	 ( 'priority' | 'deferred' | 'timeout' |  )

IdList ::=
	 ( 'Ident' ( |  ) )+

IdListWithIdentText ::=
	 ( 'Ident' ( |  ) )+

BindDeclaration ::=
	 ( ( 'var' |  ) ( 'register' |  ) 'Ident' 'to' VariableReference ( ',' |  ) )+

TypeDeclaration ::=
	 OptionalPervasiveSpec 'Ident' ':' TypeSpec

TypeSpec ::=
	 ( 'int' | ( 'int1' | 'int2' | 'int4' ) | 'real' | ( 'real4' | 'real8' ) | 'boolean' | 'string' OptionalStringSize | 'enum' '(' IdList ')' OptionalStorageSize | 'nat' | ( 'nat1' | 'nat2' | 'nat4' ) | 'char' OptionalStringSize | 'addressint' | 'packed' ( 'array' ( IndexType ( |  ) )+ 'of' TypeSpec | 'union' UnionTypeSpec | 'record' RecordTypeSpec | 'enum' '(' IdList ')' |  ExpressionDotDot '..' Expression ) | 'array' ( IndexType ( |  ) )+ 'of' TypeSpec | '{' ( IndexType ( |  ) )+ '}' TypeSpec | 'set' 'of' BaseType | 'record' RecordTypeSpec | 'union' UnionTypeSpec | 'pointer' 'to' 'Ident' | ( 'procedure' | 'proc' ) ProcedureHeader | ( 'function' | 'fcn' ) FunctionTypeHeader |  NamedOrSubrangeTypeSpec )

OptionalStringSize ::=
	 ( '(' Expression ')' |  )

OptionalStorageSize ::=
	 ( ':' Expression |  )

BaseType ::=
	 IndexType

IndexType ::=
	 ( 'enum' '(' IdList ')' OptionalStorageSize |  NamedOrSubrangeTypeSpec )

RecordTypeSpec ::=
	 ( IdList ':' TypeSpec ';' ( 'end' |  ) )+

UnionTypeSpec ::=
	 ( 'Ident' |  ) ':' IndexType 'of' '<NL>' UnionLabel 'end' 'union'

UnionLabel ::=
	 ( ( 'label' ( ':' |  ExpressionList ':' '<NL>' 'Ident' ( ( 'Ident' ( ',' IdList |  ) ':' TypeSpec ';' |  ) )+ ) |  ) )+

UnionBar ::=
	 ( ( '|' ( ':' |  ExpressionList ':' '<NL>' 'Ident' ( ( 'Ident' ( ',' IdList |  ) ':' TypeSpec ';' |  ) )+ ) |  ) )+

NamedOrSubrangeTypeSpec ::=
	 ( 'Ident' ( '.' 'Ident' ( '..' Expression OptionalStorageSize |  ( '(' | '.' | '+' | '-' | '*' | '/' | 'div' | 'mod' | '**' | '=' | '>' | '<' | '<=' | '>=' | 'not' | '~' | 'and' | '&' | 'or' | '=>' | 'in' | 'xor' | 'shr' | 'shl' ) RestOfExpression '..' Expression OptionalStorageSize ) | '..' Expression OptionalStorageSize |  ( '(' | '.' | '+' | '-' | '*' | '/' | 'div' | 'mod' | '**' | '=' | '>' | '<' | '<=' | '>=' | 'not' | '~' | 'and' | '&' | 'or' | '=>' | 'in' | 'xor' | 'shr' | 'shl' ) RestOfExpression '..' Expression OptionalStorageSize ) |  ExpressionDotDot '..' Expression OptionalStorageSize )

BitsRange ::=
	 ExpressionDotDotParen ( '..' Expression |  )

NamedOrSubrangeArrayIndexType ::=
	 ( 'Ident' ( '.' 'Ident' ( '..' ( '*' |  ) Expression |  ( '(' | '.' | '+' | '-' | '*' | '/' | 'div' | 'mod' | '**' | '=' | '>' | '<' | '<=' | '>=' | 'not' | '~' | 'and' | '&' | 'or' | '=>' | 'in' | 'xor' | 'shr' | 'shl' ) RestOfExpression '..' ( '*' |  ) Expression ) | '..' ( '*' |  ) Expression |  ( '(' | '.' | '+' | '-' | '*' | '/' | 'div' | 'mod' | '**' | '=' | '>' | '<' | '<=' | '>=' | 'not' | '~' | 'and' | '&' | 'or' | '=>' | 'in' | 'xor' | 'shr' | 'shl' ) RestOfExpression '..' ( '*' |  ) Expression ) |  ExpressionDotDot '..' ( '*' |  ) Expression )

ProcedureHeader ::=
	 'Ident' ( '(' ParameterList ')' |  ) '<NL>'

ProcedureOrInterruptProcedureHeader ::=
	 'Ident' ( '(' ParameterList ')' | ':' Expression |  ) '<NL>'

FunctionHeader ::=
	 'Ident' ( '(' ParameterList ')' |  ) ( 'Ident' |  ) ':' TypeSpec '<NL>'

FunctionTypeHeader ::=
	 'Ident' '(' ParameterList ')' ( 'Ident' |  ) ':' TypeSpec '<NL>'

ProcessHeader ::=
	 'Ident' ( '(' ParameterList ')' |  ) ( ':' Expression |  ) '<NL>'

OptionalExport ::=
	 ( 'export' ( '(' ( |  ExportList ')' ) |  ExportList ) '<NL>' |  )

OptionalImport ::=
	 ( 'import' ( '(' ( |  ImportList ')' ) |  ImportList ) '<NL>' |  )

ImportList ::=
	 ( ( 'var' |  ) 'Ident' ( |  ) )+

ExportList ::=
	 ( ( 'opaque' |  ) ( 'unqualified' | 'not' '.' | '~' '.' |  ) 'Ident' ( |  ) )+

ForwardImport ::=
	 ( 'import' ( '(' ( |  ForwardImportList ')' ) |  ForwardImportList ) |  )

ForwardImportList ::=
	 ( ( 'var' | 'forward' |  ) 'Ident' ( |  ) )+

ProcedureDeclaration ::=
	 ProcedureHeader OptionalImport SubprogramBody

ProcedureOrInterruptProcedureDeclaration ::=
	 ProcedureOrInterruptProcedureHeader OptionalImport SubprogramBody

FunctionDeclaration ::=
	 FunctionHeader OptionalImport SubprogramBody

ProcessDeclaration ::=
	 ProcessHeader OptionalImport SubprogramBody

ForwardProcedureDeclaration ::=
	 ProcedureHeader ForwardImport

ForwardFunctionDeclaration ::=
	 FunctionHeader ForwardImport

ExternalProcedureDeclaration ::=
	 'Ident' ( '(' ParameterList ')' |  )

ExternalFunctionDeclaration ::=
	 'Ident' ( '(' ParameterList ')' |  ) ( 'Ident' |  ) ':' TypeSpec

ParameterList ::=
	 ( ( 'var' OptionalRegisterSpec IdList ':' ParameterType | ( 'procedure' | 'proc' ) ProcedureHeader | ( 'function' | 'fcn' ) FunctionHeader | 'register' IdList ':' ParameterType | 'Ident' ( ',' IdList ':' ParameterType |  ':' ( '..' |  ParameterType ) ) |  IdList ':' ParameterType ) ( |  ) )+

OptionalStarredStringBound ::=
	 ( '(' ( '*' |  ExpressionParen ) ')' |  )

ShortFormParameterArrayType ::=
	 NamedOrSubrangeArrayIndexType ( ( |  ) IndexType )+ '}' ( 'string' OptionalStringSize | 'char' OptionalStringSize |  TypeSpec )

ParameterArrayType ::=
	 NamedOrSubrangeArrayIndexType ( ( |  ) IndexType )+ 'of' ( 'string' OptionalStringSize | 'char' OptionalStringSize |  TypeSpec )

ParameterType ::=
	 ( 'array' ParameterArrayType | '{' ShortFormParameterArrayType | 'string' OptionalStarredStringBound | 'char' OptionalStarredStringBound | 'type' TypeSpec |  TypeSpec )

SubprogramBody ::=
	 OptionalPre OptionalInit OptionalPost OptionalExceptionHandler DeclarationsAndStatementsInSubprogram 'end' 'Ident'

OptionalPre ::=
	 ( 'pre' Expression '<NL>' |  )

OptionalInvariant ::=
	 ( 'invariant' Expression '<NL>' |  )

OptionalInit ::=
	 ( 'init' ( 'Ident' ':=' Expression ( |  ) )+ '<NL>' |  )

OptionalPost ::=
	 ( 'post' Expression '<NL>' |  )

OptionalExceptionHandler ::=
	 ( 'handler' '(' 'Ident' ')' '<NL>' DeclarationsAndStatementsInSubprogram 'end' 'handler' '<NL>' |  )

ModuleDeclaration ::=
	 'Ident' '<NL>' OptionalImport OptionalExport OptionalGrant OptionalPre DeclarationsAndStatementsInModule OptionalInvariant DeclarationsAndStatementsInModule OptionalPost 'end' 'Ident'

MonitorDeclaration ::=
	 'Ident' ( ':' Expression |  ) '<NL>' OptionalImport OptionalExport OptionalGrant OptionalPre DeclarationsAndStatementsInMonitor OptionalInvariant DeclarationsAndStatementsInMonitor OptionalPost 'end' 'Ident'

LongFormIfStatement ::=
	 ( ExpressionThen 'then' '<NL>' DeclarationsAndStatementsInSubprogram ( 'elsif' | 'else' '<NL>' DeclarationsAndStatementsInSubprogram |  ) )+ 'end' 'if'

ShortFormIfStatement ::=
	 ( ExpressionColon ':' '<NL>' DeclarationsAndStatementsInSubprogram ( '|' ( ':' '<NL>' DeclarationsAndStatementsInSubprogram |  ) |  ) )+ ']'

LongFormLoopStatement ::=
	 '<NL>' OptionalInvariant DeclarationsAndStatementsInSubprogram 'end' 'loop'

ShortFormLoopStatement ::=
	 '<NL>' OptionalInvariant DeclarationsAndStatementsInSubprogram '}'

CaseStatement ::=
	 ExpressionOf 'of' '<NL>' ( 'label' LongFormCaseStatement | '|' ShortFormCaseStatement ) 'end' 'case'

LongFormCaseStatement ::=
	 ( ExpressionList ':' '<NL>' DeclarationsAndStatementsInSubprogram ( 'label' ( ':' |  ) |  ) )+

ShortFormCaseStatement ::=
	 ( ExpressionList ':' '<NL>' DeclarationsAndStatementsInSubprogram ( '|' ( ':' |  ) |  ) )+

LongFormForStatement ::=
	 ( 'decreasing' DecreasingForRange |  IncreasingForRange ) OptionalInvariant DeclarationsAndStatementsInSubprogram 'end' 'for'

ShortFormForStatement ::=
	 OptionalInvariant DeclarationsAndStatementsInSubprogram '}'

IncreasingForRange ::=
	 ( 'Ident' |  ) ':' NamedOrSubrangeTypeSpec '<NL>'

DecreasingForRange ::=
	 ( 'Ident' |  ) ':' ExpressionDotDot '..' Expression '<NL>'

PutStatement ::=
	 ( ':' ExpressionComma ',' |  ) ( PutListItem ( |  ) )+ ( '..' |  )

PutListItem ::=
	 ( 'skip' |  ExpressionCommaColon ( ':' ExpressionCommaColon ( ':' ExpressionCommaColon ( ':' ExpressionComma |  ) |  ) |  ) )

GetStatement ::=
	 ( ':' ExpressionComma ',' |  ) ( GetItem ( |  ) )+

GetItem ::=
	 ( 'skip' |  VariableReference ( ':' ( '*' |  ExpressionComma ) |  ) )

OpenStatement ::=
	 ( ':' Reference ',' Expression ',' IoCapability ( ( ',' IoCapability |  ) )+ | '(' Reference ',' Expression ',' Expression ')' )

IoCapability ::=
	 ( 'get' | 'put' | 'read' | 'write' | 'seek' | 'mod' )

CloseStatement ::=
	 ( ':' Expression | '(' Expression ')' )

ReadStatement ::=
	 ReadOrWriteStatement

WriteStatement ::=
	 ReadOrWriteStatement

ReadOrWriteStatement ::=
	 ':' Expression ( ':' Reference |  ) ',' ReadWriteItem ( ( ',' ReadWriteItem |  ) )+

ReadWriteItem ::=
	 Reference ( ':' Expression ( ':' Reference |  ) |  )

SeekStatement ::=
	 ':' Expression ',' ( '*' |  Expression )

TellStatement ::=
	 ':' Expression ',' Reference

QuitStatement ::=
	 ( '>' | '<' |  ) ( ':' Expression |  )

ForkStatement ::=
	 'Ident' ( '.' 'Ident' |  ) ( '(' ExpressionList ')' |  ) ( ':' Reference ( ',' Expression ( ',' Reference |  ) |  ) |  )

AssemblerStatement ::=
	 Expression ( ':' Expression |  ) ( ( ',' Expression |  ) )+

SignalStatement ::=
	 VariableReference

WaitStatement ::=
	 VariableReference ( ',' Expression |  )

PauseStatement ::=
	 Expression

VariableReference ::=
	 Reference

Reference ::=
	 ( 'Ident' Selectors | '#' Reference | 'int' RestOfIndirection | ( 'int1' | 'int2' | 'int4' ) RestOfIndirection | 'real' RestOfIndirection | ( 'real4' | 'real8' ) RestOfIndirection | 'boolean' RestOfIndirection | 'string' OptionalStringSize RestOfIndirection | 'char' OptionalStringSize RestOfIndirection ComponentSelectors | 'nat' RestOfIndirection | ( 'nat1' | 'nat2' | 'nat4' ) RestOfIndirection | 'addressint' RestOfIndirection | 'type' '(' TypeCheatSpec ',' Reference ')' ComponentSelectors )

TypeCheatSpec ::=
	 ( 'int' | ( 'int1' | 'int2' | 'int4' ) | 'real' | ( 'real4' | 'real8' ) | 'boolean' | 'string' OptionalStringSize | 'char' OptionalStringSize | 'nat' | ( 'nat1' | 'nat2' | 'nat4' ) | 'addressint' | 'Ident' ( '.' 'Ident' |  ) )

Selectors ::=
	 ComponentSelectors

ComponentSelectors ::=
	 ( ( '(' ExpressionList ')' | '.' 'Ident' |  ) )+

RestOfExpression ::=
	 Variable SubExpression

ExpressionList ::=
	 ( ExpressionCommaColonParen ( |  ) )+

ExpressionDotDot ::=
	 Factor SubExpression

ExpressionDotDotParen ::=
	 Factor SubExpression

ExpressionParen ::=
	 Factor SubExpression

ExpressionCommaParen ::=
	 Factor SubExpression

ExpressionComma ::=
	 Factor SubExpression

ExpressionCommaColon ::=
	 Factor SubExpression

ExpressionCommaColonParen ::=
	 Factor SubExpression

ExpressionThen ::=
	 Factor SubExpression

ExpressionOf ::=
	 Factor SubExpression

ExpressionColon ::=
	 Factor SubExpression

Expression ::=
	 Factor SubExpression

SubExpression ::=
	 Disjunction ( ( '=>' Factor Disjunction |  ) )+

Disjunction ::=
	 Conjunction ( ( 'or' Factor Conjunction |  ) )+

Conjunction ::=
	 Relation ( ( ( 'and' | '&' ) Factor Relation |  ) )+

Relation ::=
	 Sum ( ( '=' Factor Sum | '<' Factor Sum | '<=' Factor Sum | '>' Factor Sum | '>=' Factor Sum | ( 'not' | '~' ) ( '=' Factor Sum | 'in' Factor Sum ) | 'in' Factor Sum |  ) )+

Sum ::=
	 Term ( ( '+' Factor Term | '-' Factor Term | 'xor' Factor Term |  ) )+

Term ::=
	 Exponent ( ( '*' Factor Exponent | '/' Factor Exponent | 'div' Factor Exponent | 'mod' Factor Exponent | 'shr' Factor Exponent | 'shl' Factor Exponent |  ) )+

Exponent ::=
	 ( ( '**' Factor |  ) )+

Factor ::=
	 ( 'Ident' VariableOrIndirection | 'IntegerLit' | 'RealLit' | 'StringLit' | 'CharLit' | '+' Factor Exponent | '-' Factor Exponent | '#' Factor Exponent | 'int' RestOfIndirection | ( 'int1' | 'int2' | 'int4' ) RestOfIndirection | 'real' RestOfIndirection | ( 'real4' | 'real8' ) RestOfIndirection | 'boolean' RestOfIndirection | 'string' OptionalStringSize RestOfIndirection Variable | 'char' OptionalStringSize RestOfIndirection Variable | 'nat' RestOfIndirection | ( 'nat1' | 'nat2' | 'nat4' ) RestOfIndirection | 'addressint' RestOfIndirection | '(' Factor SubExpression ')' | 'type' '(' TypeCheatSpec ',' ExpressionCommaColonParen ( ':' ExpressionParen |  ) ')' Variable | 'bits' '(' ExpressionComma ',' BitsRange ')' | ( 'not' | '~' ) Factor Relation | 'true' | 'false' )

VariableOrIndirection ::=
	 Variable

Variable ::=
	 ( ( '(' ( 'all' | ')' | '*' |  ExpressionDotDotParen ( '..' | ',' ExpressionList |  ) ) ')' | '.' 'Ident' |  ) )+

OptionalMinusExpression ::=
	 '-' Expression

[mingodad]

And bellow is the EBNF for tp2c/wallker.ssl:

//
// EBNF to be viewd at
//    (IPV6) https://www.bottlecaps.de/rr/ui
//    (IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one of the urls shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//

// THE SYNTAX OF Open-TuringPlus-tp2c-walker.ssl

Goal ::=
	 Program

Program ::=
	 ( aCompile ( aStub CompileStub |  OptionalGrant DeclarationsAndStatementsInModule ) | aParent Program | aModule ModuleDeclaration |  OptionalGrant DeclarationsAndStatementsInModule )

OptionalGrant ::=
	 ( aGrant ( ( aEndGrant | aIdent ) )+ |  )

OptionalInvariant ::=
	 ( aInvariant Expression |  )

DeclarationsAndStatementsInFor ::=
	 OptionalInvariant DeclarationsAndStatements

DeclarationsAndStatementsInModule ::=
	 DeclarationsAndStatements OptionalInvariant DeclarationsAndStatements

DeclarationsAndStatements ::=
	 ( ( aIdent AssignmentOrCallStatement | aIf IfStatement | aFor ForStatement | aLoop LoopStatement | aPut PutStatement | aGet GetStatement | aVar VariableDeclaration | aCondition VariableDeclaration | aConst ConstantDeclaration | aType TypeDeclaration | aBind BindDeclaration | aExit ExitStatement | aExitWhen ExitWhenStatment | aCase CaseStatement | aBegin BeginStatement | aAssert AssertStatement | aProcedure ProcedureDeclaration | aFunction FunctionDeclaration | aModule ModuleDeclaration | aMonitor MonitorDeclaration | aProcess ProcessDeclaration | aReturn ReturnStatement | aResult ResultStatement | aTag TagStatement | aNew NewOrFreeStatement | aFree NewOrFreeStatement | aPredefinedId PredefinedRoutineCall | aForward ( aProcedure ForwardProcedureHead | aFunction ForwardFunctionHead ) | aBody ( aModule ModuleBody | aMonitor MonitorBody |  SubprogramBodyDeclaration ) | aChild Child | aStub Stub | aExternal ( aProcedure ExternalProcedureHead | aFunction ExternalFunctionHead | aVar VariableDeclaration | aExternalAddress Expression VariableDeclaration ) | aInvariant InvariantStatement | ( aRead | aWrite ) ReadWriteStatement | aSeek SeekStatement | aTell TellStatement | aOpen OpenStatement | aClose CloseStatement | aQuit QuitStatement | aFork ForkStatement | aAsm AsmStatement | ( aUnchecked | aChecked ) | aBits BitsStatement | aTypeCheat TypeCheatStatement | aSignal SignalStatement | aWait WaitStatement | aPause PauseStatement |  ) )+

InvariantStatement ::=
	 Expression

ReadWriteStatement ::=
	 Expression ( aReadWriteStatus VariableReference |  ) ( ( ( aEndRead | aEndWrite ) |  VariableReference ( aReadWriteSize Expression ( aReadWriteSizeResult VariableReference |  ) |  ) ) )+

SeekStatement ::=
	 Expression ( aStar |  Expression )

TellStatement ::=
	 Expression VariableReference

OpenStatement ::=
	 VariableReference ( ) Expression ( ( aGet | aPut | aRead | aWrite | aSeek | aMod ) ( ( ( aGet | aPut | aRead | aWrite | aSeek | aMod ) |  ) )+ |  Expression )

CloseStatement ::=
	 Expression

QuitStatement ::=
	 ( ( aGreater | aLess ) |  ) ( aQuitReason Expression |  )

ForkStatement ::=
	 Selectors ( aForkStatus VariableReference ( aForkStackSize Expression ( aForkAddress VariableReference |  ) |  ) |  )

AsmStatement ::=
	 Expression ( aLabel Expression |  ) ( aBeginAsm ( ( aEndAsm |  Expression ) )+ |  )

AtStatement ::=
	 Expression NewStatementRightHandSide

BitsStatement ::=
	 VariableReference BitsType NewStatementRightHandSide

TypeCheatStatement ::=
	 TypeCheatVariable Selectors ( aAssign | aAssignInverted | aConcatenateAssign | aSetDifferenceAssign | aSetIntersectionAssign | aSetUnionAssign | aSetXorAssign | aAndEqual | aBooleanAndEqual | aBooleanOrEqual | aDivEqual | aExponentiateEqual | aMinusEqual | aModEqual | aOrEqual | aPlusEqual | aRealDivEqual | aShiftLeftEqual | aShiftRightEqual | aStarEqual | aXorEqual ) NewStatementRightHandSide

PauseStatement ::=
	 Expression

SignalStatement ::=
	 VariableReference

WaitStatement ::=
	 VariableReference ( aWaitPriorityOrTimeout Expression |  )

BitsType ::=
	 ManifestValue ManifestValue

NewStatementRightHandSide ::=
	 ( ( aAssign | aAssignInverted | aConcatenateAssign | aSetDifferenceAssign | aSetIntersectionAssign | aSetUnionAssign | aSetXorAssign | aAndEqual | aBooleanAndEqual | aBooleanOrEqual | aDivEqual | aExponentiateEqual | aMinusEqual | aModEqual | aOrEqual | aPlusEqual | aRealDivEqual | aShiftLeftEqual | aShiftRightEqual | aStarEqual | aXorEqual ) Expression ( ( aRangeCheck | aRangeCheck2 ) RangeCheck |  ) |  Selectors )

TypeCheatVariable ::=
	 TypeCheatTypeDefinition ( aAt AtVariable |  Expression ) ( aTypeCheatSize Expression |  )

AtVariable ::=
	 Expression

VariableReference ::=
	 ( aIdent Selectors | aPredefinedId PredefinedRoutineCall | aTypeCheat TypeCheatVariable Selectors |  Expression )

ProcessDeclaration ::=
	 Parameters ( aProcessStackSize Expression |  ) ProcedureBody

MonitorDeclaration ::=
	 ( aMonitorPriority Expression |  ) OptionalExport OptionalGrant OptionalPre DeclarationsAndStatements OptionalPost

MonitorBody ::=
	 ( aMonitorPriority Expression |  ) OptionalGrant OptionalPre DeclarationsAndStatements OptionalPost

MonitorStub ::=
	 ( aMonitorPriority Expression |  ) OptionalExport DclsAndStmtsInStub

Stub ::=
	 ( aModule ModuleStub | aProcedure ProcedureStub | aFunction FunctionStub | aMonitor MonitorStub )

OptionalExport ::=
	 ( aExport ( ( aEndExport | ( aOpaque | aUnqualified ) | aIdent ) )+ |  )

DclsAndStmtsInStub ::=
	 ( ( aConst ConstantDeclaration | aType TypeDeclaration | aProcedure ProcedureStub | aFunction FunctionStub | aChild Child | aStub Stub | aVar VariableDeclaration | aCondition VariableDeclaration | aExternal ( aProcedure ExternalProcedureHead | aFunction ExternalFunctionHead | aVar VariableDeclaration | aExternalAddress Expression VariableDeclaration ) |  ) )+

Child ::=
	 ( aParent ( aCompile ( aStub CompileStub | aMissingStub CompileMissingStub ) | aMissingStub MissingStub | aStub Stub ) |  ( aCompile ( aMissingStub CompileMissingStub |  CompileStub ) | aMissingStub MissingStub | aStub Stub ) )

CompileStub ::=
	 ( aModule ModuleStub ( aBody ModuleBody |  ) | aMonitor MonitorStub ( aBody MonitorBody |  ) | aProcedure ProcedureStub ( aIs IsImplementation |  ) | aFunction FunctionStub ( aIs IsImplementation |  ) )

IsImplementation ::=
	 ProcedureBody

CompileMissingStub ::=
	 ( aBody ( aModule ModuleBody | aMonitor MonitorBody ) |  ( aModule ModuleBody | aMonitor MonitorBody ) )

MissingStub ::=


ExternalProcedureHead ::=
	 ( aExternalAddress ManifestValue |  ) Parameters

ExternalFunctionHead ::=
	 ( aExternalAddress ManifestValue |  ) RestOfFunctionHead

ModuleStub ::=
	 OptionalExport OptionalGrant DclsAndStmtsInStub

FunctionStub ::=
	 RestOfFunctionHead

ProcedureStub ::=
	 Parameters

ModuleBody ::=
	 OptionalExport OptionalGrant OptionalPre DeclarationsAndStatementsInModule OptionalPost

SubprogramBodyDeclaration ::=
	 ( ( aProcedure | aFunction ) ) ProcedureBody

ForwardProcedureHead ::=
	 Parameters

ForwardFunctionHead ::=
	 RestOfFunctionHead

ModuleDeclaration ::=
	 OptionalExport OptionalGrant OptionalPre DeclarationsAndStatementsInModule OptionalPost

FunctionDeclaration ::=
	 FunctionHead ProcedureBody

FunctionHead ::=
	 RestOfFunctionHead

ProcedureDeclaration ::=
	 ProcedureHead ProcedureBody

ProcedureHead ::=
	 Parameters

Parameters ::=
	 ( aSubs ( ( aEndSubs |  ParameterOrSubprogramHeader ) )+ | aInterruptNumber Expression |  )

ParameterOrSubprogramHeader ::=
	 ( aProcedure ForwardProcedureHead | aFunction ForwardFunctionHead |  Parameter )

RestOfFunctionHead ::=
	 Parameters TypeDefinition

Parameter ::=
	 ( aVar ( aRegister |  ) IdentList ParameterType |  ( aRegister |  ) IdentList ParameterType )

ProcedureBody ::=
	 OptionalPre OptionalInit OptionalPost OptionalHandler DeclarationsAndStatements

OptionalHandler ::=
	 ( aHandler DeclarationsAndStatements |  )

OptionalPre ::=
	 ( aPre Expression |  )

OptionalPost ::=
	 ( aPost Expression |  )

OptionalInit ::=
	 ( aInit InitList |  )

ParameterType ::=
	 ( aType ParameterType | aArray ParameterArrayType | aPacked ParameterType | aString ( aStringSizeBound ( aStar | aNonManifest Expression |  ManifestValue ) |  ) | aVaryingParameter |  TypeDefinition )

ParameterArrayType ::=
	 ParameterArrayIndexList ParameterType

ParameterArrayIndexList ::=
	 ( ( aEndArrayIndexList | aSubrange ManifestValue ( aStar |  ManifestValue ) OptionalStorageSize | aEnum Enum | aIdent NamedType ) )+

Enum ::=
	 ( ( aEndEnum | aIdent ) )+ OptionalStorageSize

InitList ::=
	 ( ( aEndInit | aIdent ( aNonScalar Selectors |  TypeDefinition Expression ) ) )+

InitValueList ::=
	 ( ( aInit InitValueList | aEndInit | ( aInt | aNat | aReal | aBoolean ) ManifestValue | ( aString | aChar ) ManifestValue | aIdent | aNil ) )+

ConstantDeclaration ::=
	 ( aPervasive |  ) ( aRegister |  ) ( aNonScalar Expression |  TypeDefinition ( aInit InitValueList |  Expression ) )

VariableDeclaration ::=
	 ( aRegister |  ) IdentList ( aType ( aNonScalar ( aIdent Variable | aPredefinedId PredefinedRoutineCall | aNil ) |  TypeDefinition ( aVarInit Expression | aInit InitValueList |  ) ) | aCollection ( |  ) ( aForward |  TypeDefinition ) )

PredefinedRoutineCall ::=
	 ( aCall HandleParameters Selectors |  )

Expression ::=
	 ( ( aEndExpression ( ( aRangeCheck | aRangeCheck2 ) RangeCheck |  ) | aIdent Variable | ( aIntegerLit | aRealLit | aTrue | aFalse ) | aPredefinedId PredefinedRoutineCall | aTypeCheat TypeCheatVariable Selectors | aBits Expression BitsType | ( aStringLit | aCharLit ) ( aSubstring SubstringExpression ( aEndSubstring |  SubstringExpression ) |  ) | aNil |  Operator ) )+

SubstringExpression ::=
	 ( aStar ( aMinus Expression |  ) |  Expression )

Operator ::=
	 ( ( aAdd | aSubtract | aMultiply | aDiv | aConcatenate | aExponentiate | aDivideReal | aMod | aXor | aShiftLeft | aShiftRight | aLogicalAnd | aLogicalOr | aLogicalXor | aSetUnion | aSetXor | aSetIntersection | aSetDifference ) | ( aPlus | aMinus | aNot | aHash ) | ( aInfixBooleanCompare | aInfixCompare | aInfixAnd | aInfixOr | aInfixImply ) | ( aEqual | aNotEqual | aLess | aLessEqual | aGreater | aGreaterEqual | aSetLessEqual | aSetGreaterEqual ) | ( aAnd | aOr | aImply ) | aAbs Expression | ( aMax | aMin ) Expression Expression | ( aIn | aNotIn ) ManifestValue ManifestValue )

ManifestValue ::=
	 ( ( aIntegerLit | aStringLit | aRealLit | aTrue | aFalse | aCharLit | aStar ) )

RangeCheck ::=
	 ( aString ( aStar |  ManifestValue ) |  ManifestValue ManifestValue )

Variable ::=
	 Selectors

Selectors ::=
	 ( ( aSubs Subscripts | aCall HandleParameters | aSet ( aAll |  Subscripts ) | aSubstring SubstringExpression ( aEndSubstring |  SubstringExpression ) | aCollection Subscripts | aField Fielding | aHash |  ) )+

HandleParameters ::=
	 ( aSubs Actuals |  ) OptionalAliasCheck

Actuals ::=
	 ( ( aEndSubs | ( aString | aChar ) |  Expression ) )+

OptionalAliasCheck ::=
	 ( aAliasCheck ( ( ( aNoAlias | aNoEnclosure ) | aEndAliasCheck ) )+ |  )

Subscripts ::=
	 ( ( aEndSubs |  Expression ) )+

Fielding ::=
	 ( aTagCheck ManifestValue |  )

Elsif ::=
	 Expression DeclarationsAndStatements ( aElsif Elsif | aElse DeclarationsAndStatements |  )

IfStatement ::=
	 Expression DeclarationsAndStatements ( aElsif Elsif |  ( aElse DeclarationsAndStatements |  ) )

ForStatement ::=
	 ( |  ) ( aDecreasing |  ) Expression Expression DeclarationsAndStatementsInFor

LoopStatement ::=
	 OptionalInvariant DeclarationsAndStatements

PutStatement ::=
	 ( aStreamNumber Expression |  ) PutList

GetStatement ::=
	 ( aStreamNumber Expression |  ) GetList

PutList ::=
	 ( ( aSkip | aEndPut | aPutContinue |  ( ( aReal | aInt | aString | aChar | aNat ) ) Expression Expression ( aColon Expression ( aColon Expression |  ) |  ) ) )+

GetList ::=
	 ( ( aSkip | aEndGet |  ( ( aReal | aInt | aNat ) VariableReference | ( aString | aChar ) VariableReference ( aColon ( aStar |  Expression ) |  ) | aSubrange ( aChar |  ) VariableReference ( ) ( ) |  VariableReference ( aColon Expression |  ) ) ) )+

ExitStatement ::=


ExitWhenStatment ::=
	 Expression

CaseStatement ::=
	 Expression CaseAlternative ( ( aEndCase | aOtherwise DeclarationsAndStatements |  CaseAlternative ) )+

CaseAlternative ::=
	 ( ( aCaseBody |  ManifestValue ) )+ DeclarationsAndStatements

BeginStatement ::=
	 DeclarationsAndStatements

AssertStatement ::=
	 Expression

ReturnStatement ::=


ResultStatement ::=
	 Expression

TagStatement ::=
	 Selectors Expression

NewOrFreeStatement ::=
	 ( aField |  ) Selectors

BindDeclaration ::=
	 ( ( aEndBind |  RenameVariable ) )+

RenameVariable ::=
	 ( ( ( aVar | aRegister ) |  ) )+ VariableReference OptionalAliasCheck

TypeDeclaration ::=
	 TypeDefinition

TypeCheatTypeDefinition ::=
	 TypeDefinition

TypeDefinition ::=
	 ( ( aBoolean | aAddressInt ) | ( aInt | aNat | aReal ) OptionalStorageSize | ( aString | aChar ) ( aStringSizeBound ( aNonManifest Expression |  ManifestValue ) |  ) | aArray ArrayType | aRecord RecordType | aUnion UnionType | aSet IndexType | aPointer | aSubrange ManifestValue ManifestValue OptionalStorageSize | aEnum Enum | aIdent NamedType | aPacked TypeDefinition | aProcedure ProcedureType | aFunction FunctionType | aCondition ConditionType )

OptionalStorageSize ::=
	 ( aStorageSize Expression |  )

ProcedureType ::=
	 Parameters

FunctionType ::=
	 Parameters TypeDefinition

ConditionType ::=
	 ( ( aPriority | aDeferred ) | aTimeout |  )

ArrayType ::=
	 ArrayIndexList TypeDefinition

RecordType ::=
	 ( ( aEndRecord |  IdentList TypeDefinition ) )+

IdentList ::=
	 ( ( aIdent ( aIdentText |  ) |  ) )+

UnionType ::=
	 IndexType ( ( aEndUnion | aLabel ( aOtherWise |  ( ( aIntegerLit |  ) )+ ) ( aUnionLabelBody ( ( aEndUnionLabelBody |  IdentList TypeDefinition ) )+ |  ) ) )+

NamedType ::=
	 ( aField |  )

IndexType ::=
	 ( aSubrange ManifestValue ManifestValue OptionalStorageSize | aEnum Enum | aIdent NamedType )

ArrayIndexList ::=
	 ( ( aEndArrayIndexList | aSubrange ManifestValue ( aNonManifest Expression |  ManifestValue ) | aEnum Enum | aIdent NamedType ) )+

AssignmentOrCallStatement ::=
	 ( aCall HandleParameters Selectors |  Selectors ( aHash |  ) ( ( aAssign | aAssignInverted | aConcatenateAssign | aSetDifferenceAssign | aSetIntersectionAssign | aSetUnionAssign | aSetXorAssign | aAndEqual | aBooleanAndEqual | aBooleanOrEqual | aDivEqual | aExponentiateEqual | aMinusEqual | aModEqual | aOrEqual | aPlusEqual | aRealDivEqual | aShiftLeftEqual | aShiftRightEqual | aStarEqual | aXorEqual ) Expression ( ( aRangeCheck | aRangeCheck2 ) RangeCheck |  ) |  ) )

[CordyJ]

Thanks, obviously that's interesting. SL, the Syntax Language, was explicitly designed to be a formal, directly executable notation for EBNF based on IBM's standard grammar notation and railroad track diagrams.

S/SL, the Syntax/Semantic Language, was then designed to be an extension of SL to be a formal, directly executable notation for Semantic Charts, railroad track diagrams for type checking and code generation.

The advantage of S/SL for compiler developers is that the exact same notation is used for the specification of every phase of the compiler, including lexical analysis, parsing, type checking and code generation. The goal was to avoid having different notations for each part of the compiler.