Přechod
Definice: Nechť c, c’ jsou dvě konfigurace TS M. Potom  M může provést přechod  z c do c’ použitím r, zapsáno c |–S c’ [r] nebo zjednodušeně c |–S c’ pokud: c |–X c’ [r] pro nějaké X Î {S, R, L}.
12/45