pushdown-automaton - 如何跟踪下推自动机的字符串索引？

Question

我必须构建这个 PDA，但我对如何跟踪字符串索引 xi 和 yi 感到困惑？提前致谢

构造一个接受 { x#y | 的 PDA x, y in {0, 1}* 使得 x ≠ y 和 xi = yi 对于某些 i, 1 ≤ i ≤ min(|x|, |y|) }。