Конечный автомат: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
Строка 74: Строка 74:


На рисунке приведены два конечных автомата, допускающих язык <math>\{a^n b^m: n>0, m>0\}</math>:
На рисунке приведены два конечных автомата, допускающих язык <math>\{a^n b^m: n>0, m>0\}</math>:
<math>M_1</math> --- едетерминированный, <math>M_2</math> --- детерминированный полностью определенный.
<math>M_1</math> --- недетерминированный, <math>M_2</math> --- детерминированный полностью определенный.


== См. также ==
== См. также ==

Навигация