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