单项选择题

A.推导
B.规约
C.匹配
D.移进-规约