Formale Grammatiken erklärt: Grundlagen der Theoretischen 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