Изменения

== Эквивалентность двухсчетчиковой машины машине Тьюринга ==

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

|proof=