Definicja maszyny Turinga

Kiedy świat zmierzał ku nowej globalnej pożodze, w latach 30. XX wieku nauka przetwarzanie danych Posuwała się również naprzód, kierując się w wielu przypadkach przygotowaniami do wysiłku wojennego, którego niektórzy już oczekiwali.

W tym kontekście brytyjski matematyk Alan Turing (a posteriori uważany za jednego z ojców przetwarzanie danych nowoczesnej) rozwija swoją pracę i w 1936 r. postuluje, jakie będą fundamenty komputer nowoczesny.

Telefon Maszyna Turinga Jest to teoretyczne urządzenie zdolne do przetwarzania danych według określonych zasad.

Zarówno zasady, jak i dane są oddzielone; w rzeczywistości Turing wyobrażał sobie, że reguły będą przechowywane na jakimś stałym nośniku, podczas gdy dane byłyby przechowywane na taśmach, które ta sama maszyna mogłaby modyfikować zgodnie z tabelą zasady.

Wyraźnie widzimy w tym modelu koncepcyjnym postęp tego, czym będą współczesne komputery: nawet jeśli ma się poziom Nazwa Użytkownika proste, możesz łatwo zobaczyć różnicę między

aplikacja „Niezmienne” (z niuansami, ale w tym przypadku przyjmijmy to w ten sposób) i dane, które można zmienić zgodnie z regułami, które byłyby programowanie.

Chociaż teoretyczna maszyna Turinga jest strasznie prosta, wykonując tylko bardzo podstawowe operacje, takie jak zmiana stanu, czytając i pisząc, jest w stanie wykonać wszystkie obliczenia matematyczne, które może wykonać komputer mechaniczny za pomocą algorytm.

Innymi słowy, jeśli problem można wyrazić poprzez a algorytm Pisemnie mógłby być przetwarzany – przynajmniej na poziomie teoretycznym – przez maszynę Turinga.

Alan Turing wymyślił to jako ćwiczenie pokazujące, że istnieją problemy matematyczne, których komputery nie są w stanie rozwiązać.

Taśma z danymi, którą Turing wyobrażał sobie jako nieskończoną, może być przesuwana przez maszynę od prawej do lewej i od lewej do prawej, jak stara kaseta lub taśma filmowa, którą można przewinąć lub przewinąć do dyskrecja.

Zbiór reguł może być również rozumiany jako język programowania, ponieważ musi mieć składnię logika i spójny.

Z perspektywy czasu inni matematycy stworzyli bardziej wyrafinowane wersje maszyny Turinga.

Tak więc istnieją maszyny z dwoma pasmami, deterministami, a nawet kwantowa maszyna Turinga, która może: pomóc, podobnie jak jego znakomity przodek, położyć podwaliny pod długo oczekiwane obliczenia kwant.

Fotolia: Chrisdorney / Steve Simmons

Tematy w maszynie Turinga