Ta komórka jest pusta, a maszyna znajduje się w sta­nie Q2, zatem obowiązuje reguła numer dwa. Maszyna wpisuje „0”, przesuwa swój znacznik na prawo i za­trzymuje 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 […]

Są to jedyne środki, za po­mocą których maszyna Turinga może operować dany­mi. Proces ten powtarza się w ten sam sposób tak długo, póki maszyna nie napotka reguły, która naka­zuje 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 […]

Powia­da 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 skon­struował maszynę; w naszym przykładzie nazwane zo­stał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 wszy­stko, […]

Jeśli maszyna ma zapisać jakikolwiek wynik, musi to zrobić na tej samej taś­mie; może. go napisać na informacji wejściowej. Licz­ba komórek  dostępnych po prawej stronie jest nie­ograniczona. Ruch znacznika wzdłuż taśmy jest kon­trolowany, 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 […]

Maszyna Turinga jest właśnie takim samoograniczonym światem. Jedynym mieszkańcem tego świata jest maszyna lo­giczna. 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 […]

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 […]