Изменения

Перейти к: навигация, поиск
Эквивалентность двухсчетчиковой машины машине Тьюринга
== Эквивалентность двухсчетчиковой машины машине Тьюринга ==
{{Лемма1
|statement=Язык <tex>L</tex> допускается машиной Тьюринга тогда и только тогда, когда он допускается трехсчетчиковой машиной.
|proof=
Анонимный участник

Навигация