标签： automata pushdown-automaton
a）将以下CFG转换为Greibach范式的等效CFG
S→aAb | bAa | aSb | bSa A→aAa |λ
b）a）生成的语法转换为PDA
回答a） S→aAX | bAY | aSX | bSY A→aAY |λ X→b Y→a