Grammatiken, die Chomsky-Hierarchie und das Wortproblem

Zusammenfassung

Wir nehmen nun eine ganz neue Sichtweise ein. Wir wollen Regelsysteme entwerfen, mit denen sich genau die Wörter einer vorgegebenen Sprache erzeugen lassen. Für Programmiersprachen bedeutet dies, daß wir Regeln suchen, mit denen sich genau die syntaktisch korrekten Programme aufbauen lassen. Derartige Systeme werden in Anlehnung an natürliche Sprachen Grammatiken genannt. Wir wollen auf weitergehende Analogien zu natürlichen Sprachen nicht eingehen, da alle Vergleiche hinken. Natürliche Sprachen sind nicht so regelbasiert aufgebaut, wie es Programmiersprachen sein sollen (sollten).