Informatik III (Automatentheorie und formale Sprachen)

of. Dr. Jürgen Dix · Clausthal, WS 09/10 22
1 Terminologie
1.1 Sprache, Grammatik
Rechnung einer Grammatik:
Beginn beim Startsymbol, einer Variablen.
Dies ist ein Wort.
Eine Grammatikregel P → Q sagt, daß ein Vorkommen
von P durch Q ersetzt werden darf:
Wenn das aktuelle Wort die Prämisse P enthält, dann
kann man P durch die dazugehörige Conclusio Q
ersetzen. Das Ergebnis ist ein neues aktuelles Wort.
Eine Prämisse muss eine Variable enthalten.
Umgekehrt ist ein Wort, das noch eine Variable enthält,
nicht “fertig”.
Am Ende steht ein terminales Wort: also eines, in dem
keine Variablen vorkommen. Es besteht nur aus
Terminalen.