На основе трансфинитной индукции можно построить что-то вроде машины Тьюринга, но помощнее, на эту тему даже написано несколько статей. Представим себе реализацию C/C++ на такой машине: 1) память никогда не кончается, 2) линейного стека нет, стекфреймы никогда не уничтожаются, 3) после любого цикла/рекурсии со счетным числом шагов выполнение
(
Read more... )
Comments 4
Reply
скорее всего, есть какие-то готовые решения.
Reply
Как у тебя дела, что в жизни происходит?
Reply
в нуйорке, работаю, в традиционных планах вернуться асап. так, ничего интересного не происходит.
Reply
Leave a comment