Grammatik einer Aussagenlogik

Folgende Grammatik G sei gegeben:

	VT = { ⟨ Variable ⟩, ``¬'', ``=>'', ``('', ``)'' }
	VN = { ⟨ Formula ⟩, ⟨ SimpleFormula ⟩ }
	Produktionsregeln P: ⟨ Formula ⟩ ---> ⟨ SimpleFormula ⟩ ⟨ Formula ⟩ ---> ⟨ SimpleFormula ⟩ ``=>'' ⟨ Formula ⟩ ⟨ SimpleFormula ⟩ ---> ⟨ Variable ⟩ ⟨ SimpleFormula ⟩ ---> ``¬'' ⟨ SimpleFormula ⟩ ⟨ SimpleFormula ⟩ ---> ``('' ⟨ Formula ⟩ ``)''
	Startsymbol: ⟨ Formula ⟩

Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005