Berechenbarkeit #47: Das entscheidbare Wortproblem für Typ-1-Sprachen erklärt 🔍

Wir zeigen, dass das Wortproblem für Typ-1-Sprachen entscheidbar ist. Diese Aussage ist etwas unkonkret, eigentlich geht es um zwei verschiedene Probleme, nämlich das Wortproblem für monotone Grammatiken und das Wortproblem für linear beschränkte Automaten (LBA). Wir haben aber bereits gesehen, dass es Übersetzungen zwischen monotonen Grammatiken und LBA gibt, daher können wir uns auf eines der Probleme beschränken. Wir zeigen in diesem Video, dass das Wortproblem für LBA entscheidbar ist.