3622
правки
Изменения
м
→Связь линейно ограниченных автоматов с контекстно-зависимыми языками
* Операции, которые могут удалить всё кроме не измененной копии строки. Применяются, когда, симулированная на другой копии исходной строки, последовательность действий <tex>M</tex> привела к принимающему состоянию.
Более подробное доказательство приведено в книге<ref>[http://www.math.spbu.ru/user/mbk/PDF/| Мартыненко Б.К. Языки и трансляции cтр. 115]</ref>.
}}
