38
Басқаруды беру командасында екі жӛнелту болады. Сондықтан абстрактылы
автомат екі қасиетке ие:
Команда
лентаның қалып-кҥйі
командаға дейін
командадан кейін
Бастиекті оңға жылжыту
m
Бастиекті
солға жылжыту
m
Белгіні жазу M
m
Белгіні ӛшіру C
m
Басқаруды беру
2
1
?
m
m
Тоқта тоқта
n
1) бірінші орында нӛмір 1 команда, екінші орында 2 нӛмірі және т.с.с
2) кез-келген командадан жӛнелту бағдарлама командасы алынады.
Лентаны солға немесе оңға жылжытқаннан кейін бастиек ҧяшықтың қалып
кҥйін оқиды (бос немесе белгі жазылған). Бос секциялар немесе белгіленген
секциялар туралы ақпарат лентаның қалып кҥйін немесе автоматтың қалып
кҥйін қҧрады. Автоматтың бағдарламасы
деп командалардың бос емес
шектелген тізімін айтамыз.
Абстрактылы автоматтың жҧмыс істеуі ҥшін бағдарлама және бастапқы
кҥйін беру керек, яғни бастиектің орны мен лента ҧяшықтарының кҥйін беру
керек. Әрбір
команда бір қадамда орындалады, одан кейін жӛнелтуде
кӛрсетілген нӛмірлі команданың орындалуы басталады. Егер команда екі
жӛнелтуден тҧрса, егер бҥркеншік бос ҧяшықта тҧрса, онда жоғарғы жӛнелту
орындалады. Егер бҥркеншік белгісі бар ҧяшықта тҧрса, онда тӛменгі жӛнелту
орындалады. Басқаруды беру командасының орындалуы автоматтың кҥйін
ӛзгертпейді (белгілердің бірде біреуі жойылмайды,
қойылмайды және лента
қозғалыссыз қалады). Автоматты іске қосқанда тӛмендегі жағдайлардың біреуі
болуы мҥмкін:
1) автомат орындалмайтын командаға жетті (белгіні бос емес ҧяшыққа
жазу, бос ҧяшықтағы белгіні ӛшіру); бҧл жағдайда орындалу аяқталады,
автомат тоқтайды, нәтижесіз тоқтату болады.
2) автомат тоқта командасына жетті,
бағдарлама орындалды деп
есептеледі, нәтижелі тоқтату болады.
3) автомат нәтижелі тоқтатуға да, нәтижесіз тоқтатуға да жетпейді, шексіз
жҧмыс істеледі.
Пост машинасының типтік бағдарламасын орындау кезіндегі автомат
жҧмысын қарастырамыз. Бастиектің бастапқы кҥйі берілген және бос лентаға
екі белгі жазу керек.
39
Бастапқы кҥйі
1.
M 2
2.
3
3.
M 3
4.
Тоқта 3
Пост машинасында қолданылатын сандар позициялық емес.
Достарыңызбен бөлісу: