1023
правки
Конечный автомат: различия между версиями
Материал из WEGA
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 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>, т.е. | ||
