Ein weiteres bekanntes Beispiel für Erzeugungssysteme bilden die formalen Grammatiken der Chomsky-Hierarchie - die Erzeugnisse sind in diesem Fall formale Sprachen. Weiterhin bilden logische Kalküle eine wichtige Klasse von Erzeugungssystemen, die man auch als Beweissysteme bezeichnet. Aufgrund ihres konstruktiven und damit anwendungsnahen Chara...