T'触发器

特征方程

$Q^{n+1}=\overline{Q^n}$

• child::现态与次态