абстрактна

математична модель  з нескінченної стрічки  читання- запису символів і пристрою керування, який переміщується по

стрічці, змінює стан та виконує дії згідно з правилами

обчислювальна машина із змінними набором команд

обчислювальна машина з обмеженим набором команд