问题描述
我们如何证明：
线性有界PDA语言类∼CFL类
我知道对于线性有界 PDA，有一个常数 k，使得 w 的堆栈大小至多为 k|w|。我还阅读了有关 PDA 和 CFL 的内容，并且知道下推自动机本质上是具有堆栈的有限自动机
存储和语法 G = (V,T,S,P) 被称为是上下文无关的，如果所有产生式
在 P 有形式
A → x
如何用它来证明它们是等价的？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）
