Turing makina

Wikipedia, Entziklopedia askea
Zirriborro Artikulu hau zirriborroa da. Wikipedia lagun dezakezu edukia osatuz.

Turing makina, arau-taula baten arabera, ikurrak zinta zerrenda batean manipulatzen dituen gailu bat da. Sinplea den arren, Turing makina egokitu daiteke edozein ordenagailu-algoritmoren logika simulatzeko, eta oso erabilgarria da ordenagailu barneko CPUren funtzioak azaltzeko.


Jatorrian, Alan Turing matematikari ingelesak definitu zuen "makina automatiko" gisan 1936an, Proceedings of London Mathematical Society,[1]  aldizkarian. Turing makina ez dago diseinatua konputazio-teknologia praktiko modura, baizik eta, konputazio-makina adierazten duen gailu hipotetiko modura. Turing makinak laguntzen die zientzialariei kalkulu mekanikoaren mugak ulertzen.

Turingek esperimentuaren definizio laburra eman zuen 1948ko "Makina adimendun" saiakeran. 1936ko bere argitalpena aipatuz, Turingek idatzi zuen Turing makina, hemen logika-konputazioko makina deitua, honakoa zela:

Erreferentziak[aldatu | aldatu iturburu kodea]

  1. The idea came to him in mid-1935 (perhaps, see more in the History section) after a question posed by M. H. A. Newman in his lectures -- "Was there a definite method, or as Newman put it, a mechanical process which could be applied to a mathematical statement, and which would come up with the answer as to whether it was provable" (Hodges 1983:93).

Kanpo estekak[aldatu | aldatu iturburu kodea]