B1 | Deutsch für Fortgeschrittene: Was bedeutet es, wenn man einen Korb kriegt und wieso geht Liebe durch den Magen? Das sagt man so! stellt deutsche Redewendungen und Sprichwörter vor und erklärt den Kontext, in dem sie verwendet werden.
…
continue reading
เนื้อหาจัดทำโดย Karlsruher Institut für Technologie (KIT) เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดเตรียมโดย Karlsruher Institut für Technologie (KIT) หรือพันธมิตรแพลตฟอร์มพอดแคสต์โดยตรง หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่อธิบายไว้ที่นี่ https://th.player.fm/legal
Player FM - แอป Podcast
ออฟไลน์ด้วยแอป Player FM !
ออฟไลน์ด้วยแอป Player FM !
Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 27.01.2017, 23
MP4•หน้าโฮมของตอน
Manage episode 188269711 series 1580637
เนื้อหาจัดทำโดย Karlsruher Institut für Technologie (KIT) เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดเตรียมโดย Karlsruher Institut für Technologie (KIT) หรือพันธมิตรแพลตฟอร์มพอดแคสต์โดยตรง หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่อธิบายไว้ที่นี่ https://th.player.fm/legal
23 | 0:00:00 Starten 0:00:05 Beispiel einer nicht erkennbaren Sprache 0:03:01 Beispiel einer nicht erkennbaren Sprache (2) 0:06:44 Beispiel einer nicht erkennbaren Sprache (3) 0:12:49 Was ist wichtig 0:14:26 Zusammenfassung 0:15:48 Was können endliche Akzeptoren 0:16:20 Überblick 0:18:46 Der Begriff regulärer Ausdruck hat heute verschiedene Bedeutungen 0:19:49 Definition regulärer Ausdrücke (1) 0:22:58 Beispiele 0:23:44 Klammereinsparungsregeln 0:25:01 Beispiele für Klammereinsparungsregeln 0:26:05 Nichtbeispiele 0:27:31 Definition der Syntax regulärer Ausdrücke 0:29:03 Ableitungsbaum eines regulären Ausdrucks 0:29:44 Durch R beschriebene formale Sprache 0:30:55 Beispiele für 0:32:44 Bestimmung von entlang des Ableitungsbaums von R 0:34:08 Wie ist das denn eigentlich? 0:35:24 Äquivalenz regulärer Ausdrücke 0:37:40 Weitere Beispiele für 0:40:26 RFC 5322: Internet Message Format 0:43:01 RFC 5322, Abschnitt 3.3: Date and Time Specification, fast wörtlich: 0:45:39 Datums- und Zeitangaben in Emails (2) 0:46:28 Datums- und Zeitangaben in Emails (3) 0:48:07 Charakterisierungen regulärer Sprachen 0:50:46 Zum Beweis des Satzes 0:53:39 Was ist wichtig 1:00:13 Rechtslineare Grammatiken: Definition 1:01:58 Rechtslineare Grammatiken: Beispiele 1:04:06 Rechtslineare Grammatiken: Nichtbeispiel 1:04:52 Sprechweisen 1:06:53 Vorteil rechtslinearer Grammatiken 1:07:54 Ziel dieses Abschnittes 1:09:18 Mit Kantorowitsch-Bäumen kann man z.B. reguläre Ausdrücke repräsentieren 1:10:53 Regex-Bäume - etwas genauer 1:12:17 Vollständige Induktion über die Baumhöhe 1:13:33 Vollständige Induktion über die Baumhöhe - ein Problem 1:15:08 Erinnerung: Verallgemeinerung vollständiger Induktion 1:15:49 Induktion über die Höhe der Regex-Bäume 1:17:49 Skizze des Induktionsschritts (1) 1:18:45 Skizze des Induktionsschritts (2) 1:21:07 Strukturelle Induktion 1:22:25 Zusammenfassung
…
continue reading
27 ตอน
MP4•หน้าโฮมของตอน
Manage episode 188269711 series 1580637
เนื้อหาจัดทำโดย Karlsruher Institut für Technologie (KIT) เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดเตรียมโดย Karlsruher Institut für Technologie (KIT) หรือพันธมิตรแพลตฟอร์มพอดแคสต์โดยตรง หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่อธิบายไว้ที่นี่ https://th.player.fm/legal
23 | 0:00:00 Starten 0:00:05 Beispiel einer nicht erkennbaren Sprache 0:03:01 Beispiel einer nicht erkennbaren Sprache (2) 0:06:44 Beispiel einer nicht erkennbaren Sprache (3) 0:12:49 Was ist wichtig 0:14:26 Zusammenfassung 0:15:48 Was können endliche Akzeptoren 0:16:20 Überblick 0:18:46 Der Begriff regulärer Ausdruck hat heute verschiedene Bedeutungen 0:19:49 Definition regulärer Ausdrücke (1) 0:22:58 Beispiele 0:23:44 Klammereinsparungsregeln 0:25:01 Beispiele für Klammereinsparungsregeln 0:26:05 Nichtbeispiele 0:27:31 Definition der Syntax regulärer Ausdrücke 0:29:03 Ableitungsbaum eines regulären Ausdrucks 0:29:44 Durch R beschriebene formale Sprache 0:30:55 Beispiele für 0:32:44 Bestimmung von entlang des Ableitungsbaums von R 0:34:08 Wie ist das denn eigentlich? 0:35:24 Äquivalenz regulärer Ausdrücke 0:37:40 Weitere Beispiele für 0:40:26 RFC 5322: Internet Message Format 0:43:01 RFC 5322, Abschnitt 3.3: Date and Time Specification, fast wörtlich: 0:45:39 Datums- und Zeitangaben in Emails (2) 0:46:28 Datums- und Zeitangaben in Emails (3) 0:48:07 Charakterisierungen regulärer Sprachen 0:50:46 Zum Beweis des Satzes 0:53:39 Was ist wichtig 1:00:13 Rechtslineare Grammatiken: Definition 1:01:58 Rechtslineare Grammatiken: Beispiele 1:04:06 Rechtslineare Grammatiken: Nichtbeispiel 1:04:52 Sprechweisen 1:06:53 Vorteil rechtslinearer Grammatiken 1:07:54 Ziel dieses Abschnittes 1:09:18 Mit Kantorowitsch-Bäumen kann man z.B. reguläre Ausdrücke repräsentieren 1:10:53 Regex-Bäume - etwas genauer 1:12:17 Vollständige Induktion über die Baumhöhe 1:13:33 Vollständige Induktion über die Baumhöhe - ein Problem 1:15:08 Erinnerung: Verallgemeinerung vollständiger Induktion 1:15:49 Induktion über die Höhe der Regex-Bäume 1:17:49 Skizze des Induktionsschritts (1) 1:18:45 Skizze des Induktionsschritts (2) 1:21:07 Strukturelle Induktion 1:22:25 Zusammenfassung
…
continue reading
27 ตอน
ทุกตอน
×ขอต้อนรับสู่ Player FM!
Player FM กำลังหาเว็บ