Formale Sprache, Abzählbarkeit

Entscheidbarkeit

Turingmaschinen

Automaten

Grammatiken

Graphen

Chomsky-Hierarchien

Komplexität

Syntax

Semantik

Induktionsbeweise

Semantik formalisieren

Tableaux

PL Eigenschaften

Korrektheitsaussagen

Hoare-Kalkül