驱动表

梗概：

• 即特殊的真值表
  • 与特征方程相反，现态和次态作为输入变量，触发器输入端作为输出变量

实例：

• child::^e82230