Prechodová funkcia (teória automatov)

Prechodová funkcia  (značka h(t) ) je analytické vyjadrenie prechodovej charakteristiky. Prechodová charakteristika je odpoveď dynamického systému na jednotkový skok (v časovom vyjadrení) pri nulových počiatočných podmienkach. 

Prechodovou funkciou možno rozumieť samotný program Turingovho stroja.

Formálne:

funkcia, ktorá na základe dvoch vstupov: 
 číslo stavu Turingovho stroja
 symbol na políčku, nad ktorým je hlava Turingovho stroja

vydá tri výstupy:
 číslo stavu, do ktorého sa Turingov stroj bezprostredne dostane
 písmeno, ktoré má zapísať na políčko, nad ktorým je hlava
 smer, ktorým sa má hlava posunúť (krok-doľava, krok-doprava, ostaň-na-mieste)

Kategória:Teória automatov