Turing i jego maszyny

Podobne dokumenty
Języki formalne i automaty Ćwiczenia 9

Maszyna Turinga języki

Hierarchia Chomsky ego Maszyna Turinga

Podstawy Informatyki Maszyna Turinga

Maszyna Turinga (Algorytmy Część III)

Matematyczne Podstawy Informatyki

Alan M. TURING. Matematyk u progu współczesnej informatyki

Automat ze stosem. Języki formalne i automaty. Dr inż. Janusz Majewski Katedra Informatyki

Elementy Teorii Obliczeń

MODELOWANIE RZECZYWISTOŚCI

Języki, automaty i obliczenia

Modelowanie wieloskalowe. Automaty Komórkowe - podstawy

Maszyna Turinga. Algorytm. czy program???? Problem Hilberta: Przykłady algorytmów. Cechy algorytmu: Pojęcie algorytmu

Złożoność obliczeniowa zadania, zestaw 2

Obliczenia inspirowane Naturą

Algorytmy sztucznej inteligencji

O ALGORYTMACH I MASZYNACH TURINGA

MASZYNA TURINGA UPRASZCZANIE DANYCH

Matematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń

Tajna wiadomość. Scenariusz lekcji

Struktury danych i złożoność obliczeniowa Wykład 6. Prof. dr hab. inż. Jan Magott

Obliczenia inspirowane Naturą

Obliczenia inspirowane Naturą

1 Automaty niedeterministyczne

Temat: Zastosowanie wyrażeń regularnych do syntezy i analizy automatów skończonych

Wyrażenie nawiasowe. Wyrażenie puste jest poprawnym wyrażeniem nawiasowym.

Automaty komórkowe. Katarzyna Sznajd-Weron

Zadanie 1. (6 punktów) Słowo w nazwiemy anagramem słowa v jeśli w można otrzymać z v poprzez zamianę kolejności liter. Niech

PROBLEMY NIEROZSTRZYGALNE

UWAGA!!! Przed przystąpieniem do zamknięcia roku proszę zrobić kopie bezpieczeństwa

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Budowa pierwszych komputerów i ich zastosowanie w matematyce

Języki formalne i automaty Ćwiczenia 7

Ćwiczenia z przetwarzania tablic 2D

Wstęp do informatyki. Architektura co to jest? Architektura Model komputera. Od układów logicznych do CPU. Automat skończony. Maszyny Turinga (1936)

Niestandardowe modele obliczeń

Znajdowanie wyjścia z labiryntu

Efektywność Procedur Obliczeniowych. wykład 5

Wprowadzenie do maszyny Turinga

1. Algorytmy przeszukiwania. Przeszukiwanie wszerz i w głąb.

Podstawy technologii WWW

Wykład5,str.1. Maszyny ze stosem ... 1,0 λ r. λ,z λ

1. Synteza automatów Moore a i Mealy realizujących zadane przekształcenie 2. Transformacja automatu Moore a w automat Mealy i odwrotnie

Języki formalne i automaty Ćwiczenia 4

Definicja: zmiennych zdaniowych spójnikach zdaniowych:

Odmiany maszyny Turinga. dr hab. inż. Joanna Józefowska, prof. PP 1

Struktura danych. Sposób uporządkowania informacji w komputerze.

Maszyny Turinga. Jerzy Pogonowski. Funkcje rekurencyjne. Zakład Logiki Stosowanej UAM

3.4. Opis konfiguracji layoutów.

2.1. Duszek w labiryncie

Algorytm. Krótka historia algorytmów

3. MINIMAX. Rysunek 1: Drzewo obrazujące przebieg gry.

Języki formalne i automaty Ćwiczenia 2

wagi cyfry pozycje

Hierarchia Chomsky ego

Algorytmy i struktury danych. wykład 2

1. Logowanie do systemu

Maszyna Turinga, ang. Turing Machine (TM)

CZĘŚĆ A PIERWSZE KROKI Z KOMPUTEREM

Języki formalne i automaty Ćwiczenia 6

ZŁOŻONOŚĆ OBLICZENIOWA ALGORYTMÓW

Implementacja maszyny Turinga w maszynie RAM

Przykład: Σ = {0, 1} Σ - zbiór wszystkich skończonych ciagów binarnych. L 1 = {0, 00, 000,...,1, 11, 111,... } L 2 = {01, 1010, 001, 11}

Matematyczne Podstawy Informatyki

Matematyczne Podstawy Informatyki

Informatyka. Michał Rad

Modelowanie wieloskalowe. Automaty Komórkowe - podstawy

6. Zagadnienie parkowania ciężarówki.

Definicja 2. Twierdzenie 1. Definicja 3

Języki formalne i automaty Ćwiczenia 5

Arkusz kalkulacyjny Excel

Informacja w perspektywie obliczeniowej. Informacje, liczby i obliczenia

Mateusz Żyliński Tadeusz Włodarkiewicz. WireWorld. Zebranie informacji dotyczących tematyki projektu oraz przedstawienie koncepcji realizacji projektu

Mini komputer Papy'ego

Jaki język zrozumie automat?

Funkcje standardowe. Filtrowanie

1 Wielokrotne powtarzanie tych samych operacji

UKŁADY MIKROPROGRAMOWALNE

Zawartość. Wstęp. Moduł Rozbiórki. Wstęp Instalacja Konfiguracja Uruchomienie i praca z raportem... 6

Matematyczne Podstawy Informatyki

Wprowadzenie: języki, symbole, alfabety, łańcuchy Języki formalne i automaty. Literatura

Algorytmy dla maszyny PRAM

Języki formalne i automaty Ćwiczenia 1

Materiały: kartki papieru (5 x 5 kolorów), piłeczki pingpongowe (5 x 5 kolorów), worek (nieprzeźroczysty).

Obliczanie. dr hab. inż. Joanna Józefowska, prof. PP 1

Systemy liczbowe. Bibliografia: Urządzenia techniki komputerowej, K. Wojtuszkiewicz

Informatyka I. Klasy i obiekty. Podstawy programowania obiektowego. dr inż. Andrzej Czerepicki. Politechnika Warszawska Wydział Transportu 2018

Teoretyczne podstawy informatyki

Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.

Instrukcje dla zawodników

Instrukcja połączenia z programem Compas LAN i import konfiguracji

Metody Kompilacji Wykład 3

Zajęcia nr 3_cz2 Praca z tekstem: WORD Wzory matematyczne. Tabele

Programowanie komputerów

2.2. Gramatyki, wyprowadzenia, hierarchia Chomsky'ego

Gramatyki, wyprowadzenia, hierarchia Chomsky ego. Gramatyka

Wstęp Sterowanie Utworzenie, wybór i kasowanie gracza. utworzenia nowego gracza Nowy gracz Nastawienie gracza

Podstawy Programowania Algorytmy i programowanie

Kolorowanie płaszczyzny, prostych i okręgów

Elementy modelowania matematycznego

Transkrypt:

Turing Magdalena Lewandowska Politechnika Śląska, wydział MS, semestr VI 20 kwietnia 2016

1 Kim był Alan Turing? Biografia 2 3 Mrówka Langtona Bomba Turinga 4

Biografia Kim był Alan Turing? Biografia Alan Turing(23.06.1912-7.06.1954) - angielski matymatyki i kryptolog, jeden z twórców informatyki. Miał duży wkład w rozszyfrowanie Enimgy w czasie II wojny światowej. Dzięki pracy O liczbach obliczalnych w wieku 26 lat Turing został uznany za jednego z najwybitniejszych matematyków świata.

Maszyna Turinga to stworzony w 1937 roku przez Alana Turinga abstrakcyjny model komputera służącego do wykonywania algorytmów. Urządzenie to jest bardzo prymitywne w porównaniu z dzisiejszymi komputerami oraz językami programowania, mimo to jest zdolne do wykonywania nawet najbardziej złożonych algorytmów.

Jak działa maszyna Turinga? Maszyna Turinga jest mechanizmem powstałym w wyniku ciągu uproszczeń danych, sterowania nimi oraz uproszczeń podstawowych operacji. Składa się z nieskończenie długiej taśmy podzielonej na pola, w których zapisuje się dane. Każde pole może znajdować się w jednym z N stanów. Urządzenie zawsze ustawiona jest na jednym z pól i znajduje się w jednym z M stanów.

Formalny definicja Kim był Alan Turing? Definicja Maszynę Turinga określa się jako: M = (Q, Σ, δ, Γ, q 0, B, F ), gdzie: Q to skończony zbiór stanów, q 0 to stan początkowy (Q 0 Q), F to zbiór stanów końcowych, Γ to skończony zbiór dopuszczalnych symboli, B to symbol pusty(b Γ), Σ to zbiór symboli wejściowych (Σ Γ, B / Σ), δ to funkcja: δ : Γ Q Q Γ {L, P, }

Jak działa maszyna Turinga? W zależności od kombinacji stanu maszyny i pola, maszyna zapisuje nową wartość w polu, zmienia stan, a następnie może przesunąć się o jedno pole w prawo, w lewo, lub pozostać na miejscu. Taka operacja wykonywana przez maszynę Turinga nazywana jest rozkazem. Urządzenie jest sterowane listą zawierającą dowolną liczbę rozkazów, traktowaną jako program dla maszyny Turinga.

Generuje listę przedstawiającą ewolucję maszyny Turinga z określoną regułą i stanem początkowym, dla t kroków.

Za pomocą komendy tworzy się wiersz komórek zwanych taśmą: Następnie na taśmie umieszczana jest głowica:

Głowica maszyny może być skierowana w różnych kierunkach, aby pokazać, w jakim stanie się znajduje. Załóżmy, że istnieją tylko trzy stany, a więc głowica może wskazać trzy różne kierunki: Ponadto każda komórka na taśmie ma określony kolor. W najprostszym przypadku zakładamy, że istnieją tylko dwa możliwe kolory (binarne) czarny i biały:

Tak więc, dla każdego z trzech stanów głowicy, możliwe jest przyporządkowanie jednego z dwóch kolorów komórki, co daje nam sześć różnych sytuacji: Poniższa tabela reguł informuje maszynę, co ma zrobić w danej sytuacji:

- przykład Dla przykładu przyjmijmy, że głowica znajduje się w pierwszym stanie na pustej taśmie: Sprawdzamy w tabeli reguł gdzie głowica znajduje się na białym polu w pierwszym stanie:

- przykład Reguła mówi, że komórka na której znajduje się głowica zmienia kolor na czarny, głowica porusza się w lewo i przechodzi w trzeci stan: Zaktualizowana taśma pokazana jest poniżej poprzedniej, pokazując w ten sposób pierwotny i obecny stan głowicy.

- przykład Teraz głowica znajduje się w trzecim stanie na białym polu: Reguła mówi, że komórka na której znajduje się głowica zmienia kolor na czarny, głowica porusza się w prawo i przechodzi w drugi stan. Teraz głowica znajduje się w drugim stanie na czarnym polu.

- przykład Postępując dalej zgodnie z regułami otrzymujemy ewolucję maszyny Turinga. Poniżej przedstawiono ewolucję po 20 krokach:

Mrówka Langtona Bomba Turinga maszyn Turinga - mrówka Langtona Mrówka Langtona to prosty automat komórkowy, traktowany również jako dwuwymiarowa maszyna Turinga.

Mrówka Langtona Bomba Turinga maszyn Turinga - mrówka Langtona W każdym z kroków wyróżniona jest jedna komórka zwana mrówką, która oprócz koloru ma także określony kierunek, w którym się porusza. Mrówka ta zachowuje się według następujących zasad: jeśli znajduje się na białym polu to obraca się w lewo o kąt prosty, zmienia kolor na czarny w przechodzi na następną komórkę; jeśli znajduje się na polu czarnym to obraca się w prawo o kąt prosty, zmienia kolor na biały i przechodzi na następną komórkę; porusza się na nieskończonej planszy podzielonej na kwadratowe komóki w dwóch możliwych kolorach: czarnym i białym.

Mrówka Langtona Bomba Turinga maszyn Turinga - bomba Turinga Bomba Turinga to maszyna zbudowana w celu łamania szyfrogramów niemieckiej maszyny Enigmy. Skonstruowana przez Alana Turinga w oparciu o pracę polskich kryptoanalityków. Jej działanie oparte było na założeniu, że pewne sekwencje kodu muszą się pojawić w każdej informacji (tak jak można założyć, że w tekście prędzej czy później pojawi się słówko się ).

Bibliografia Kim był Alan Turing? Dostepny w Internecie: http://blog.wolfram.com/2012/12/20/hunting-for-turingmachines-at-the-wolfram-science-summer-school/ [online][dostep 19 kwietnia 2016] Hasła: Alan Turing, maszyna Turinga [online][dostep 19 kwietnia 2016].Dostepny w Internecie: http://pl.wikipedia.org/