Was sind formale Grammatiken? (Theoretische Informatik)

Formale Grammatiken sind eine Möglichkeit, formale Sprachen zu kategorisieren. (Das Video besteht aus zwei Teilen, die mit einer Woche Abstand aufgenommen wurden.)
* Das GANZ NEUE Buch: weitz.de/GDM/
* Das NEUE Buch: weitz.de/PP/
* KORREKTUR: weitz.de/corr/MikdP2-TlR4
* Skript: weitz.de/files/ti-skript.pdf
* Abzählbare Mengen: • Abzählbare Mengen
* Überabzählbare Mengen: • Überabzählbare Mengen ...
* Grammatik für Java: docs.oracle.com/javase/specs/...
* Das Video im Playlist-Kontext: weitz.de/y/MikdP2-TlR4?list=PL...
* Liste aller Videos: weitz.de/haw-videos/
* Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
* Allgemeine Anmerkungen: weitz.de/youtube.html
00:00 Definition formaler Grammatiken
05:45 Beispiel und Konventionen
14:44 Übungsaufgaben zu formalen Sprachen
20:51 Die von einer Grammatik erzeugte Sprache
28:53 Beispiel: Dyck-Sprache
32:39 Herleitungbäume (Syntaxbäume)
34:55 Beispiel: arithmetische Ausdrücke
41:35 Übungen zu Grammatiken
51:15 Die Anzahl der Sprachen