Definitie van Turing Machine

Toen de wereld afstevende op een nieuwe wereldwijde vuurzee, in de jaren dertig, was de wetenschap van computergebruik Het vorderde ook, in veel gevallen geleid door de voorbereiding op de oorlogsinspanning waarvan sommigen al hadden verwacht dat ze zouden komen.

Het is in deze context dat de Britse wiskundige Alan Turing (a posteriori beschouwd als een van de vaders van de computergebruik modern) zijn werk ontwikkelt en in 1936 postuleert wat de fundamenten zullen zijn van de computer modern.

de oproep Turingmachine Het is een theoretisch apparaat dat gegevens kan verwerken volgens bepaalde regels.

Zowel de regels als de gegevens zijn gescheiden; in feite stelde Turing zich voor dat de regels op een of ander vast medium zouden worden opgeslagen, terwijl: de gegevens zouden worden opgeslagen op banden die dezelfde machine zou kunnen wijzigen volgens de tabel van reglement.

We zien in dit conceptuele model duidelijk een vooruitgang van wat moderne computers zullen zijn: zelfs als men een niveau van heeft

gebruikersnaam eenvoudig, je kunt gemakkelijk het onderscheid zien tussen de app "Onveranderlijk" (met nuances, maar laten we het in dit geval zo nemen) en de gegevens, die volgens de regels kunnen worden gewijzigd, wat de programmeren.

Hoewel de theoretische Turing-machine vreselijk eenvoudig is en alleen zeer elementaire bewerkingen uitvoert, zoals de verandering van toestand, de lezen en schrijven, is het in staat om alle wiskundige berekeningen uit te voeren die een mechanische computer kan uitvoeren met een algoritme.

Met andere woorden, als een probleem kan worden uitgedrukt door middel van een algoritme Schriftelijk zou het - althans op theoretisch niveau - door een Turingmachine kunnen worden verwerkt.

Alan Turing vatte het op als een oefening om aan te tonen dat er wiskundige problemen waren die computers niet konden oplossen.

De datatape, die Turing als oneindig beschouwde, kan door de machine van rechts naar links worden verplaatst en van links naar rechts, als een oude cassette of filmband die kan worden teruggespoeld of vooruitgeschoven naar discretie.

De set regels kan ook worden opgevat als een programmeertaal, omdat deze een syntaxis moet hebben logica en consequent.

Achteraf gezien hebben andere wiskundigen meer geavanceerde versies van de Turing Machine gemaakt.

Er zijn dus machines met twee banden, deterministen, of zelfs een quantum Turing-machine die dat kan helpen, net als zijn illustere voorouder, de basis leggen voor de langverwachte berekening quantum.

Foto Fotolia: Chrisdorney / Steve Simmons

Onderwerpen in Turing Machine