Fechar
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
