4.2 Пост машинасы Абстрактілі Пост машинасы шексіз лента түрінде болады, ол жеке ұяшықтарға бөлінген, оған белгіні енгізеді немесе бастиек көмегімен белгіні жазады немесе оқиды.
i-2 i-1 i i+1 i+2
Лента немесе бастиек командаға байланысты бір қадам солға немесе оңға жылжиды. Лента бастиек қарама-қарсы ұяшыққа орналасатындай тоқтайды. Абстрактілі автоматтың құрамына төмендегі әрекеттердің біреуі кіреді:
Әрбір команданың өзінің і нөмірі болады. Стрелка жылжу бағытын көрсетеді. Команда соңындағы екінші j саны жөнелту (жіберу) деп аталады. Басқаруды беру командасында екі жөнелту болады. Сондықтан абстрактілі автомат екі қасиетке ие:
