Definice Turingova stroje

Když svět ve třicátých letech směřoval k novému globálnímu požáru, věda o výpočetní Rovněž postupoval, veden v mnoha případech přípravou na válečné úsilí, kterou někteří již očekávali.

V této souvislosti britský matematik Alan Turing (a posteriori považován za jednoho z otců výpočetní moderní) rozvíjí svou práci a v roce 1936 předpokládá, co bude základem počítač moderní.

Volání Turingův stroj Jedná se o teoretické zařízení schopné zpracovávat data podle daných pravidel.

Pravidla i údaje jsou oddělené; Turing si ve skutečnosti představoval, že pravidla budou uložena na nějakém pevném médiu, zatímco data by byla uložena na pásky, které by stejný stroj mohl upravit podle tabulky pravidla.

V tomto koncepčním modelu jasně vidíme pokrok v tom, jaké moderní počítače budou: i když má člověk úroveň Uživatelské jméno jednoduché, můžete snadno vidět rozdíl mezi aplikace „Neměnné“ (s nuancemi, ale v tomto případě to pojďme takto) a data, která lze změnit podle pravidel, která by byla programování.

Ačkoli je teoretický Turingův stroj strašně jednoduchý, provádí pouze velmi základní operace, jako je změna stavu, čtení a psaní, je schopen provádět všechny matematické výpočty, které může mechanický počítač provádět pomocí a algoritmus.

Jinými slovy, pokud by problém mohl být vyjádřen pomocí a algoritmus Písemně jej mohl zpracovat - alespoň v teoretické rovině - Turingův stroj.

Alan Turing to pojal jako cvičení, které mělo ukázat, že existují matematické problémy, které počítače nedokážou vyřešit.

Datovou pásku, kterou Turing pojal jako nekonečnou, lze strojem přesouvat zprava doleva a zleva doprava, jako stará kazeta nebo filmová páska, kterou lze převinout nebo posunout na uvážení.

Soubor pravidel lze také chápat jako programovací jazyk, protože musí mít syntaxi logika a důsledné.

Při zpětném pohledu vytvořili další matematici sofistikovanější verze Turingova stroje.

Existují tedy stroje se dvěma pásmy, deterministy nebo dokonce kvantový Turingův stroj, který to dokáže pomoc, stejně jako její slavný předchůdce, položil základy dlouho očekávaného výpočtu kvantová.

Foto Fotolia: Chrisdorney / Steve Simmons