Belépés

1936-ban Alan Turing, hogy tisztázza az algoritmus megértését, egy absztrakt univerzális koncepciót javasolt. A jógó absztraktsága abban rejlik, hogy a hiba egy logikai számítási konstrukció, nem pedig egy valódi számítási gép. Az "univerzális vykonovets" kifejezés azokra vonatkozik, akik bármilyen más vikonovetet képesek utánozni. Például a valódi gépeket számláló műveletek szimulálhatók egy univerzális számlálógépen. A Turing által feltalált Nadal egy felsoroló konstrukciót Turing-gépnek neveztek.

Adott módszer lejáratú papírok Olyan programok létrehozása, amelyek a Haskell funkcionális programozásával valósítják meg a Turing-gépet. A fenékhez a T'uring gép kerül megvalósításra, amelyet a tizedik szám 2-vel való megszorzására ismer fel.

A cél eléréséhez szükséges egy ilyen feladat kidolgozása: elsajátítani a Turing-gép robot alapelveit, її mellékleteket, megnézni az algoritmikusan megoldatlan problémákat, megválasztani az adatok szerkezetét, leírni a megvalósítandó függvényeket, valamint alkalmazások robotprogramokhoz.

A Tyuring gép főbb rendelkezései

A Turing-gép Alan Turing angol matematikusról kapta a nevét, amelyet 1937-ben mondott ki. az algoritmusok formális megadásának módja egy segédabsztrakt géphez. A robot lényege, hogy megtámadják. Potenciálisan nyúzatlan vonal, komiszúrákra oszlik, ezek bőrén az ősi ábécé egyetlen szimbóluma lehet. Tyuring gépe egy olvasó/író fej, így lehetővé teszi, hogy beolvass egy karaktert a stream közepén, írj egy karaktert a központba, és a fejet balra vagy jobbra rombold a másik központba. A gép diszkréten működik, ciklusoknak és skin ciklusoknak megfelelően, az egyik lehetséges állomáson, például az utolsó számon vált. A skin fogadáshoz (kábítás, körülnézés egy szimbólumon) egy hármas van hozzárendelve (szimbólum íródik, fejrohanás, új kábítás). A csutkához a Turing-gép áll a csutkán, és az írás-olvasás feje a legüresebb középső sorait nézi. Ilyen módon a fekete szimbólumra nézve a gép felír egy új szimbólumot (lehet, hogy ugyanazt), a fejet balra, jobbra roncsolja, vagy a helyén hagyja és az új táborba megy, ill. a nagyban marad.

A Turing-gép három részből áll: vonalakból, amelyek beolvassák (írják) az adott logikai csatolmány fejeit, amelyek jól láthatóak a kis 1-ben.

A vonal úgy beszél, mint az emlékezés. Ő vvazhaetsya körülmetéletlen (nyúzatlan). Már most érdemes megemlíteni, hogy a Turing-gép egy modell-melléklet, egy valódi melléklet szilánkjai nem viselik el a kimeríthetetlen rozmіru emlékét.

Malyunok 1 - A Tyuring gép sémája

A Turing-gép az aktuális kor előtti A = (_, a1…an) ábécére működik – ezt az ábécét ábécének nevezik. Az újon egy speciális szimbólum van - _, címek üres jellel - a középső első parcella törli a korábban ott ismert jelet, és kitölti az üres közepét. A sor közepén lévő skinek egynél több karaktert tartalmazhatnak. A vonalakra felvett információ a régi ábécé utolsó jelsorozata, üres jel formájában.

A fej tartósan az egyik középső vonal fölé van varrva. A robotot ciklusokban játsszák (crooks). A fejverési parancsok rendszere rendkívül egyszerű: a bőrütésen a jelet változtassa középre, körülnézve, ai aj jellel. Amikor csak teheti, kérem:

1) aj \u003d ai - azt jelenti, hogy középen, ha körülnéz, a jel nem változik;

2) ai? _, aj \u003d _ - ami középről van véve, a jel helyébe egy üres, tobto kerül. törölni kell;

3) ai = _, aj? _ - a helyettesített üres karakter nem üres (a j számmal az ábécében), tehát. ellop beszúrás jele;

4) ai? aj? _ - egyik karakter helyettesítése egy másikkal.

Ily módon a Tyuring gép egy marginálisan egyszerű parancsokból álló rendszert valósít meg az információ feldolgozására. A feldolgozásra szolgáló parancsrendszer is kiegészül egy határvonalas egyszerű parancsrendszerrel a sorok mozgatására: balra, jobbkezesre és a ház elhagyására, tobto. a középen lévő címek a parancs hatására vagy 1-re változhatnak, vagy változatlanok maradhatnak.

Ha azonban ténylegesen mozgatni akarja a vonalat, úgy hangzik, mintha a szakasz fejét nézné, és körülnézne. Ehhez a sor balra mozgatására vonatkozó parancsot R (jobbra), jobbra - L (balra), jobbra - S (Stop) jelzéssel jelzi. Egyszerre mondjuk a fejhangról és egyben R, L és S parancsokkal її ruhu.

Ezeknek a parancsoknak az elemi jellege azt jelenti, hogy ha kell, akkor egy kisvállalkozás számára megfelelő helyre kerülhet, nem kell semmit tudnia egy kisvállalkozás lándzsa segítségéhez. Nyilván fontos, hogy folytassuk a feldolgozási folyamatot, majd engedjük, hogy a középső és az alternatív parancsok számozása menjen a címre. néhány igazán elemi rövidítés, ami elméleti szempontból fontos.

Az információ feldolgozását és a jelek írásához szükséges parancsok típusát, valamint a zsuv-sorokat egy Turing-gépben egy logikai kiterjesztés (LU) végzi. LU lehet az egyik stanіv, ha teljesítik a végső szorzót, és hozzá vannak rendelve Q = (q1…qm, q0) , sőt, a q0 tábor megerősíti a munka befejezését, és q1 є pochatkovym (vakáció). Q az R, L, S jelekkel együtt jóváhagyja a gép belső ábécéjét. Az LU-nak két bemeneti csatornája (ai, qi) és három kimeneti csatornája van (ai+1, qi+1, Di+1). A Turing-gép LU sémája kicsi 2-ként van ábrázolva.

Malyunok 2 - A Tyuring gép LU diagramja

Értsd a sémát a szükséges megközelítéssel: az i. lépésben a helyiségből egy táblát adnak az LU egyik bejáratához, amely visszanéz az adott pillanatra (ai), a következő bejáraton pedig egy táblát, amely a tábor táborát jelzi. az LU az adott pillanatban (qi). Az ugarban az eltávolított jelváltozások (ai, qi) és az LU feldolgozására vonatkozó szabályok fényében rezeg, és az első kilépési csatornán át egy új jelet (ai + 1) küld középre, megadva a parancs a fej mozgatására (Di + 1 z R, L і S), valamint parancsot ad a támadó pozícióba való mozgásra (qi+1). Ebben a sorrendben támad a Turing robotgép elemi kancsalsága (tapintása) a támadójátékban: a fej középről olvassa le a szimbólumot, mit nézel körül, і, a körödben elakadt és elolvassa a szimbólumot, a vikonu parancsot, amelyben hozzá van rendelve, melyik szimbólumot írják (vagy törölték), és melyik ruh zdіysniti . Amikor tsomu megyek az új táborba. Egy ilyen gép működési sémája a 3. ábrán látható.

3. ábra - A Turing-gép működési vázlata

Ebben a sémában a külső és a belső memóriájába került. A Zovnisnyát úgy mutatják be, ahogyan annak szánták, mint egy vágatlan vonalat - a Zovnisny ábécé szimbólumaiba kódolt információgyűjtési varta. A belső memóriát két középső jelöli a támadóparancs felvételéhez egy áramlási ciklussal: Q átkerül az LU-ból, és egy támadó állomás kerül felvételre (qi + 1), D pedig a zsuvu parancsa (Di + 1). Z Q a vonal mentén zvorotny zv'azku qi+1 az LU-hoz való ugráshoz, ugyanaz, mint a D paranccsal a viconic mechanizmushoz való ugráshoz, szükség szerint mozgatva a sort egy pozícióval jobbra vagy balra.

Egy általánosabb szabály, amely szerint a Turing-gép működik, a következőképpen írható fel: qi aj > qi "aj" Dk, akkor. miután megnéztük az aj szimbólumot fejjel a qi állomáson, az aj szimbólumot beírják a komisszárba, a fej a qi állomásra megy, és a sort a ruh Dk helyettesíti. A qi aj bőrkombinációnál egy átalakítási szabály van (a q0-ra, szilánkra nincs szabály, az egész táborban való ivás után beindul a gép). T -renderelés, a megvalósítás logikai blokkja, puskhniye paradicsomi pár qi qi qi qi one, az egyik trigue qi "aj" dk az, hogy a látástáblázatokkal (működési sémákkal) álló és soraival a kiesett géphez jöjjön. a régi ábécé. A zvnіshny ábécé n és a stanіv LU m számának jeleként nyilvánvalóan kirívó szám módosítsa a szabályokat nЧm-re.

Egy adott Turing-gép hozzá van rendelve az A és Q halmazok elemeinek átrendezéséhez, és egy logikai függvény létrehozásához, amely megvalósítja az LU-t, tobto. transzformációs szabályok összessége. Nyilvánvaló, hogy az A, Q és különböző halmazai vannak logikai függvények hogy talán megbocsáthatatlanul gazdag azt. és Tyuring gépei is végtelenül gazdagok.

Azt is meg kell érteni, hogyan kell gépeket váltani, tobto. sukupnostі stanіv vsіh seredkіv strіchki, LU leszek, és a fej helyzete. Rájöttem, hogy a gép konfigurációja megbocsátható, legyen az a külső ábécé néhány szimbóluma, és csak a belső szimbóluma.

A munka csutka előtt egy üres sorban az élet végének szava van írva az A ábécével; a fej az a szó első karaktere fölé kerül, az LU q1 állomássá alakul (így a kezdeti konfiguráció q1a-nak nézhet ki). Oskіlki kozhnoї konfіgurаtsії realіzuєєєєєєєєєє az átalakításnak csak egy szabálya, a pochatkovа configurаія egyértelműen a gép robotjára, a tobto-ra utal. a mű mellékletének változásainak teljes sorozata.

A gubacs formájában lévő parlagon két lehetőség van a hüvelyek fejlesztésére:

1) az utolsó ciklusszám után a gép a csengő parancsára csörögni kezd; ezzel egyidejűleg a sorban megjelenik az utolsó konfiguráció, amely az aktuális információkat mutatja;

2) a fogak nem láthatók.

Az első személy számára úgy tűnik, hogy a gép stagnál a gubacs információkhoz, a másik számára - nem. A bemeneti változtatások sorozata, amelyben a gép biztosítja az eredmény kimenetelét, egy rozv'yazuvanyh zavdan osztályt hoz létre. Nyilvánvaló, hogy zastosovuvat Turing gép zavdannya, scho, hogy ne lépjen be az osztályba a virishuvanih, hülyén.

Turing hipotézise egyértelmű: ha az eljárás természeténél fogva világosan meghatározott és mechanikus, akkor teljesen megalapozható annak elismerése, hogy létezik Turing-gép, zdatna її vikonati. Nem lehet hozni, a szilánkok nem fogják megmutatni az algoritmus megértésének szuvordját a Turing-gép szuvorjából. Ezt a hipotézist fel lehet tenni, hogy példát tudjunk adni egy olyan algoritmusra, amely nem valósítható meg egy további funkcionális Turing-séma segítségével. Azonban az összes többi dos algoritmus hozzárendelhető további funkcionális Turing-sémákhoz.

1. A Tyuring gép leírása. 3

1.1 T'uring gépének teljesítménye mint algoritmus. 5

2. Algoritmusok hajthatósága. 7

2.1 A problémák összetettsége.

3. Turing-gép és algoritmikusan megoldatlan problémák.

Visnovok. tizenhat

Hivatkozások.. 18

Belépés

A Turing-gép csak egy egyszerű számítás. Van 3 sor nyúzatlan dozhini, osztva komisszárok és fejek, amelyek mozognak a sorok között, és zdatna olvasni és írni szimbólumokat. T'yuring gépének is van egy olyan karakterisztikája, mint egy camp, amit egész számmal meg lehet fordítani nulláról deako maximum értékre. Ha Turing-géppé változom, három irány egyikét változtathatom meg: írhatok egy szimbólumot a helyiségbe, mozgathatok egy szobát jobbra vagy balra, beállíthatom a belső állomást.

A Turing gép rögzítése szuper egyszerű, praktikusan lehet rajta programot megvalósítani. Az összes vonal megtekintéséhez egy speciális szabálytáblázat került áthelyezésre, amelybe bele van írva, hogy a folyamatvonalak és szimbólumok különböző kombinációinál kell dolgozni, 3 sort olvasva.

1947-ben Alan T'uring kiterjesztette definícióját az "univerzális Türing gép" leírásával. Később az énekórák teljesítéséhez bevezették a її raznovid feladatot, amivel nem egy feladatot, hanem egy sprattot lehetett nyerni.

1. A Tyuring gép leírása

A robotika létrejöttének előtörténete David Hilbert 1900-ban Párizsban tartott Nemzetközi Matematikai Kongresszuson megfogalmazott megoldatlan matematikai problémáihoz kapcsolódik. Ezek egyike a megtakarítási aritmetika axiómarendszerének nem felületességének bizonyítása volt, ahogyan Hilbert nadaly a "leválasztás problémájaként" tisztázta - egy rejtélyes módszer fontosságát egy adott kitétel létezésének jelölésére. formális logikám.

Tyuring cikke ismét támpontokat adott ehhez a problémához – Hilbert másik problémája összefüggéstelennek bizonyult. De Turing cikkének értelme messze túlmutat az időkorláton, amit a hajtás alapján írtak.

Jellemezzük azokat a robotokat, amelyeknek John Hopcroftnak kellene lenniük: "Hilbert problémáján dolgozva Turing történetesen világosan meghatározta a módszer megértését. Hogyan használhatja ezt az ötletet a számítási folyamat jelentési modelljének megtekintésére.

A Turing-gép a végautomata modell kiterjesztése, olyan bővítmények, amelyek potenciálisan kimeríthetetlen memóriát foglalnak magukban azzal a lehetőséggel, hogy egy adott pillanatban visszanézve a közepére, balra vagy jobbra mozoghat (ruh).

Formailag a Tyuring gépezet így írható le. Legyen a feladatok:

kіnceve bezlіch stanіv - Q, amely lehet Turing-gép;

a sor utolsó szimbólumkészlete - G;

δ függvény (a program átmeneti függvénye), a Q x G derékszögű kreációból (a gép a qi állomáson van és a gi szimbólumot nézi) a Q x G x (L) derékszögű teremtés triójában állíthatja be a tétet. , R) (a gép elhalad a qi állomáson, cserélje ki a gi karaktert a gj karakterre, és tolja el balra vagy jobbra a sor egy karakterével) - Q x Г-> Q x Г x (L, R)

egy karakter a Г->е (üres);

a Σ є Г -> részszorzó a sor bemeneti szimbólumainak részszorosaként jelenik meg, sőt, e є (Г - Σ);

az egyik malom - q0 є Q є kochatkovy tábor a gép.

A megoldott feladatot úgy állítjuk be, hogy soronként az utolsó számú szimbólumot Σ є Г - Si є Σ szorzóval írjuk fel:

eS1S2S3S4... ... ...Sne

ezt követően a gépet áthelyezik a kalászos malomba, és a fejet a leglényegesebb nem üres szimbólumra (q0,w) szerelik fel –, ami után lehetőség van az átmenet funkció megváltoztatására (qi,Si) - -> (qj ,Sk, L vagy R) a gép elkezdi kicserélni a látszó szimbólumokat, mozgatja a fejet jobbra vagy balra, és továbblép a következő lépésekre, javaslatot téve az átmenetek funkcióira.

Zupinka gép vіdbuvaєtsya vypadku, tehát a fogadáshoz (qi,Si) az átmenet funkciója nincs hozzárendelve.

Alan T'yuring elismerte, hogy bármely intuitív értelemben vett algoritmus reprezentálható egy ekvivalens Tyuring géppel. Tse pripuschennya vіdome, mint Church-Turing tézise. A skin számítógép modellezheti a Tyuring gépet (műveletek a középső felülírására, a gép továbbfejlesztésével a másik udvari középre való átmenet lezárására). Valamint az algoritmusok bármilyen formalizmusban modellezhetők, és a tézisek szempontjából, hogy a számítógépek (függetlenül a feszességben, az architektúrában, csak.) egyenértékűek az algoritmikus feladatok fejlesztésének elvi megvalósíthatósága szempontjából.

1.1 T'uring gépének mint algoritmus ereje

T'uring gépének fenekén kedvesen le vannak rakva az algoritmusok képességei. Kérd meg a tudósokat, mutassák meg, hogy a Turing-gép rendelkezik az algoritmus minden erejével.

Diszkrétség. A Turing-gép csak a bőrvágás után tud felmenni (k + 1) - mu krok-ig, amelyhez a skin krok-ot választják, ami a (k + 1) - th krok lesz.

Intelligencia. Az ábécé szimbóluma a bőrbetét közepére van írva, az automata egy roc-ot (L, P, N), az állomásleírások egyikén pedig a Turing-gép transzformál.

Determinizmus. Tyuring gépének táblázatának skin kulcsánál a dії egyetlen változata van rögzítve. A skin szakaszban egyértelműen meghatározták az eredményt, és egyértelműen meghatározták a feladat kidolgozásának lépéseinek sorrendjét, tobto. Ha a Turing-gépek egy bemeneti szót adnak meg a bemeneten, akkor a kimeneti szó mindig ugyanaz lesz.

Hatékonyság. Ehelyett a bőrvágás eredménye és az összes vágási sorrend egyértelműen megvolt, és a Turing-gépet helyesen írták a vágás végére a q0 állomáson, tobto átmenetben. a nap végére a krokiv számát levonják a felsővezető ételéből.

maszovisták. A Turing-féle bőrgép a szokásos elfogadható szavak helyett az ábécéhez van rendelve, amely tömegjelleggel bír. A Turing-féle bőrgépet egy osztályfeladat csúcsának ismerik el, azaz. a skin feladathoz saját (új) Tyuring gépet írnak.

2. Algoritmusok hajthatósága

Az algoritmus hajthatósága a szükséges törzsek számának tulajdonítható. A hajtogatási algoritmusok számát gyakran két paraméterrel mérik: T (tim-hour folding) és S (térbehajtás, vagy több memória). І T, і S hangot a bemeneti adatok függvényében kell ábrázolni. (Tudok más módszereket a hajtogatás enyhítésére: a hajtogatott bitek száma, a zv'yazku csatorna szélessége, az obsyazh adatok vékonyan)

Az algoritmus hajtás számítását a „Nagyról” kiegészítő jelölés után nevezzük, amelyet a hajtogatás számításának nagyságrendjével írunk le. Ez csak egy tagja a hajtogatási függvénynek, amely nagy valószínűséggel n növekedése felett nő, az alacsonyabb rendű tagokat figyelmen kívül hagyja. Például, mivel az adott algoritmus időzítése 4n2+7n+12, akkor az n2 nagyságrendjének számítását O(n2)-ként írjuk fel.

Timchasov skladnіst vymіryana oly módon, hogy hazudjon a végrehajtásban. Nem szükséges tudni pontos óra vykonannya különböző utasításokat, nincs csaták száma, amelyek győztes bemutatása a különböző változások, nem kell változtatni a sebességet a processzor. Lehet, hogy az egyik számítógép 50 centivel szélesebb a másiknál, a harmadik abroncs pedig kétszer olyan széles, de az algoritmus nagyságrenddel becsült hajtása nem változik. Ez nem shahraystvo, algoritmusos robotoknál a padlók összecsukhatók, ahogy ebben a könyvben is le van írva, minden más megfordítható (konstans szorzóig terjedő pontossággal) megegyezik a nagyságrendi behajtással.

Tsya jelölés lehetővé teszi, hogy beszélni, mintha kötelező bemeneti adatok öntik a vimogi, amíg az óra, hogy a kötelező memória. Például, ha T=O(n), akkor az albemeneti adatok kivonják az algoritmus óráját. Yakscho T=O(2n), egy bit hozzáadásával a bemeneti adatokhoz egy óra hozzáadásával az algoritmushoz.

A hangalgoritmusokat különböző módon osztályozzák їх óránkénti vagy tágas összecsukásig. Az algoritmust gyorsnak nevezzük, mert n-ben lehetséges a befizetés: 0(1). Az algoritmus lineáris, akárcsak O(n). Az algoritmusok lehetnek másodfokúak, néha köbösek. Minden qi algoritmus polinom, hajtogatása O(m), ahol m konstans. A polinomiális időhajtású algoritmusokat polinomiális órával rendelkező algoritmusoknak nevezzük

Azokat az algoritmusokat, amelyek hajtogatása drágább O(tf(n)), ahol t konstans, nagyobb, kisebb 1, f(n) pedig polinomfüggvény, mint n, exponenciálisnak nevezzük. Az exponenciális algoritmusok sokasága, az ilyen fejlettebbek hajtogatása O(cf(n)), de de konstans, és f(n) gyorsabb, alacsonyabb postyna, ale több, alacsonyabb lineáris függvény, szuperpolinomiálisnak nevezzük. .

Ideális esetben egy kriptográfus szeretné megerősíteni, hogy egy olyan algoritmus, amely a legjobb egy gonosz tervezésű titkosítási algoritmushoz, képes exponenciális időzítést mutatni. A gyakorlatban a számítási hajtogatás elméletének gyártósorán megtörhető legerősebb keménység az „egy adott kriptorendszer bővítésére szolgáló összes algoritmus rendelkezhet szuperpolinomiális órahajtogatással” alakot. Lássuk tehát a szuperpolinom időzítésű hajtogatással történő felosztás algoritmusait, de egyelőre nem tudjuk bizonyítani, hogy a polinomiális időzítésű hajtogatással történő felosztás nem használható. A számítási hajtogatás elméletének kidolgozása akkor lehetséges, ha lehetséges olyan algoritmusok létrehozása, amelyek a matematikai pontosságból kizárhatók.

A Turing-gép a 20. század egyik leghíresebb szellemi meghajtója. A Tse egyszerű, az absztrakt modell kiszámítása (számítógépes és digitális), mivel ez elég zagalnoy bármilyen számítógépes feladat bevezetéséhez. A matematikai elemzés elvégzésének Zavdyaki egyszerű leírása nem fogja megalapozni az elméleti informatikát. Ez a kutatás a digitális számítógépek és a számítások mélyebb ismeretéhez vezetett, beleértve annak megértését, hogy mi ismert a hírhedt koristuvatsky EOM-on nem rejlő problémák számáról.

Mit és ki csinált

Alan T'uring megpróbálta leírni egy mechanikus melléképület legprimitívebb modelljét, amely olyan kicsi, mint a számítógép alapvető képességei. T'uring először 1936-ban írta le a gépet a "Számok kiszámításáról a vírusos probléma kiegészítésével" című cikkében, ahogyan az a London Mathematical Fellowship Pratsy-jában jelent meg.

A Turing-gép egy számlálóeszköz, amely olvasó- és írófejekből (vagy szkennerből) áll, és egy papírvonallal áthaladhat rajta. A sor négyzetekre van osztva, amelyek mindegyike egyetlen karaktert tartalmaz - "0" vagy "1". Hozzárendelve a mechanizmus, hogy, scho és zasib a be- és kilépéshez, valamint a munkamemória a mentési eredmények köztes szakaszaiban a számítás.

Mire valók a mellékletek?

Egy ilyen bőrgépet két raktárból hajtogatnak ki:

1. Bélés nélküli vonal. Vaughn, akit a vétkes oldalon nyúztak, középre oszlik.
2. Automata - kerova program, fej-szkenner adatok olvasásához és rögzítéséhez. Vaughn a bőr pillanatában megtalálható az egyik gazdag államban.

A bőrgép két utolsó adatsort varr össze: a bemeneti szimbólumokat A = (a0, a1, ..., am) és az állomás ábécéjét Q = (q0, q1, ..., qp). A q0 állomást passzívnak nevezzük. Fontos, hogy a melléklet fejezze be a munkát, ha saját maga költi el egy újra. Mill q1 az úgynevezett "pochatkovy" - a gép elkezdi a számítást, változik az elején az új. A beviteli szó a bőr pozíciója után egy betűvel kerül a sorba. Mindkét oldalról az új szemszögéből csak üres ruhatárak vannak.

Hogyan működik a mechanizmus

T'yuring gépe fontos a melléképületek számának megszámlálásához – її egy kimeríthetetlen vonal rögzítésére emlékezni, ahogy a digitális eszközöknél is van ilyen csatolás, sok dal lehet. Bőr osztály zavdan virіshuє csak egy késztette Tyuring gépét. Egy másik elme feladata az új algoritmus írásának átvitele.

Keruyuchiy pristriy, perebuvayuchi egy táborban, átöltözhet egy be-szerű bіk strіchkoyval. Vono leírja a közepéig, és kiolvassa belőlük az utolsó ábécé szimbólumait. A mozgás során egy üres elem látható, amely kitölti a pozíciót, nehogy megbosszulja a bemeneti adatokat. A T'yuring gép algoritmusa határozza meg a mozgó épület átmenetének szabályait. A következő paramétereket határozták meg az írás-olvasásnál: új karakter írása a komisszárnak, átállás új stan-ra, balra vagy jobbra mozgás vonallal.

Uralkodó mechanizmus

A Turing-gépnek, mint a többi számítási rendszernek, megvan a maga sajátosságainak ereje, és ezek hasonlóak az algoritmusok teljesítményéhez:

1. Diszkrétség. A digitális gép csak akkor lép a következő n + 1 lépésre, ha az előrehaladót megverte. A vikonikus stádium bőréhez n + 1 van hozzárendelve.
2. Intelligencia. A melléklet csak egy napot nyer a középső számára. Vono beír egy szimbólumot az ábécébe, és kirabol egy ruh-t: levoruch chi jobbkezes.
3. Determinizmus. Az eliminációs mechanizmus bőrhelyzete az egyetlen változata az adott sémának, és a bőr stádiuma megegyezik, és ezek sorrendje egyértelmű.
4. Hatékonyság. A dermális lépés pontos eredményét a Tyuring gép határozza meg. A program megnyeri az algoritmust, és az utolsó lépések számát tekintve q0 állomásra transzformálódik.
5. maszovisták. A bőrmelléklet az ábécéig terjedő megengedett szavakhoz van hozzárendelve.

A Turing-gép funkciói

A függvény megvalósítása gyakran szükséges az algoritmusok fejlesztéséhez. Ha lehetséges lándzsát írni a számításhoz, akkor a függvényt algoritmikusan leválasztottnak vagy nem leválasztottnak nevezzük. Jak bezlich natural abo racionális számok, slіv az N terminál ábécében a gépnél a szorzó - szavak sorrendjét a két kódábécé B = (0.1) keretein belül veszi figyelembe. A számítás eredményét a „jelentéktelen” érték is biztosítja, ami a „lógó” algoritmus hibája. A funkció megvalósításához fontos a formális nyelv jelenléte a végső ábécében, valamint a helyes leírások felismerésének feladatának sokoldalúsága.

Program a vlashtuvannya számára

A Turing-mechanizmus programjai táblázatokba foglalva vannak, amelyekben az első sor és az első hely helyettesíthető a külső ábécé szimbólumaival és az automata lehetséges belső állapotainak jelentésével - a belső ábécével. Táblázatos adatok a Turing-gép által elfogadott parancsokkal. A feladatok rozv'yazannyáját ebben a sorrendben vesszük figyelembe: a betűt, mintha a fejjel középen olvasnák, azon felül, hogy mi az adott pillanatban, és az automata fejének belső állomását megtévesztjük, mint ha szükséges legyőzni a parancsokat. Ugyanaz a parancs íródik át a külső ábécé és a belső szimbólumok sorára, mint a táblázatban.

raktárak a számlázáshoz

Ahhoz, hogy egy Turing-gépet egy feladat elvégzésére késztessünk, meg kell határozni a következő paramétereket.

Zovnishniy ábécé. Az egész kіlka kіlka személytelen szimbólumok, amelyeket az A jellel jelölünk, melynek raktárelemeit betűknek nevezzük. Az egyik - a0 - üres lehet. Például hozzáadom a Turing-ábécét, amely kettős számokkal működik, így néz ki: A \u003d (0, 1, a0).

A betűk-szimbólumok megszakítás nélküli kötelékét, amely egy vonalra van írva, szónak nevezzük.

Az automata gépet csatolásnak nevezik, amely emberek bevonása nélkül működik. A Turing-gépnek meg kell változtatnia a különböző állapotok és elmék számát, amelyek hibáztatnak, egyik pozícióból a másikba mozognak. Az ilyen kocsiállványok sorrendje egy belső ábécé. Vin May betűjelölés forma Q = (q1, q2 ...). Ezen pozíciók közül az egyik - q1 - megváltoztatható, így elindítjuk a programot. Egy másik szükséges elem a q0 állomás, aminek a vége, hogy a fog pozíciójában elvégezzük a programot és lefordítjuk a mellékleteket.

Átviteli asztal. Hozzáadom a raktári kocsiviselkedés algoritmusát, attól függően, hogy az adott pillanatban automata lett, és a beolvasott szimbólum jelentését.

Algoritmus az automatához

A robot órájához és a programhoz hozzáteszem a Tyuringt kocsival, a bőrkrokk órához pedig a következő napok sorrendjét:

1. A régi ábécé szimbólumának rögzítése a pozícióban, zokrema i üres, zdiisnyuyuchi zamіnu scho buv nіy, zokrema i üres, elem.
2. Egy horgolást balra vagy jobbra mozgat.
3. Megváltoztatom a nedves belső állapotot.

Ily módon a skin fogadás programjának írásakor a szimbólumoknak vagy a pozíciónak pontosan három paramétert kell leírnia: ai - a kiválasztott ábécé egyik eleme A, közvetlenül zsuva kocsi ("←" jobbra, "→" a jobbra, "pont" - a műszakok száma) і qk - Új tábort építek. Például az 1-es "←" q 2 parancs azt jelentheti, hogy "cserélje ki a karaktert 1-gyel, törje le a kocsifejet egy kőbe, és indítsa el az átmenetet a q 2 állomáson".

Turing gép: alkalmazza

példa 1. A feladat egy olyan algoritmus indukálása, amely egy adott szám maradék, a vonalakra húzott számjegyéhez hozzáad egyet. Bemeneti adatok - szó - az egész tizedik szám számjegyei, a sor utolsó közepén rögzítve. A csutka pillanatában a melléklet roztashovuetsya a jobb szélső szimbólummal - a szám számjegyeivel szemben.

Megoldás. Ha a fennmaradó számjegy nagyobb, mint 9, akkor azt 0-ra kell cserélni, majd hozzá kell adni egyet az elülső karakterhez. A Turing-melléklet programja valamilyen módon így írható:

Itt q1 a malom a számok megváltoztatásához, q0 a gabona. Ha q 1, az automata rögzíti az elemet a 0..8 sorban, majd kicseréli az 1..9 valamelyikére, akkor lehetséges, majd átvált a q 0 állomásra, így a rögzítés rögzítve van. Ha a kocsi rögzíti a 9-es számot, akkor 0-ra cseréli, majd balra mozog, a q 1 állomáson hurkolva. Egy ilyen lépés három addig a pillanatig, amíg a melléklet nincs rögzítve, a szám kisebb, mint 9. Amint az összes szimbólum 9-nek tűnik, a bűzt nullák váltják fel, és a legmagasabb elem helyére 0 kerül. , a kocsi balra kerül, és egy üres cellába írjon 1-et. A következő lépés az átmenet lesz a q0 táborban - egy gabona.

fenék 2. Dánia szimbólumok sorozata, mit jelölnek az ívek, mit ívelnek és görbülnek. Meg kell engedni a Turing-féle kötelékeket, amelyek látják a kölcsönös íjak, tobto elemek fogadását, roztasovannyh pospil - "()". Például a kimeneti adat: „) (() (()), ez így lehet: „) . . . ((”. Megoldás: a q 1-be változó mechanizmus az utolsó bal oldali elemet elemzi a sor).

Állomás q 1: ha a „(” szimbólum vésett, akkor a véső jobbra törik, és az átmenet a q 2 pozícióban van; ha „a 0” van jelölve, akkor a véső.

Stan q 2: a bilincs "(" a párosítás jelenlétére, a zbіgu idején megtalálható ")" elemzése megtörténik. Mint egy fiú elem, fordítsa el a kocsit balra, és menjen a q 3-ra.

Stan q 3: törölje a „(”, majd „)” szimbólum hátulját, és lépjen a q 1-re.

A modern informatika egyik legfontosabb forrása a formális hacker, aminek segítségével bármely formális hackert utánozni lehet. u vіdpovіd tse pitannja bullo otrimano mayzhe egyszerre két kiemelkedő vchenimi - A. Turing és Ege. Hozzászólás. Az általuk javasolt vykonavtsy veszekedett egyfajta egyet, de kiderült, hogy képesek utánozni az egyiket, és több mocsok utánozni bármilyen formális vikonavtsy munkáját.

Mi az a formális vikonovets? Mit jelent - az egyik hivatalos vikonátor egy másik formális vikonavtsy munkáját utánozza? Yakscho Wee játszott számítógépes játékok— a képernyőn az objektumok zökkenőmentesen követik a gravitációs parancsokat. A Skin objektum érvényes parancsokat írhat be. Abban az órában maga a számítógép wikoni volt, ráadásul virtuális, de valódi. Tehát menjünk, hogy az egyik formális vikonátor egy másik formális vikonavtsya munkáját utánozza.

Vessünk egy pillantást Turing gépi robotjára.

A Turing-gép egy kimeríthetetlen vonal, amely commissure-okra és egy kocsira (mellékletre, amely másképp olvas) osztva, mintha a vonal összeomlana.

Ebben a sorrendben a Turing-gépet formálisan két ábécé írja le:

A = (a1, a2, a3, ..., an) - aktuális ábécé, külső adatok rögzítésére szolgál

Q \u003d (q1, q2, q3, ..., qm) - Belső ábécé, amely meghatározza az olvasható-drukarian mellékállomás állomásainak tárcsázását.

A sor közepén lévő bőr helyettesíthető az eredeti ábécé karakterével A = (a0,a1,…,an) (Esetünkben A=(0, 1))

Tegyük fel, hogy a Turing-gépek a következők:

1) írja le a sor közepére a régi ábécé tetszőleges szimbólumát (a korábban ott lévő szimbólum felül van írva)

2) költözz a semmi közepére

3) változtassa meg a tábort a belső Q ábécé egyik szimbólumára

T'uring gépe egy automata, amelyet egy asztal vezérel.

A táblázat sorai a kiválasztott A ábécé szimbólumainak, az oszlopok pedig a Q = automata pozícióinak felelnek meg (q0, q1, ..., qm). A csutkán T'yuring gépe a q1 állomáson található. Malom q0 tse végső malom, miután újat ivott, a gép befejezi a munkát.

A táblázat skin paneljén, amely az aktuális ai szimbólumot és az aktuális qj karaktert adja meg, van egy csapat, amely három részből áll.
karakter az A ábécéből
Közvetlenül mozgó: ">" (jobbra), "<» (влево) или «.» (на месте)
Új géppuska kábítás

Ha az egérmutatót a táblázat fölé viszi, az ábécé A = (0, 1, _) (3 karakter helyett), a belső ábécé pedig Q = (q1, q2, q3, q4, q0), q0 a tábor, ami a törpecsapás libben.

Vessünk egy pillantást a gyűrű fejére. T'uring Vee autóját megrendelheti a weboldalon a kiskereskedelemben.

1. feladat Legyen A = (0, 1, _). A középső vonalakon az ábécé szimbólumai láthatók 0011011 sértő sorrendben. Az első szimbólum felett van a jelző. A programot össze kell hajtani ahhoz, hogy 0-ról 1-re, 1-ről 0-ra váltson, és a kocsit csutkaállásba fordítsa.

Most a kocsi stanamija szempontjából jelentős. Én a їх-ot hívom - "kocsikuckó schos robiti".

q1) A kocsi hibás öt jobbkezes: ha 0-t akarsz elmozdítani, változtass yogót 1-gyel és elvessz a q1-es állomáson, ha 1-et akarsz kapni - változtasd meg 0-val és elveszel a q1-es állomáson, ha start _ - forduljon vissza 1 középponttal „egyébként sikertelen”, majd alakítsa át q2 állomásra. Írjuk fel mirkuvannyánkat a vikonavtsya táblázathoz. Szintaxis, hogy rácsodálkozzunk a program lépéseire)

q2) Most leírjuk a q2 „kocsitámaszt”. Megfordulhatunk a gubacstáborban. Ehhez: például a bachimo 1 többlet її és többlet a q2 állomáson (ugyanezekkel a bajanokkal számos szimbólum végére megy); yakscho bachimo 0 - zalishaєmo jóga, és folytassa az összeesést balra a q2 állomáson; bachimo _ - Zsuvaetsya jobbra 1 középponttal. A vee opinilis tengelye ott van, szükség van az elmekontrollra. q0 állomáson haladunk el.

A program működését a videón tekintheti meg:

2. feladat Adott: 0. és 1. végső sorrend (001101011101). Ezeket az adott sorrend után, üres komisszáron keresztül le kell írni, és az adott sorrendben 0-ra kell cserélni. Például:

Z 001101011101 vegye 00000000000 1111111.

Mint egy bachit, egyedül ők jelentkeztek az utódlás után, de a helyükön nullák vannak.

Térjünk le mirkuvanhoz. Ami azt illeti, fontos, hogy szükségessé váljanak edzők és skilkik.

q1) 1-es dobás után - nullára váltva menj a következő állomásra q2 (egy új állomás kerül bevezetésre, hogy a kocsi ne változtassa az összes 1-est nullára egy menetben)

q2) ne változtass semmit, csukd össze a sorozat végére

q3) amint a hintó meglóbálta az üres komirkát, ha kirabolja a krokodil jobbkezes és kis magányost, ha magányra gyönyörködik, akkor messzire összeesik, hogy a kintsi jelképét jelezze. Mintha csak festenénk egyedül, elhaladunk a q4-es táborban

q4) átjárható írott szinglivel, anélkül, hogy bármit megváltoztatna. Amint elérünk egy üres közepét, amely egyes részekre osztja a sorozatot, kilépünk az új táborból q5

q5) akinél kezdjük, van fülünk az utódlásról, anélkül, hogy bármit is változtatnánk. Elérjük az üres központot, megfordulunk és a q1 táborba megyünk

Stan q0, a kocsi abban a pillanatban kerül elfogadásra, ha a q1 szakaszban elhalad a sorozat végéig és az üres mederig.

Vegyük ezt a programot:

A Turing-gép munkáját az alábbi videóban tekintheti meg.

Turing gép (MT)- Absztrakt vikonavets (absztrakt számítási gép). Bula Alan Turing javasolta 1936-ban, hogy formalizálja az algoritmus megértését.

A Turing-gép az i végautomata kiterjesztése, amely a Church-Turing tézisen alapul, épület utánzata minden vikonavtsiv(segítségül az átmenet vezetője döntött), scho legyen valamiféle rang a számítás számítási folyamatának megvalósítására, amelyben a számítás számításának bőre az elemi befejezése.

Legyen szó intuitív algoritmusról, egy segéd Turing-gépre is megvalósítható.

Enciklopédiai YouTube

1 / 5

✪ 09 – Bevezetés az algoritmusokba. Turing gép

✪ Turing gép - Oleksandr Shen

✪ 20. előadás: Turing-gép

✪ Turing gép. robotcsikk

✪ 16 - Számolás. Turing gépek. Motiváció és jelentkezés

Feliratok

A Turing-gép rögzítése

Tyuring gépének raktárába menjen be bútorozatlanul elöl strіchka(a Tyuring lehetséges gépei, a yakі egy csomó szüntelen vonalat készíthet), középre osztva, és vasborítású melléklet(más néven író-olvasó fej (GZL)) személytelen staniv. Az általam kezelt lehetséges állomások száma rendkívül és pontosan be van állítva.

A gravírozott melléklet egy vonallal balra és jobbra mozoghat, a szekrényekben olvasható és írható az ősi ábécé jelképe. Jellemzőket láthat üres egy szimbólum, amely emlékszik az összes sorra, a Krím csendes (a befejezési dátum), amelyen a bemeneti adatok rögzítésre kerülnek.

A Keruyuchiy rögzítése praktikus átmenet szabályai, Hogyan ábrázoljuk az algoritmust, megvalósítások egy Turing-gép adta. A bőr uralja az átmenetet, hogy megbüntesse a gépet, hagyja el a vonalállomást és tartsa a sorcella szimbólumában, írjon egy új karaktert a qiu cellába, lépjen az új állomásra, és mozgassa egy cellát balra vagy jobbra. A Tyuring gépezetének cselekedetei úgy ismerhetők fel terminál, a belőlük való átmenet pedig a munka végét, az algoritmus hibáját jelenti.

A Turing-gépet ún eltökélt, mivel a skin kombináció sorkarakterré válik a táblázatban, ez nem lehet több, mint egy szabály. Például van egy "karakterlánc szimbólum - tábor" pár, amelyhez 2 vagy több parancs tartozik, egy ilyen gépet Tyuringnek hívnak. nem determinisztikus.

A Tyuring gép leírása

Egy adott Turing-gép számos elemet kap az A ábécé szorzásához, egy szorzót Q-val, és egy szabálykészletet, amellyel a gép működik. A bűz így nézhet ki: qiaj → q i1 a j1 dk (mivel a fej a qi állomáson van, és az aj betűt középre írják, akkor a fej a q i1 táborba megy, az irodában aj helyettes leírva egy j1, a fej üvölteni ruh dk, yak lehet három lehetőség: balkezes (L), jobbkezes (R), hiányzik a középső (N)). A bőr lehetséges konfigurációjához є egy szabály (nem determinisztikus Turing-gép esetén több szabály is lehet). A végsőre nem sok szabály van, hiszen annyit költöttek, amennyit a gép zupinyaetsya. Ezen túlmenően fel kell tüntetni a szegélyt és a csőkeretet, a cső konfigurációját a vonalon és a gép fejét.

Turing gép feneke

Az unáris számítási rendszerben a számok szorzására szolgáló MT gomb bemutatása. A „qiaj →q i1 a j1 R/L/N” szabály rekordját a következőképpen kell érteni: qi - tábor, amikor a szabályt legyőzik, aj - középen megadva, amelyben a fej található, q i1 - tábor, amibe menni kell, egy j1 - amit az irodába kell írni, R/L/N - parancs a mozgáshoz.

A gép a következő szabályokat követi:

	q0	q 1	q2	q 3	q 4	q 5	q 6	q 7	q 8
1	q 0 1 → q 0 1R	q 1 1 → q 2 aR	q 2 1→q 2 1L	q 3 1 → q 4 aR	q 4 1 → q 4 1R			q 7 1 → q 2 aR
×	q 0 × → q 1 × R		q2×→q3×L		q4×→q4×R		q6×→q7×R		q8×→q9×N
=			q 2 \u003d → q 2 \u003d L		q 4 \u003d → q 4 \u003d R			q 7 \u003d → q 8 \u003d L
a			q 2 a→ q 2 aL	q 3 a→ q 3 aL	q 4 a → q 4 aR		q 6 a → q 6 1R	q 7 a → q 7 aR	q 8 a→q 8 1L
*	q 0 *→ q 0 *R			q 3 *→ q 6 *R	q 4 *→q 5 1R
						q 5 → q 2 *L

Az állomások leírása:

kukoricacső
q0	bimbómalom. Shukaёmo "x" jobbkezes. Amikor znahodzhennі megy a tábor q1
q 1	cserélje ki az "1"-et "a"-ra, és menjen a q2 állomásra
Az összes „1” átvitele az első számból az eredménybe
q2	viccelődik "x" mérges. Ha jelentős, menjen a q3 táborba
q 3	Shukaєmo "1" gonosz, cseréld ki a її-t "а"-ra, és menj a q4 táborba. Ha az „1” véget ért, tudjuk, hogy „*”, és menjünk a q6 táborba
q 4	menj a végére (jobb kézzel hangzik "*"), változtasd a "*"-t "1"-re, és menj a q5 állomásra
q 5	írd be a "*"-t a végére, és menj a q2 táborba
Lehetőség van más számú bőrkategória feldolgozására is
q 6	shukayemo "x" jobbkezes és járható a q7 táborban. Egyelőre csak viccelünk, az „a”-t „1”-re cseréljük
q 7	Shukaёmo "1" vagy "=" jobbkezes amikor az „1” szignifikáns, a yogót „a”-ra cseréljük, és a q2 állomásra megyünk ha az "=" szignifikáns, menj a q8-as táborba
Kіnets
q 8	viccelődik "x" mérges. A znakhodzhennі menjen a q9 táborba. Egyelőre csak viccelünk, az „a”-t „1”-re cseréljük
q9	terminálmalom (zip az algoritmushoz)

Az MT 3 segítségére szorozunk 2 egyedi rendszerrel. A jegyzőkönyvnél fel van tüntetve az MT oszlop- és szármarója, a vonalakon az oszlopkonfiguráció és a gépfej roztashuvannya (merevítés szimbólum).

Kukoricacső. Újraindítás az állomáson q 0, beírta az adatokat a gépbe: *111x11=*, a gépfej az első * karakterhez van hozzárendelve.

1. horgolt. Azon tűnődve, hogy a szabályok táblázata szerint hogyan kell működnie a gépnek, perebuvayuchi az állomáson q 0 i a "*" szimbólum fölé. Az 5. sor 1. oszlopára vonatkozó teljes szabály: q0*→q0*R. A Tse azt jelenti, hogy a q 0 állapotba lépünk (tehát nem változik), a szimbólum „*” lesz (tehát nem változik), és a „*111x11=*” szöveg beírása után eltolódik jobbra. egy pozícióval (R), majd az 1. karakterrel 1. A q 0 1 tábort (az 1. sor 1. lépése) a saját sorában a q 0 1→q 0 1R szabály dolgozza fel. Tobto megint csak egy jobbkezes átmenet 1 pozícióba. Tehát vіdbuvaєtsya, nem fogunk kikötni az "x" szimbólumnál. És eddig: vegyünk tábort (index q-nál), vegyünk egy szimbólumot, amin állunk (merevítő szimbólum), utána csodálkozunk a kiválasztott kombináció feldolgozásán a szabálytáblázathoz.

Egyszerűen fogalmazva, az előlegek szorzásának algoritmusa: megjelöljük a 2. szorzó 1 egységét, a її helyére az „a” betűt, és az egyenlőségjelre átvisszük a teljes 1. szorzót. Az átvitel a feketével történik, az egyik szorzó egyes számait cserélje ki „a”-ra, és adjon hozzá ennyi egyest a sor végéhez (levoruch a jobb szélsőben „*”). Változtassuk vissza az összes „a”-t „x” szorzójelre eggyel. Az 1. ciklus megismétlődik. Valójában, ha megszorozod A-t, akkor A + A + A B-szeresen jelenítheted meg. Most a 2. szorzó 2 egységét jelöljük „a” betűvel, és ismét átvisszük az egységet. Ha a „=” jel előtt nincsenek egyesek, akkor a szorzás befejeződött.

Povnota Thuring szerint

Elmondható, hogy a Turing-gép a legegyszerűbb lineáris memóriával rendelkező számítási gép, mivel formális szabályokkal dolgozik a bemeneti adatok további sorozatokká alakításában. elemi barkácsolás.

A barkácsolás elemi jellege abban rejlik, hogy a barkácsolás csak egy kis adatot helyettesít a memóriában (egy Turing-gépnek csak egy központja van), és a lehetséges barkácsolások száma jelentős. T'uring gépének egyszerűségétől függetlenül minden számíthat rá, ami bármely más gépen megszámlálható, ami az elemi erők további sorozatáért van felszámítva. Tsya hatalmat hívnak mindig.

Az egyik természetes módszer annak bizonyítására, hogy az egyik gépen megvalósítható számítási algoritmus egy másikon is megvalósítható, az első gép utánzása egy másik gépen.

A pálya utánzása támadásban. Egy másik gép bejáratánál az első gép programjainak (munkaszabályzatának) leírása kerül benyújtásra D (\displaystyle D)és bemeneti adatok X (\displaystyle X), ha bűnös abban, hogy az első autó bejáratához ment Le kell írni egy ilyen programot (egy másik gép működésének szabályait), hogy a kimenet számításának eredménye ugyanazt mutassa, amit az első autó megfordult , yakby felszállt a bejáratnál adatok X (\displaystyle X).

Mint elhangzott, a Turing-gépen lehetőség van az összes többi vikonavt utánzásra (az átmenetre vonatkozó szabályok segítségével), hogy megvalósítsuk a repedésenkénti számítási folyamatot, amelyben a skin-to-peer számítást. elemileg kell elvégezni.

A Turing-gépen utánozhat egy Post-gépet, normál Markov-algoritmusokat, és nagyszerű számítógépek programja lehet, amely a bemeneti adatokat virtuális algoritmussá alakítja. Utánozhatja a Tyuring Machine-t saját tempójában, különböző absztrakt vikonavtsy-kon. Vikonavtsi, akiknek ez lehetséges, hívják vess egy pillantást Turingra(Turing kész).

Є programok a legjobb számítógépekhez, amelyek utánozzák a Tyuring gép munkáját. Ale vegye figyelembe, hogy az adott utánzat nem tökéletes, ehhez a Turing-gépben van egy absztrakt nemlineáris vonal. Lehetetlen megismételni a teljes sort a végmemóriával rendelkező számítógépen lévő adatokkal (a számítógép teljes memóriája - működési memória, merevlemezek, különböző adatnevek, a processzor gyorsítótárának regisztrálása és be. - talán még nagyszerűbb, ale, prote) , zavzhdi kintseva).

Turing gép opciók

T'yuring gépének modellje bővíthető. Meg lehet nézni a Tyuring gépeit szép sorral és gazdag vonalakkal különböző kerítéssel. Azonban minden gép hasonlít T'yuringhoz, és T'yuring nagyszerű gépe modellezte.

Tyuring gépe

Példaként egy ilyen nézetre nézzük meg a következő tételt: Arra, hogy T'yuring gépe egyenértékű-e vagy sem T'yuring gépével, amely a homályos vonalon dolgozik (tobto a vonalon, nem egy blokkban).

Megnézzük a megerősítést, amelyet Yu. R. Karpov mutatott az „Automatizálás elmélete” című könyvre. Ennek a tételnek a bizonyítása konstruktív, így van egy olyan algoritmusunk, amellyel bármely Turing-gépre indukálhatunk egy ekvivalens Turing-gépet csupasz erővel. Először is, inkább az MT munkasorának közepén számozva, így az új információ a vonalon jelentős:

Számozzuk át a középső részeket, ráadásul fontos, hogy a "*" jel ne legyen az MT szótárban:

Naresti, kígyók a Turing gépet, akit a szám ї ї Staniv, I zmіnimo zsuv vezetője a zchituvannya-rekord vezetője, ugyanaz a csoport robota gép Bulo van boulawed, és az Inshiy csoport az autó prazovalu. , jak Vikhіdna, jak Vikhіdna, jak Vikhiyna, jak Vikhіdna Vikhihin . Amint megszólal a '*' szimbólum, akkor az író-olvasó fej elérte az interzónát:

Az ugar egyik vagy másik zónájába beszerelték az új Tyuring gép hengeres malmát, ráadásul a kimeneti vonal egy részén a külső konfiguráció leolvasó rekordjának feje is korhadt. Nyilvánvaló, hogy az ekvivalens Turing-gépben a közbülső markerek "*" sorának nyelve nem nyerő.

Tyuring két gépe

• Murah Langton

Div. is

• A JFLAP egy többplatformos program automata szimulátorhoz, Turing-géphez, nyelvtanhoz, automata gráfhoz