Я должен сделать CFG и PDA для грамматики, которая имеет идеально вложенные скобки и скобки.
S -> [S]
S -> (S)
S -> SS
S -> Epsilon
Не уверен, что это правильно, или как сделать из него КПК?
Взгляни на Дух. Это действительно стоит глубоко визит.
В противном случае, ваша грамматика это так просто, что рекурсивный LL (1) парсер должно быть легко написать.
Других решений пока нет …