1288
правок
Конечный автомат: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 56: | Строка 56: | ||
<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>, т.е. | ||
<math>L(M)=\{\omega:\omega\in\Sigma^*</math> и | <math>L(M)=\{\omega:\omega\in\Sigma^*</math> и | ||