Poszukiwali oni sposobów zbudowania maszyn Turinga z próżniowych lamp elektronicznych zamiast konstrukcji na papierze. Elektroniczna wersja pracowałaby miliony razy szybciej niż matematyk stosujący te reguły i stosownie do nich piszący symbole.Trzeba było rozważyć dwie sprawy: reguły działania oraz dane, do których mają one być zastosowane. Dane mogły być zaznaczone na kartach dziurkowanych, wewnątrz maszyny’przedstawione przez […]
Autor: Witold Tereszkiewicz
PIERWOTNY ARGUMENT
Można pokazać — i to był pierwotny argument Turinga — że istnieją problemy, których żadna maszyna Turinga nigdy nie będzie w stanie rozwiązać; może ona bez końca przesuwać swą taśmę, nie dochodząc do rozwiązania. Takie problemy ukazują ostateczne, choć nie jedyne, ograniczenie mocy komputera cyfrowego.Prześledziliśmy logiczny duch komputera w maszynie Turinga. Aczkolwiek pomysłowe, urządzenie to […]
KAŻDE ZADANIE
Maszyna Turinga nie pracuje, jak czyni to maszyna parowa, a jedynie tam i z powrotem przesuwa swój znacznik wzdłuż taśmy, analizując, ścierając i wpisując symbole stosownie do swych reguł działania. Taka maszyna nie zwiększa zdolności fizycznego panowania człowieka nad przyrodą, zatem słowa „maszyna” powinniśmy używać tylko per analogiam. Bez względu na nazwę, abstrakcja Turinga faktycznie […]
KOMPUTER CYFROWY
Okazuje się, że logik nie musi konstruować nowej maszyny, zawierającej nowe reguły, dla każdego zadania programistycznego. Można zaprojektować jedną maszynę, uniwersalną maszynę Turinga, w ten sposób, iż mając dane właściwe symbole wejściowe na taśmie, potrafi ona wykonywać wszelkie zadania, które może wykonać każda pojedyncza maszyna Turinga. Za taką uniwersalną maszynę Turinga może być uznany komputer […]
NIEOGRANICZONA LICZBA
Ta komórka jest pusta, a maszyna znajduje się w stanie Q2, zatem obowiązuje reguła numer dwa. Maszyna wpisuje „0”, przesuwa swój znacznik na prawo i zatrzymuje się. Program się skończył, jego skromnym wynikiem jest zastąpienie liczby 1 przez liczbę 10.Oczywiście, istnieje nieograniczona liczba innych, bardziej interesujących maszyn Turinga. Ich zasady działania są takie same, niezależnie […]
JEDYNE ŚRODKI
Są to jedyne środki, za pomocą których maszyna Turinga może operować danymi. Proces ten powtarza się w ten sam sposób tak długo, póki maszyna nie napotka reguły, która nakazuje jej zatrzymać się; wówczas maszyna ukończyła swoje zadanie.Maszyna Turinga jest grą, w której nie ma miejsca na inicjatywę gracza. Jedyny element, który może się zmieniać, to […]