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