Изменения
Нет описания правки
Из определения следует, что языком, принимаемым линейно ограниченным автоматом <tex>M</tex>, называется множество
<tex>L(M) = \{w \mid w \in (\Sigma \setminus \{\#, \$\})^*,</tex> <tex> \ (q0, \ \#w\$, \ 1) \vdash^*_M (q, \ \#\alpha\$, \ i), \ q \in F, \ \alpha \in \Gamma^*</tex><tex>, \ 1 \leqslant i \leqslant n, \ n = |w| + 2\}.</tex>
