Изменения
→Связь линейно ограниченных автоматов с контекстно-зависимыми языками
'''3.''' Подпрограмма недетерминированно выбирает, возвращаться ли к шагу 1, либо идти на выход.
'''4.''' При выходе из подпрограммы первая дорожка все еще будет содержать строку <tex>x</tex>, в то время как вторая дорожка будет содержать некоторую строку <tex>\gammay</tex>, такую, что <tex>S \Rightarrow^*_M \gammay</tex>.
}}
== См. также ==
* [[Машина Тьюринга]]
