问题描述
我正在学习自动机，但我遇到了与 PDA 相关的问题
为语言 L = { 构造一个 PDA w = x1y1x2y2….xnyn |其中 w 属于 {0,1}*，并且字符串 y1y2....yn 与 x1x2....xn 相同，除了 y 中的 1 在 0 之后} 例如，字符串 100111 属于 L，因为 x=101 和 y=011。所以 做字符串 0011、00、1111、100001 等。但是，字符串 0110、11111001、1100、01、10 不做 属于 L。 为简单起见，在 PDA 的构造中假设输入由符号对组成 其中第一个属于 x，第二个属于 y。因此输入字母表是 Σ = {00,01,10,11}。
我意识到我必须以某种方式从堆栈中压入/弹出，以保证 x 中的相同输入出现在 y 中，其中 0 出现在 1 之前 a 但问题是如何检查 y 中的 0 是否出现在 1 之前.非常感谢提示解决方案
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）