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> и | ||