Изменения

Перейти к: навигация, поиск

Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ

2 байта добавлено, 21:47, 3 января 2012
→‎Эквивалентность двухсчетчиковой машины машине Тьюринга
{{Лемма
|statement=<tex>\forall k</tex> и для любой <tex>k</tex>-счетчиковй счетчиковой машины <tex>\exists</tex> эквивалентная ей двухсчетчиковая машина.
|proof=
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/15544»

Навигация