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