CFG和PDA的语法完全嵌套括号和括号

Question

我必须为完全嵌套括号和括号的语法制作一个CFG和PDA。

S -> [S]
S -> (S)
S -> SS
S -> Epsilon

不确定这是否正确，或者如何从中制作PDA？

Answer 1

看看Spirit。这非常值得深度访问。

否则，你的语法很简单，recursive LL(1) parser应该很容易写。