Machine utáni - studopediya
Absztrakt (vagyis nincs igazi, hanem csak a képzeletben) Új gép és a Turing célja, hogy bizonyíték a különböző állításokat programok ezeket a tulajdonságaikat javasolt egymástól függetlenül (és szinte egy időben) 1936-ban, az amerikai matematikus Emil hozzászólás és az angol matematikus Allan Turing. Ezek a gépek sokoldalú előadóművészek, akik teljesen határozott, hogy „enter” az eredeti adatokat, és a program után, hogy „olvasni” az eredmény. Adjon gép kevésbé népszerű, de ez sokkal könnyebb a Turing-gép. Akkor tudja használni, hogy a képzésre az első készségek programozás számítógépek számára.
Az absztrakt automata nagyböjt egy végtelenített szalag van osztva egyenlő sejtek, amelyek mindegyike lehet üres vagy teli Tagged «V», és egy fej, ami mozog a szalag egyik cellából a jobbra vagy balra, hogy hatására a sejt szalag címke, ha ez a címke nem volt ott korábban, törölje a jelet, ha ez vagy egy pipa a ketrecben. Információ helyőrzővel sejtek szalagok jellemzi az állam a szalag, amit meg lehet változtatni működés közben a gép. Bármikor, a fej ( „-”) található, az egyik a szalagok és a sejteket állítólag elnézni. Tájékoztatás a helyét a fej és a szalag állapotát írja le az állam a Posta gép látható. 1.16.
Ábra. 1.16. Az absztrakt automata nagyböjt
Csapat Hozzászólás gép felépítése a következő:
ahol n - csapatok számát, K az akció vezetője által végzett, azaz - a szám a következő végrehajtandó utasítás.
Már csak hat csapat Posta gép látható. 1.17:
Ábra. 1.17. Hozzászólás gép parancsok
Helyzetek, amelyekben fej legyen, hogy alkalmazza a címkét, ahol rendelkezésre áll, vagy fordítva, hogy törli a címkét, ahol nincs jelen, abnormális (megengedhetetlen).
Program a Post gép fogják hívni egy nem üres parancsok listáját, oly módon, hogy 1) egy n-edik helyen csapat az n szám; 2) a több tonna minden csapat azonos a száma a parancsok listáját.
Ami a tulajdonságait algoritmusok vizsgálták segítségével a Post gép, a legérdekesebb az oka a gép leállítása, amikor a program:
1) megállási parancs "Stop"; ez megálló neve pontozás és rámutat arra, hogy a helyességét az algoritmus (program);
2) ha a stop illegális utasítás; ebben az esetben a megálló neve eredmény nélkül;
3) A gép soha nem áll; ebben és az előző esetben, van dolgunk hibás algoritmus (program).
Fogjuk megérteni a kezdeti állapotát fejét az üres cellákat a bal oldalon a bal oldali jel a szalagot.
Tekintsük a végrehajtása néhány tipikus eleme a Post gép programot.
1. Legyen egy kezdeti állapotban a fej és írnia kell egy üres kazettát két címke: az egyik részben a fej alatt, a második a jobb oldalon. Ezt megteheti az alábbi program (jobbra a parancs eredményét mutatja be a végrehajtás):
Ábra. 1.18. Példa Hozzászólás gép programelem
2. Megmutatjuk, hogyan lehet használni a feltételes elágazó utasítás a szervezet ciklikus folyamat. Hagyja, hogy a szalag egy rekord több védjegy egy sorban, és a fej felett a jelet a jobb oldalon. Azt akarja átadni a fej balra, amíg az első üres helyet.
A program a következő lesz:
Feltételes elágazás parancs egyik fő eszköze Szervezet ciklikus folyamatok, például a megállapítás az első címke a jobb (vagy bal) a fej fölött található egy üres sejt; megtalálni a bal (vagy jobb) a fejtől üres cellát, ha fölött helyezkedik el a címkét, stb
3. Nézzük meg a képviselete a számok a szalagon a Post gép és a műveletek őket.
A k képviseli a szalagon gépen nagyböjt egymást követő k + 1 címke (egy címke jelzi a szám a „O”). A két szám egy intervallum legalább egy üres rész a szalagon. Például Rekordszámú 3. és 5. a magnómat utáni fog kinézni:
Megjegyezzük, hogy használják a Posta gép számok rögzítési rendszer nonpositional.
Dolgozzon ki egy programot a hozzá tetszőleges számú egységet. Tegyük fel, hogy a kazettára felvett csak egy szám, és a fej fölé helyezzük az egyik sejtek, amelyekben a címke tartozik ez a szám:
A fej lehet mozgatni, hogy megoldja a problémát, hogy a bal (vagy jobb) az első üres cellába, majd ragassza fel.
A program, amely hozzáteszi, hogy a szám a jel a bal oldalon van:
A program, amely hozzáteszi, hogy a címke számát a jobb oldalon van a következő formában:
(Az egyetlen különbség a mozgás irányát a fej az első csapatban. Ellenőrizze a működését ezek a programok bármely konkrét példákat).
Tegyük fel, hogy a fej van elhelyezve, a parttól néhány sejt a bal oldalon a számát, amelyhez hozzá szeretné adni egyet. Ebben az esetben a program bonyolult. A „keresés blokkszámokat” - a két csapat, hogy vezesse a fejét, hogy az állam tárgyalt az előző példában:
Az alábbiakban - a teljes szöveg a program, hozzátéve, az egyik a bal, illetve jobb:
Az első esetben nem szükséges mozgatni a fejét, hogy a bal szélen a címke
4. Itt programot hozzá nem negatív egész, és egy üzenet és a gép, amikor a feje fölött a szám, és b az a szám a jobb és egy a cellák száma. Ez a program végrehajtja a következő algoritmus: az első szám fokozatosan hajlik a második, míg összeolvad, majd törölt egy címke (különben az eredmény lett volna eggyel több, mint a jobb oldalon).
Abban az esetben bonyolultabb kezdeti körülmények között, amikor az ismeretlen, jobbra vagy balra, a fej (és a sejtek száma) egy szám, akkor lehet kérni egy ilyen elv keresést: mozgó fej jobbra és balra, és figyelembe véve a védjegyek mértékét a fej eltávolítása a kiindulási helyzet, hogy megtalálják a számát, majd alkalmazza a jól ismert túlmenően a program. Ellenőrzi, hogy a feje felett helyezkedik el az egyik címke szám, és ha igen, a probléma megoldódott. Ellenkező esetben ellenőrizzük, hogy a metszet üres jobb oldalán a fejét, és követi; ha mindkettő üres, aztán vissza a fejét egy lépéssel, és tesz egy címkét, majd ugyanezt a műveletet hajtunk végre a bal és irány a jelzett ösvény vissza a jobb, stb mindaddig, amíg a fej nem a hit egy számot, akkor kérheti a korábban fent tárgyalt program:
Adjon gép lehet tekinteni, mint egy egyszerűsített számítógépes modellt. Tény, hogy a számítógépek és a gép Nagyböjt van:
• oszthatatlan adathordozók (sejt - bit), hogy lehet töltött vagy töltetlen;
• korlátozott számú elemi műveletek - csapatok, amelyek mindegyike
végezzük egy ciklusban (pitch).