如何跟踪Pushdown Automaton的字符串索引？

Question

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

  

    

构建一个接受{x＃y |的PDA x，y在{0,1} *中，使得x≠y，xi = yi     一些i，1≤i≤min（| x |，| y |）}。