|
![]() ![]() ![]() ![]() ![]() |
Folgende Grammatik G sei gegeben:
![]() | VT = { 〈 Variable 〉, ``¬'', ``=>'', ``('', ``)'' }
| |||||||||||||||
![]() | VN = { 〈 Formula 〉, 〈 SimpleFormula 〉 }
| |||||||||||||||
![]() | Produktionsregeln P:
| |||||||||||||||
![]() | Startsymbol: 〈 Formula 〉
|
![]() ![]() ![]() ![]() ![]() |
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |