4194
правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 72: | Строка 72: | ||
таких <math>a</math>, что <math>q\in\delta(p,a)</math>. | таких <math>a</math>, что <math>q\in\delta(p,a)</math>. | ||
[[Файл:Finite-state automation.gif]] | [[Файл:Finite-state automation.gif|550px]] | ||
На рисунке приведены два конечных автомата, допускающих язык <math>\{a^n b^m: n>0, m>0\}</math>: | На рисунке приведены два конечных автомата, допускающих язык <math>\{a^n b^m: n>0, m>0\}</math>: |