1. 基于规则的正向演绎系统使用的条件是什么?基于规则的逆向演绎系统使用的条件是什么?

1、消解原理是一种用于A、表达式变换的推理规则B、变量运算的推理规则C、一定的子句公式的推理规则D、...

设有文法G[Z]：Z→U0|V1U→Z1|1V→Z0|0构造其状态转换图。