Wir schauen uns Grammatiken für formale Sprachen genauer an und lernen eine wichtige Technik kennen, mit der man Behauptungen über Grammatiken beweisen kann.
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/FS... (2. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Fo...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/FormaleSys...
Негізгі бет Grammatiken und ihre Ableitungen
Пікірлер: 2