171
правка
Изменения
м
1) * <tex>v</tex> достижимо из стартового состояния <tex>s</tex>; 2) * из <tex>v</tex> достижимо какое-либо из допускающих состояний; 3) * из <tex>v</tex> по одному или более переходам достижимо <tex>v</tex>.
Нет описания правки
|statement=
[[Детерминированные конечные автоматы|Детерминированный конечный автомат]] <tex>A_{1}</tex> задаёт конечный язык тогда и только тогда, когда в <tex>A_{1}</tex> не существует состояния <tex>v</tex>, для которого выполняются три условия:
|proof=
