Was sind formale Sprachen? (Theoretische Informatik)

Was sind formale Sprachen und warum beschäftigt man sich in der Theoretischen Informatik mit ihnen? Die grundlegenden Begriffe: Alphabet, Wort, Konkatenation, Kleenesche Hülle, positive Hülle und so weiter. Dazu zwei ausführlichere Beispiele zu Primzahlzwillingen und zum 3-SAT-Problem der Aussagenlogik.
Das GANZ NEUE Buch: weitz.de/GDM/
Das NEUE Buch: weitz.de/PP/
Skript: weitz.de/files/...
KORREKTUR: weitz.de/corr/G...
Das Video im Playlist-Kontext: weitz.de/y/GERl...
Liste aller Videos: weitz.de/haw-vi...
Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
Allgemeine Anmerkungen: weitz.de/youtub...
00:00 Einführung
03:28 Alphabete und Symbole
06:17 Wörter
10:52 Das leere Wort
13:54 Die Länge eines Wortes
15:39 Konkatenation von Wörtern oder Symbolen
25:36 Konkatenation von Mengen
37:22 Kleenesche und positive Hülle
48:30 Formale Sprachen
53:50 Beispiel: Primzahlzwillinge
58:14 Beispiel: Aussagenlogik (3-SAT)
Corrections:
12:08 Beachten Sie bitte die Korrekturhinweise in der Videobeschreibung.