WYKONANIE DZIAŁANIA

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

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

SAMOOGRANICZONY ŚWIAT

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

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 elemen­cie technologicznego świata komputerów — na mate­matyce, logice, przestrzeni, czasie itd. — pokazując, jak dany element przyczynia się do tworzenia człowie­ka 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 Tu­ringa i von Neumanna czytelnikom o […]

JĘZYK PROCESORÓW

Niektórzy biolodzy i psycholodzy do­konali tego skoku używając języka procesorów elek­tronicznych do opisu swojej dziedziny badań. Wielu zaś tak dokładnie przyswoiło technologię, że nie stara­ją się dłużej wyjaśniać działania mózgu w kategoriach komputerowych, powiadając zamiast tego, że ludzkie umysły i komputery są dwoma przykładami „syste­mów myślących”. Każdy nowy komputer zaopatrzony jest w podręcznik o    tytule w rodzaju […]