Изменения
→Определение
* <tex>Q_a \subset Q</tex> — множество допускающих состояний
* <tex>Q_r \subset Q</tex> — множество опровергающих состояний
* <tex>Q_{non} = Q-\setminus (Q_a + \bigcup Q_r), Q_{non} \subset Q </tex> — множество промежуточных состояний
}}
