Maszyny Turinga - Zakład Logiki Stosowanej, UAM

Definicja maszyny Turinga
Niech dane będą maszyna T oraz słowo maszynowe M = Aq i a j B, gdzie
0 i m. Przez M
T ′ oznaczymy słowo otrzymane z M według
następujących reguł:
(1) dla i = 0 niech M ′ T = M;
(2) dla i > 0:
(a) jeśli T (i, j) jest postaci q i a j → q k a l , to M ′ T = Aq ka l B;
(b) jeśli T (i, j) jest postaci q i a j → q k a l R, to:
(B 1) jeśli B nie jest słowem pustym, to M ′ T = Aa l q k B,
(B 2) jeśli B jest słowem pustym, to M ′ T = Aa l q k a 0;
(c) jeśli T (i, j) jest postaci q i a j → q k a l L, to:
(C 1) jeśli A = A 1a s dla pewnych A 1 oraz a s, to M ′ T = A 1q k a sa l B,
(C 2) jeśli A jest słowem pustym, to M ′ T = q k a 0a l B.
Jerzy Pogonowski (MEG) Maszyny Turinga Funkcje rekurencyjne 9 / 28