Ableitungsbeispiel für Oberon

Hallo.om

MODULE Hallo; IMPORT Write; BEGIN Write.Line("Hallo, wie geht es?"); END Hallo.

⟨ CompilationUnit ⟩ ---> ⟨ Module ⟩

---> ``MODULE'' ⟨ Ident ⟩ ``;''
[⟨ ImportList ⟩] ⟨ DeclarationSequence ⟩
[``BEGIN'' ⟨ StatementSequence ⟩]
``END'' ⟨ Ident ⟩ ``.''

---> ``MODULE'' ⟨ Ident ⟩ ``;'' ⟨ ImportList ⟩
``BEGIN'' ⟨ StatementSequence ⟩
``END'' ⟨ Ident ⟩ ``.''

⟨ ImportList ⟩ ---> ``IMPORT'' ⟨ Import ⟩
{ ``,'' ⟨ Import ⟩ } ``;''

---> ``IMPORT'' ⟨ Import ⟩ ``;''

---> ``IMPORT'' ⟨ Ident ⟩ [``:='' ⟨ Ident ⟩] ``;''

---> ``IMPORT'' ⟨ Ident ⟩ ``;''

⟨ StatementSequence ⟩ ---> ⟨ Statement ⟩ { ``;'' ⟨ Statement ⟩ }

---> ⟨ Statement ⟩

---> ⟨ ProcedureCall ⟩

---> ⟨ Designator ⟩ [⟨ ActualParameters ⟩]

---> ⟨ QualIdent ⟩ ⟨ ActualParameters ⟩

---> [⟨ Ident ⟩ ``.''] ⟨ Ident ⟩ ⟨ ActualParameters ⟩

---> ⟨ Ident ⟩ ``.'' ⟨ Ident ⟩ ⟨ ActualParameters ⟩

⟨ CompilationUnit ⟩	--->	⟨ Module ⟩
	--->	``MODULE'' ⟨ Ident ⟩ ```;`''
		[⟨ ImportList ⟩] ⟨ DeclarationSequence ⟩
		[``BEGIN'' ⟨ StatementSequence ⟩]
		``END'' ⟨ Ident ⟩ ```.`''
	--->	``MODULE'' ⟨ Ident ⟩ ```;`'' ⟨ ImportList ⟩
		``BEGIN'' ⟨ StatementSequence ⟩
		``END'' ⟨ Ident ⟩ ```.`''
⟨ ImportList ⟩	--->	``IMPORT'' ⟨ Import ⟩
		{ ```,`'' ⟨ Import ⟩ } ```;`''
	--->	``IMPORT'' ⟨ Import ⟩ ```;`''
	--->	``IMPORT'' ⟨ Ident ⟩ [```:=`'' ⟨ Ident ⟩] ```;`''
	--->	``IMPORT'' ⟨ Ident ⟩ ```;`''
⟨ StatementSequence ⟩	--->	⟨ Statement ⟩ { ```;`'' ⟨ Statement ⟩ }
	--->	⟨ Statement ⟩
	--->	⟨ ProcedureCall ⟩
	--->	⟨ Designator ⟩ [⟨ ActualParameters ⟩]
	--->	⟨ QualIdent ⟩ ⟨ ActualParameters ⟩
	--->	[⟨ Ident ⟩ ```.`''] ⟨ Ident ⟩ ⟨ ActualParameters ⟩
	--->	⟨ Ident ⟩ ```.`'' ⟨ Ident ⟩ ⟨ ActualParameters ⟩