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, […]
Autor: Witold Tereszkiewicz
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 […]
JĘZYK PROCESORÓW
Niektórzy biolodzy i psycholodzy dokonali tego skoku używając języka procesorów elektronicznych do opisu swojej dziedziny badań. Wielu zaś tak dokładnie przyswoiło technologię, że nie starają 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 „systemów myślących”. Każdy nowy komputer zaopatrzony jest w podręcznik o tytule w rodzaju […]