Maszyny Turinga - Zakład Logiki Stosowanej, UAM

Definicja maszyny Turinga
Dwa przykłady operacji na maszynach Turinga.
Niech T 1 , T 2 , T 3 będą maszynami Turinga z tym samym alfabetem
zewnętrznym A = {a 0 , a 1 , . . . , a n }, z alfabetami stanów wewnętrznych:
Q 1 = {q 0 , q 1 , . . . , q r }, Q 2 = {q 0 , q 1 , . . . , q s }, Q 3 = {q 0 , q 1 , . . . , q t }
oraz programami Π 1 , Π 2 , Π 3 , odpowiednio.
Złożeniem T 1 · T 2 maszyn T 1 i T 2 nazywamy maszynę T , której program
jest sumą zbiorów:
S q 0
q r+1
Π 1 ∪ S q 1...q s
q r+1 ...q r+s
Π 2 ,
gdzie S q j
q i
Π oznacza zbiór rozkazów otrzymanych z Π poprzez zamianę
wszystkich wystąpień q j na q i .
Jerzy Pogonowski (MEG) Maszyny Turinga Funkcje rekurencyjne 14 / 28