单项选择题

A.双向产生式系统
B.可交换的产生式系统
C.可分解的产生式系统
D.正向产生式系统