Formale Sprache

Syntax

Semantik

Beispiele von formalen Sprachen

Verschiedene Arten von Semantik

Ausgangsalphabet CPL

CPL Syntax

Länge einer CPL-Formel

CPL Semantik

Gültigkeit

Erfüllbarkeit

Erfüllbarkeitsproblem
aussagenlogischer Formeln

Warum ist WHILE von Interesse?
(die Sprache)

Ausgangsalphabet WHILE

Definition (Wertzuweisung) in WHILE

Für ein WHILE-Programm σ:
Was bezeichnet Var(σ)?

Länge eines WHILE-Programms σ

Denotationelle WHILE-Semantik

Definition (WHILE-Semantik)

Beispiel:
Schleife in WHILE