Theoretische Informatik
- Aufbau einer formalen Sprache (Zeichen, Alphabet, Wort)
- Aufbau Reguläre Sprachen und ihre Grammatiken
- Beschreibung von Sprachen mit rechts und links regulärer Grammatik
- Modellieren kontextbezogener Problemstellungen als
- deterministische oder
- nichtdeterministische endliche Automaten
- Darstellung von deterministischen endlichen Automaten als Graph und als Tabelle
- Umwandlung von nichtdeterministischen in deterministische endliche Automaten
- Darstellung von Problemen als Mealy Automat.
Reguläre Ausdrücke, die Backus-Naur-Form (BNF), reguläre Grammatiken und und Syntaxdiagramme sind alle Werkzeuge, die in der theoretischen und angewandten Informatik verwendet werden, um formale Sprachen zu beschreiben und zu definieren. Sie haben verschiedene Stärken und Schwächen und werden in unterschiedlichen Kontexten eingesetzt,