是否有一种算法可以从上下文相关语法变为线性有界自动机？

Question

我正在研究 LBA（线性有界自动机）。试图弄清楚如何解决一些练习。

所以我想知道是否有一种简单的方法可以在给定上下文相关语法的情况下制作 LBA。

这就像您如何从 LR 语法转到 DFA（确定性有限自动机）一样。

提前致谢

Answer 1

由于上下文相关语法没有任何收缩产生规则，您可以只使用穷举搜索。

从字符串开始，您可以不确定地选择要撤消的产生式。这不能增加输入的长度。重复直到您到达空字符串（在这种情况下您接受）或无法撤消任何生产（在这种情况下您拒绝）。

这是一个草图，但填写细节很简单。