Berechenbarkeit #46: Äquivalenz von Monotonen Grammatiken und LBA 🧩

Entdecken Sie, wie lineare beschränkte Automaten (LBA) und monotone Grammatiken die gleichen Sprachen akzeptieren und erzeugen – ein faszinierender Einblick in die Theorie der Berechenbarkeit.

Berechenbarkeit #46: Äquivalenz von Monotonen Grammatiken und LBA 🧩
NLogSpace
1.8K views • Apr 5, 2020
Berechenbarkeit #46: Äquivalenz von Monotonen Grammatiken und LBA 🧩

About this video

Wir zeigen, dass linear beschränkte Automaten (LBA) und monotone Grammatiken genau die gleichen Sprachen akzeptieren bzw. erzeugen können. Wir orientieren uns an dem Beweis, dass Typ-0-Grammatiken genau die Turing-erkennbaren Sprachen sind, und zeigen, wie man diesen Beweis variieren kann, sodass man die Äquivalenz von monotonen Grammatiken und LBA erhält.

Tags and Topics

Browse our collection to discover more content in these categories.

Video Information

Views

1.8K

Likes

35

Duration

18:19

Published

Apr 5, 2020

User Reviews

4.5
(1)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.