Абстрактылы Пост машинасы шексіз лента тҥрінде болады, ол жеке ҧяшықтарға бӛлінген, оған белгіні енгізеді немесе бастиек кӛмегімен белгіні жазады немесе оқиды.
Лента немесе бастиек командаға байланысты бір қадам солға немесе оңға жылжиды. Лента бастиек қарама-қарсы ҧяшыққа орналасатындай тоқтайды. Абстрактылы автоматтың қҧрамына тӛмендегі әрекеттердің біреуі кіреді:
Әрбір команданың ӛзінің інӛмірі болады. Стрелка жылжу бағытын кӛрсетеді. Команда соңындағы екінші jсаны жӛнелту (жіберу) деп аталады.
Басқаруды беру командасында екі жӛнелту болады. Сондықтан абстрактылы автомат екі қасиетке ие:
бірінші орында нӛмір 1 команда, екінші орында 2 нӛмірі және т.с.с
кез-келген командадан жӛнелту бағдарлама командасы алынады.
Лентаны солға немесе оңға жылжытқаннан кейін бастиек ҧяшықтың қалып кҥйін оқиды (бос немесе белгі жазылған). Бос секциялар немесе белгіленген секциялар туралы ақпарат лентаның қалып кҥйін немесе автоматтың қалып кҥйін қҧрады. Автоматтың бағдарламасы деп командалардың бос емес шектелген тізімін айтамыз.
Абстрактылы автоматтың жҧмыс істеуі ҥшін бағдарлама және бастапқы кҥйін беру керек, яғни бастиектің орны мен лента ҧяшықтарының кҥйін беру керек. Әрбір команда бір қадамда орындалады, одан кейін жӛнелтуде кӛрсетілген нӛмірлі команданың орындалуы басталады. Егер команда екі жӛнелтуден тҧрса, егер бҥркеншік бос ҧяшықта тҧрса, онда жоғарғы жӛнелту орындалады. Егер бҥркеншік белгісі бар ҧяшықта тҧрса, онда тӛменгі жӛнелту орындалады. Басқаруды беру командасының орындалуы автоматтың кҥйін ӛзгертпейді (белгілердің бірде біреуі жойылмайды, қойылмайды және лента қозғалыссыз қалады). Автоматты іске қосқанда тӛмендегі жағдайлардың біреуі болуы мҥмкін:
автомат орындалмайтын командаға жетті (белгіні бос емес ҧяшыққа жазу, бос ҧяшықтағы белгіні ӛшіру); бҧл жағдайда орындалу аяқталады, автомат тоқтайды, нәтижесіз тоқтату болады.
автомат нәтижелі тоқтатуға да, нәтижесіз тоқтатуға да жетпейді, шексіз жҧмыс істеледі.
Пост машинасының типтік бағдарламасын орындау кезіндегі автомат жҧмысын қарастырамыз. Бастиектің бастапқы кҥйі берілген және бос лентаға екі белгі жазу керек.
Бастапқы кҥйі
M2
3
M3
Тоқта 3
Пост машинасында қолданылатын сандар позициялық емес.