Ондық сандарды оналтылық санау жүйесіне ауыстыру

Ондық сандарды оналтылық жүйеге жоғарыдағы ұқсас ауыстырады. Айырмашылығы –берілген сан 8-дің орнына 16-ға бөлінеді.

Абстрактілі  Пост  машинасы    шексіз    лента    түрінде    болады,    ол    жеке 

ұяшықтарға  бөлінген,  оған  белгіні  енгізеді  немесе   бастиек  көмегімен   белгіні 

жазады немесе оқиды. Лента немесе бастиек командаға байланысты бір қадам солға 

немесе оңға жылжиды.  Лента  бастиек  қарама қарсы  ұяшыққа  орналасатындай  тоқтайды. 

Абстрактілі автоматтың құрамына төмендегі әрекеттердің біреуі кіреді: 

Әрбір  команданың  өзінің  і  нөмірі  болады.  Стрелка  жылжу  бағытын 

көрсетеді.  Команда  соңындағы  екінші  j  саны  жөнелту  (жіберу)  деп  аталады. 

Басқаруды  беру  командасында  екі  жөнелту  болады.  Сондықтан  абстрактілі 

автомат екі қасиетке ие.

Пост машинасының шарттары:

Егер осы шарттар орындалмаса, машинаның нәтижесіз тоқтатылуы болады, яғни, жоспарланған нәтижеге алынудан бұрын тоқтатылу орындалады.

Әрбір команданың структурасы ХКУ болсын,

Х – орындалатын команда нөміHYPERLINK "http://engime.org/tjkb-jimdarini-institucionaldi-rejtingisine-arnalfan-1-saualna.html"рHYPERLINK "http://engime.org/tjkb-jimdarini-institucionaldi-rejtingisine-arnalfan-1-saualna.html"і,

К – орындалатын әрекет туралы нұсқау,

У – келесі команда нөмірі. 

№	команда	Командалардың жазылуы	Машина әрекетінің сипаттамасы
1	Оңға қадам	ХУ	Инені оңға қарай 1 секцияHYPERLINK "http://engime.org/saba-reti-6-sinip-kni-sabati-tairibi.html"ға жылжыту
2	Солға қадам	ХУ	Инені солға қарай 1 секцияға жылжыту
3	Белгі салу	Х V У	Секцияға белгі қойылады
4	Белгіні өшіру	Х x У	Секциядан белгі өшіріледі
5	Басқаруды ауыстыру	Х У1 У2	Секцияда белгі жоқ болса басқару у1командасына, әйтпесе у2 командасына беріледі
6	тоқтату	Х стоп !	Машина жұмысын тоқтатады
7	Тармақты ұйымдастыру	? a; b	Ұяшықты қарау, егер ұяшықта 0 тұрса, ондаHYPERLINK "http://engime.org/puebl-processi-sheberinde-migranttardi-anitau-jene-ajta-bafitt.html" а номерлі командаға көші, әйтпесе b нөмірлі командаға көшу.

Бұл әрекеттерге қойылатын қосымша шарттар:

ХМУ командасы бос секцияда орындалмайды 

• ХсУ командасы толық секцияда орындалады 

  
  

• У командасының нөмірі программадағы бар команда нөмірімен сәйкес болуы керек. 

  
  

Егер келтірілген шарттар сақталмаса, онда машина нәтижесіз жұмысын аяқтайды. Х стоп командасы нәтижелі орындалады. Себебі, ол өзінің алдындағы әрекеттер орындалып барып солардың нәтижесінде орындалады. Кейде машина тоқтамауы мүмкін, егер командалардың ешқайсысында тоқтау командасына көшу нөмірі болмаса.

Post машина  - абстрактілі есептеу машина , ұсынған Эмиль Post жылы 1936 , тәуелсіз құрылды Тьюринг машинасының , бірақ машина кейінгі Хабар бірнеше айдан кейін жарияланады. Бұл машиналар Turing машинасынан қарапайымдылығымен ерекшеленеді, ал екеуі де алгоритмдік «эквивалент» болып табылады және екеуі де алгоритм тұжырымдамасын ресімдеуге және алгоритмдік шешуге қабілеттілік мәселелерін шешуге арналған, яғни Пост машинасына арналған командалардың реттілігі нысанында алгоритмдік мәселені шешеді.

Post машинасы тасымалданатын (немесе оқу және жазу басы) және шексіз таспаны камераларға бөледі. Таспаның әр ұяшықтары екі жағдайда болуы мүмкін - бос 0немесе жапсырмамен белгіленген болуы мүмкін 1. Машинаның жұмыс циклі кезінде таспалар бір позицияны солға немесе оңға жылжытады, санайды, таңбасын оның ағымдағы күйінде өзгертеді.

Пост-машинаның жұмысы соңғы сызықтардың санынан тұратын бағдарламамен анықталады . Құрылғыны басқару үшін, бағдарламаны және оның бастапқы күйін (яғни таспаның күйі мен тасымалдау орнын) орнату керек. Тасымалдау кез келген командада секіруге болатын сызығы бар нөмірленген, міндетті түрде реттелмеген, командалардың жолдарынан тұратын бағдарламамен бақыланады. Әдетте әдетте коммутаторда көшу көрсетілмесе, көшу келесі жолға өтеді деп болжанады. Әрбір командада келесі синтаксис бар:

i. K j

i командалық нөмір қай жерде K , тасымалдау шарасы j - келесі пәрменнің нөмірі (жіберу).

V j - белгіні қойыңыз j, бағдарламаның жолына өтіңіз ;

X j - жапсырманы өшіріңіз, j сызыққа өтіңіз

← j - солға жылжытыңыз, бірінші жолға өтіңіз j;

→ j - барып, оңға жылжыту jші қатарда;

? j1; j2 - егер ұяшықта жапсырма жоқ болса, онда j1бағдарламаның бірінші жолына өтіңіз, әйтпесе - бірінші жолға өтіңіз j2;

! - бағдарламаның соңы («тоқтау», тоқтату).

«Stop» пәрменінде келесі жолға өту көрсетілмейді.

Іске қосу бағдарламасынан кейін опциялар мүмкін:

жұмысты орындау мүмкін емес пәрменмен аяқталуы мүмкін (белгісіз белгіні жою немесе белгілі бір өріске жазу);

жұмыс тоқтату командасымен аяқталуы мүмкін;

жұмыс ешқашан аяқталмайды.

Мысал [ өңдеу | өңдеу коды ]

Табиғи (неотрицательные бүтін сандардың) P және Q сандарын қосу және алып тастау үшін оларды таспада P бірліктерінің жиынтығы ретінде ұсынуға болады және Qбір-бірінен нөлге бөлінеді; Тасымалдаудың бастапқы позициясы Q (« ⇓» таңбамен белгіленген ) ең жоғарғы «1» тобында болады :

         ⇓

…00111110111000…

   ╚═══╝ ╚═╝

     P    Q

Бағдарлама шегеру осы сандарды дәйекті өзгерістер сол жақ шеткі «тұрады 1» у өкілдіктері Q және оң « 1жағындағы,» тұсаукесер P . Бағдарламаның басында каретка кезінде сол жақ шеткі «1» орнатылған Q :

1. ←      - қадам қалды

2. ? 1; 3 - егер ұяшық бос болса, 1қадамға барыңыз , егер болмаса - барыңыз3

3. X      - жапсырманы алып тастаңыз

4. →      - қадам оң

5. ? 4; 6 - егер ұяшық бос болса, 4қадамға барыңыз , егер болмаса - барыңыз6

6. X      - жапсырманы алып тастаңыз

7. →      - қадам оң

8. ? 9; 1 - егер ұяшық бос болса, 9қадамға өтіңіз, егер болмаса - барыңыз1

9. !      - аяғында

5-ші жолда, егер болса, айналдыруға болады {\ displaystyle Q> P}.