问题描述
我正在学习自动机，但我遇到了与 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 之前.非常感谢提示解决方案
解决方法
提示 1：由于字符串是 xyxyxy... 形式的，所以你总是会在 x 部分遇到 1，然后在 y 部分遇到 1，即使 x和 y 部分相同。
提示 2：您将 x 部分中的 1 与 y 部分中的 1 进行匹配。在 x 中推送 1，在 y 中弹出 1。
提示 3：一旦弹出，就无法停止。 （即，提示 #2 本身是不够的，考虑像 100100 这样的字符串。）