Theoretische Informatik

  • Aufbau einer formalen Sprache (Zeichen, Alphabet, Wort)
  • Reguläre Sprachen und ihre Grammatiken, Backus-Naur-Form und Syntaxdiagramm
  • 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