Аноним

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

Материал из WEGA
нет описания правки
Нет описания правки
Нет описания правки
Строка 54: Строка 54:


Автомат <math>M</math> ''допускает'' цепочку <math>\omega\in\Sigma^*</math>, если
Автомат <math>M</math> ''допускает'' цепочку <math>\omega\in\Sigma^*</math>, если
<math>(q_0,\omega)\vdash_{M}^{*}(q,e)</math> для некоторого <math>q\in F</math>. ''
<math>(q_0,\omega)\vdash_{M}^{*}(q,e)</math> для некоторого <math>q\in F</math>.  
Языком'', ''определяемым'' (''распознаваемым'', ''допускаемым'')
 
Языком, ''определяемым'' (''распознаваемым'', ''допускаемым'')
автоматом <math>M</math> (обозначается <math>L(M)</math>), называется множество
автоматом <math>M</math> (обозначается <math>L(M)</math>), называется множество
входных цепочек, допускаемых автоматом <math>M</math>, т.е.
входных цепочек, допускаемых автоматом <math>M</math>, т.е.