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: http://weitz.de/GDM/
* Das NEUE Buch: http://weitz.de/PP/
* Skript: http://weitz.de/files/ti-skript.pdf
* KORREKTUR: http://weitz.de/corr/GERllz5qW6o

* Das Video im Playlist-Kontext: http://weitz.de/y/GERllz5qW6o?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 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.