– skończony zbiór stanów, – skończony zbiór symboli wejściowych, – skończony zbiór dopuszczalnych symboli, – stan początkowy, – symbol pusty, który należy do zbioru dopuszczalnych symboli, ale nie może być symbolem wejściowym, – zbiór stanów końcowych, – funkcja częściowa, zwana funkcją przejść, gdzie jest liczbą taśm, to przesunięcie w lewo, przesunięcie w prawo, a to brak przesunięcia.
Maszyna Turinga z dwoma stosami Maszyna Turinga z dwoma stosami (ang. two-stack Turing machine) – to deterministyczna maszyna Turinga z taśmą wejściową służącą tylko do odczytu, oraz dwiema taśmami pamięci. Jeżeli na którejkolwiek z taśm pamięci głowica przesuwa się w lewo, to na danej taśmie drukowany jest symbol pusty.
Przetwornik ciągów skończonych Specjalnym przypadkiem wielotaśmowej maszyny Turinga jest maszyna posiadająca trzy taśmy: roboczą, wejściową i wyjściową. Na taśmie wejściowej umieszczone jest słowo wejściowe tylko do odczytu, bez możliwości zmiany zawartości komórek. Na taśmie wyjściowej w chwili początkowej umieszczone są wyłącznie symbole puste, a w trakcie wykonywania programu w komórkach zapisywane są pewne symbole wynikające z prowadzonych obliczeń.
Zobacz też maszyna Turinga maszyna Turinga z wyrocznią niedeterministyczna maszyna Turinga
Przypisy
Kategoria:Teoria automatów Kategoria:Teoria obliczeń