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 […]
WYKONANIE DZIAŁANIA
Powiada się, że przed i po każdym wykonanym działaniu maszyna znajduje się w jednym z ograniczonej liczby stanów. Są one zdefiniowane przez logika, który skonstruował maszynę; w naszym przykładzie nazwane zostały Q1 i Q2. Maszyna zawsze „wie” dwie rzeczy: zna swój aktualny stan oraz aktualną komórkę taśmy wskazywaną przez znacznik. Te dwa czynniki to wszystko, […]
SEKWENCYJNOŚĆ MASZYNY
Jeśli maszyna ma zapisać jakikolwiek wynik, musi to zrobić na tej samej taśmie; może. go napisać na informacji wejściowej. Liczba komórek dostępnych po prawej stronie jest nieograniczona. Ruch znacznika wzdłuż taśmy jest kontrolowany, przez zbiór reguł działania. Na rysunku te reguły są zapisane w języku naturalnym, po polsku, choć Turing dla nadania takiego samego znaczenia […]
SAMOOGRANICZONY ŚWIAT
Maszyna Turinga jest właśnie takim samoograniczonym światem. Jedynym mieszkańcem tego świata jest maszyna logiczna. Składa się ona z dwóch części: skończonego zbioru nie zmienianych ,w czasie działania reguł postępowania, jakoś wbudowanych w mechanizm, oraz z taśmy .o nie ograniczonej długości, na której można zapisywać zmienne informacje. Na rysunku 4 taśma jest podzielona na komórki, z […]
MASZYNA TURINGA: STANY I SYMBOLE
Grając w jakąkolwiek grę, zgadzamy się na coś w rodzaju zawieszenia naszej niewiary, bez czego skądinąd niemożliwy^ jest teatr i film. Wchodzimy w inny świat: świat, którego logika składa się całkowicie z reguł gry. ;W tej mierze, w jakiej bierzemy grę „poważnie”, koncentrujemy się na logicznych ścieżkach i problemach, które reguły te definiują, a nie […]
ZASADY DZIAŁANIA
Każdy rozdział koncentruje się na jednym elemencie technologicznego świata komputerów — na matematyce, logice, przestrzeni, czasie itd. — pokazując, jak dany element przyczynia się do tworzenia człowieka Turinga. Każdy dobry podręcznik zaczyna się od przeglądu całej maszyny, i to właśnie jest celem tego rozdziału: ukazać składniki oraz funkcje maszyn Turinga i von Neumanna czytelnikom o […]