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: https://youtu.be/8zM4oESOuh4?list=PLb0zKSynM2PBYzz6l37rWH3B_n_7P40QP * Überabzählbare Mengen: https://youtu.be/po4AhjmWpR8?list=PLb0zKSynM2PBYzz6l37rWH3B_n_7P40QP * Grammatik für Java: https://docs.oracle.com/javase/specs/jls/se21/html/jls-19.html * Das Video im Playlist-Kontext: http://weitz.de/y/MikdP2-TlR4?list=PLb0zKSynM2PDUcEEkjv48Y_4N9CBFyzsz * 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