Аноним

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

Материал из WEGA
нет описания правки
Нет описания правки
Нет описания правки
Строка 72: Строка 72:
таких <math>a</math>, что <math>q\in\delta(p,a)</math>.
таких <math>a</math>, что <math>q\in\delta(p,a)</math>.


[[Файл:FSA.gif]]
[[Файл:Finite-state automation.gif]]


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