Määritelmä Turing Machine

Kun maailma oli kohti uutta globaalia palamista, 1930-luvulla tiede laskenta Se edistyi myös, ja joissakin jo ennustamien sotatoimien valmistelu ohjasi sitä, että jotkut jo odottivat saapuvan.

Tässä yhteydessä brittiläinen matemaatikko Alan Turing (jälkikäteen pidetty yhtenä isistä) laskenta moderni) kehittää työtään ja postuloi vuonna 1936, mikä on tietokone moderni.

Soitto Turing-kone Se on teoreettinen laite, joka pystyy käsittelemään tietoja annettujen sääntöjen mukaisesti.

Sekä säännöt että tiedot ovat erillisiä; itse asiassa Turing kuvitteli, että säännöt tallennettaisiin jonkinlaiseen kiinteään tietovälineeseen, kun taas tiedot tallennettaisiin nauhoille, joita sama kone voisi muokata taulukon mukaisesti sääntöjä.

Näemme tässä käsitteellisessä mallissa selkeästi edistyksen nykyaikaisista tietokoneista: vaikka sellaisella olisikin taso Käyttäjätunnus yksinkertainen, voit helposti nähdä eron sovellus "Muuttamaton" (vivahteilla, mutta tässä tapauksessa katsotaanpa niin) ja tiedot, joita voidaan muuttaa sääntöjen mukaisesti, mikä olisi

Vaikka teoreettinen Turingin kone on kauhean yksinkertainen, se suorittaa vain hyvin perustoimintoja, kuten tilanvaihdon, lukemalla ja kirjoittamalla, se pystyy suorittamaan kaikki matemaattiset laskelmat, jotka mekaaninen tietokone voi suorittaa a algoritmi.

Toisin sanoen, jos ongelma voidaan ilmaista a algoritmi Kirjallisesti se voitaisiin käsitellä - ainakin teoreettisella tasolla - Turingin koneella.

Alan Turing suunnitteli sen harjoituksena osoittamaan, että matemaattisia ongelmia oli sellaisia, joita tietokoneet eivät pystyneet ratkaisemaan.

Turingin äärettömäksi suunniteltu datanauha voidaan siirtää koneella oikealta vasemmalle ja vasemmalta oikealle, kuten vanha kasetti tai filminauha, joka voidaan kelata tai edetä harkintavalta.

Sääntöjoukko voidaan ymmärtää myös ohjelmointikielenä, koska sillä on oltava syntaksinsa logiikka ja johdonmukainen.

Jälkikäteen, muut matemaatikot ovat tehneet kehittyneempiä versioita Turingin koneesta.

Niinpä on koneita, joilla on kaksi kaistaa, deterministit tai jopa kvantti-Turingin kone, joka pystyy Apu, samoin kuin sen kuuluisa esi-isä, loi perustan kauan odotetulle laskennalle kvantti.

Kuva Fotolia: Chrisdorney / Steve Simmons