17: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 23.01.2018

Theoretische Grundlagen der Informatik, Vorlesung, WS17/18

เนื้อหาจัดทำโดย Karlsruher Institut für Technologie (KIT) เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Karlsruher Institut für Technologie (KIT) หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

6+ y ago 1:25:38

MP4•หน้าโฮมของตอน

ซีรีส์ที่ถูกเก็บถาวร ("ฟีดที่ไม่ได้ใช้งาน" status)

When? This feed was archived on April 24, 2022 14:32 (2y ago). Last successful fetch was on March 31, 2021 15:27 (3y ago)

Why? ฟีดที่ไม่ได้ใช้งาน status. เซิร์ฟเวอร์ของเราไม่สามารถดึงฟีดพอดคาสท์ที่ใช้งานได้สักระยะหนึ่ง

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

17 | 0:00:00 Starten 0:00:24 Übersicht Chomsky-2 0:03:13 WDh.: Greibach-Normalform, Kellerautomat 0:09:07 Beweis 0:47:57 Korollar 0:48:46 Exkurs 0:50:37 Zwischenfazit zu kontextfreien Grammatiken 0:53:05 Unentscheidbare Probleme für kontextfreie Grammatiken 0:55:26 Das Post'sche Korrespondenzproblem 1:03:51 Eindeutigkeit von kontextfreien Grammatiken 1:05:26 Beweisskizze 1:09:07 Sprache der korrekten Rechenwege

19 ตอน