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.
Негізгі бет Was sind formale Sprachen? (Theoretische Informatik)
Пікірлер