解析平衡括号CNF

Question

我有一个语法S -> (S)S | empty

我将它转换为像这样的Chomsky Normal Form

S -> AS | empty
A -> LB
B -> SR
L -> (
R -> )

我不确定我是否正确转换了它，但如何使用CNF解析此输入（）（）

Answer 1

反向执行以下推导：

Explicitwait