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: http://weitz.de/GDM/ Das NEUE Buch: http://weitz.de/PP/ KORREKTUR: http://weitz.de/corr/MikdP2-TlR4 Skript: http://weitz.de/files/ti-skript.pdf Abzählbare Mengen:    • Abzählbare Mengen   Überabzählbare Mengen:    • Überabzählbare Mengen / Der Satz von Cantor   Grammatik für Java: https://docs.oracle.com/javase/specs/... Das Video im Playlist-Kontext: http://weitz.de/y/MikdP2-TlR4?list=PL... Liste aller Videos: http://weitz.de/haw-videos/ Das etwas andere Mathe-Lehrbuch: http://weitz.de/KMFI/ Allgemeine Anmerkungen: http://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