Това е само предварителен преглед!
Машини с неограничени регистри
Всяка програма може да се приведе в еквивалентна на нея програма в стандартен вид. Нещо повече, можем да считаме, че една функция е изчислима точно когато е изчислима със стандартна програма....