40
правок
Изменения
Нет описания правки
== Эквивалентность двухстековой машины машине Тьюринга ==
{{Теорема
|statement=Язык <tex>L </tex> допускается машиной Тьюринга тогда и только тогда, когда он допускается двухстековой машиной.
|proof=
}}
