是否存在从上下文敏感语法到线性有界自动机的算法？

Question

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

所以我想知道是否有一种简单的方法可以根据上下文敏感的语法制作LBA。

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

提前致谢

Answer 1

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

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

这是一个草图，但填写详细信息很简单。