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: 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=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 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.