border=0

Algoritmyske Postmasine

Yn feite hat Post, oars as Turing, de term "masine" net brûkt, mar neamde syn model in algoritmyske systeem. As gewoanlik is yn 'e literatuer, sille wy noch sprekke oer de postmachine, sadat de unity fan' e oanwêzingen fan beide auteurs klinkt [41].

Abstract Postmachine bestiet út in ûnfolsleine lint, ûnderferdield yn gelikense paragrafen, en ek in lês-skriuwkop. Elke paragraaf kin oeral leech wurde (dus it is neat ynskreaun), of folslein (markearre - dus in label is ynskreaun ). De begryp fan 'e tastân is ynfierd as ynformaasje oer hokker dielen leech binne en dy't markearre binne (oars: de tastân is de ferdieling fan etiketten tusken sektoaren, dus it is in funksje dy't oanjûn is in label of in teken foar elke nûmere seksnûmer "Lege"). Natuurlijk, yn 'e operaasje fan' e masine feroaret de tastân fan it tape. De steat fan 'e tape en ynformaasje oer de posysje fan' e kop karakterisearje de steat fan 'e postmasine .

Wy sille it akkoart hawwe om de kop te markearjen mei it "Ñ" teken boppe de ûndersocht seksje, en it label - mei it "M" teken yn it ûnderdiel. De lege paragraaf befettet gjin teken. Yn ien maatregel (it wurdt in stap neamd) kin de kop ien ien sek trochbrekke nei rjochts of lofts en plakken of in markearring wiskje. De wurking fan 'e Postmachine omfettet de oergong fan ien steat fan' e masine nei in oar yn oerienstimming mei in opjûne programma, dy't boud is út yndividuele kommando's. Elk kommando hat de folgjende struktuer: xKu, wêrby x it getal fan it kommando is útfierd; K - in oantsjutting fan 'e aksje dy't útfierd is; y is it getal fan it kommende kommando (opfolger). It systeem fan kommando's fan 'e masine wêrûnder seis aksjes wurdt presinteard yn tab. 7.1.

Tabel 7.1.

Dizze list moat oanfolle wurde troch de folgjende betingsten:

It kommando <xMy> kin allinich yn in lege paragraaf útfiert wurde;

It kommando <хСу> kin allinich tapasse wurde oan 'e folsleine seksje;

· It oantal fan 'e erfgenamt fan elke ploech (s) moat it tal fan it team passe, dat nedich is yn dit programma.

As dizze betinksten net foldien binne, komt in mislearre masineop stop, d. stopje oant it plante resultaat. Yn tsjinstelling ta dizze situaasje is de stop op 'e befêstiging <x stop> effektyf, d. It komt nei it resultaat fan 'e algoritme. Dêrnjonken is in situaasje mooglik as de masine noait stopet - dit bart as gjin fan 'e kommando's it stop-kommando-nûmer befetsje as in follower of it programma giet net nei dit kommando.

In oare boarne fan oertsjûging is de neikommende: om't de tekens fan in finite alfabet kin mei getallen kodearje kinne, kin de transformaasje fan it boarne wurd as in oantal nûmingsregelingsregels fertsjintwurdige wurde. Om dy reden is allinich de post (represintaasje) fan positive intekeningen yn 'e postmasine beskikber steld.

De ynteger k is skreaun op 'e tape fan' e postmasine troch middel fan k + 1 opfolgjende markearre dielen, d. it unarynûmerysteem wurdt brûkt (sjoch § 4.1). Neighbor ynfier fan nûmers op 'e tape wurde skieden troch ien of mear blanke seksjes. Hjirûnder is in foarbyld fan skriuwennûmers 0, 2 en 3.

It oanbod fan komputative problemen dy't troch de Postmachine oplost is is tige breed. Lykwols, lykas hjirboppe neamd, op it nivo fan 'e elemintêre stappen, komt it allegear del om it markearjen of fuortheljen fan' e kop te ferpleatsen. As foarbylden beskôgje in tal taken dy't tradisjoneel besprutsen binne yn 'e ûntwikkeling fan' e postmasine. Sûnt it type programma (ôfdieling fan masinekommando's) hinget fan 'e earste steat fan' e masine, moat it dúdlik oanjûn wurde yn 'e ferklearring fan it probleem.





Sjoch ek:

Foarwurd

Besykje fragen en taken

Kompjûterkodearring en ferwurking fan net-oardene intekeningen

Foarbyld 4.13

Objektfoarming

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ bibinar.info