1. Einleitung

Referentielle Transparenz
Variablen in der Mathematik/Informatik
Funktionen in der Mathematik/Informatik
Konzeptuelle Zerlegung
Seiteneffekte
Gründe für Seiteneffekte
Dangeling Else
Iteration/Rekursion
Wohldefiniertheit
Unterschied rekursive/iterative Programme
Monoid
Alphabet/Wort
freies Wortmonoid
Konkatenation
Sprache
Länge eines Wortes
Grammatik
Sprachdefinition- was ist eine Anwendung?
Sprachdefinition - was ist eine Ableitung?
Sprachdefinition - wann ist eine Ableitung maximal?
Sprachdefinition - was ist eine durch die Grammatik erzeugte Sprache?
Äquivalenz von Grammatiken
operationelle Semantik
denotationelle Semantik
axiomatische Semantik

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.