1207
правок
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 73: | Строка 73: | ||
[[Файл:FSA.gif]] | [[Файл:FSA.gif]] | ||
На рисунке приведены два конечных автомата, допускающих язык <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> --- детерминированный полностью определенный. | ||