Изменения
→Связь линейно ограниченных автоматов с контекстно-зависимыми языками
* Операции, которые могут удалить всё кроме не измененной копии строки. Применяются, когда, симулированная на другой копии исходной строки, последовательность действий <tex>M</tex> привела к принимающему состоянию.
Более подробное доказательство приведено в книге <ref>[Мартыненко Б.К. Языки и трансляции]</ref>.
}}
