Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Definicja maszyny Turinga Przyjmijmy M (0) T = M, M(n+1) T = (M (n) T )′ . Mówimy, że maszyna T przetwarza słowo maszynowe M w słowo M 1 , jeżeli dla pewnego n: M (n) T = M 1. Piszemy wtedy M ⇒ T M 1 . Piszemy M ⇛ M 1 , jeśli maszyna T przetwarza M w M 1 i nie jest przy T tym wykorzystywany warunek (C 2 ) powyższej definicji. Piszemy natomiast M ↦→ M 1 , jeśli maszyna T przetwarza M w M 1 , a T przy tym nie są wykorzystywane warunki (B 1 ) oraz (C 2 ) powyższej definicji. Jerzy Pogonowski (MEG) Maszyny Turinga Funkcje rekurencyjne 10 / 28
Definicja maszyny Turinga Zobaczymy za chwilę działanie bardzo prostej maszyny Turinga, na przykładzie programu zawartego w książce: Wychodzimy z tej prezentacji i oglądamy działanie programu. Jerzy Pogonowski (MEG) Maszyny Turinga Funkcje rekurencyjne 11 / 28
- Page 1 and 2: Maszyny Turinga Jerzy Pogonowski Za
- Page 3 and 4: Wprowadzenie Będziemy korzystać z
- Page 5 and 6: Wprowadzenie Jerzy Pogonowski (MEG)
- Page 7 and 8: Definicja maszyny Turinga Maszyna T
- Page 9: Definicja maszyny Turinga Niech dan
- Page 13 and 14: Definicja maszyny Turinga Mówimy,
- Page 15 and 16: Definicja maszyny Turinga Rozwidlen
- Page 17 and 18: Definicja maszyny Turinga Numerem r
- Page 19 and 20: Przykłady obliczeń 2. Skonstruowa
- Page 21 and 22: Przykłady obliczeń 4. Skonstruowa
- Page 23 and 24: Uwagi metateoretyczne Jak „mocne
- Page 25 and 26: Uwagi metateoretyczne Teza Churcha-
- Page 27 and 28: Koniec Koniec Od następnego wykła
Definicja maszyny <strong>Turinga</strong><br />
Zobaczymy za chwilę<br />
działanie bardzo prostej<br />
maszyny <strong>Turinga</strong>, na<br />
przykładzie programu<br />
zawartego w książce:<br />
Wychodzimy z tej prezentacji i oglądamy działanie programu.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 11 / 28