Изменения
Нет описания правки
* Операции, которые могут удалить всё кроме не измененной копии строки. Применяются, когда, симулированная на другой копии исходной строки, последовательность действий <tex>M</tex> привела к принимающему состоянию.
Более подробное доказательство приведено в книге<ref>[http://www.math.spbu.ru/user/mbk/PDF/| Мартыненко Б.К. Языки и трансляцииcтр. 115]</ref>.
}}
* [[Лямбда-исчисление]]
* [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]]
== Примечания ==
<references/>
== Источники информации ==
* Мартыненко Б.К. Языки и трансляции: Учеб. пособие ISBN 5-288-02870-2
* [http://drona.csa.iisc.ernet.in/~deepakd/atc-2011/lba.pdf| Linear Bounded Automata by Indu John]
