Tale funzione, descritta mediante una tabella di transizione degli stati, o un multidigrafo, è definita per coppie (stato corrente, simbolo scandito) e stabilisce la transizione da compiere, ossia lo stato in cui si transita leggendo il dato simbolo.
tˈale fʊntsiˈone, deskrˈitːa mediˈante ˌʊna tabˈɛlla dɪ transitsiˈone dˌeʎɪ stˈatɪ, o ʊn mʊltidˈiɡrafo, e definˈita per kˈopːje stˈato korɾˈɛnte, sˈimbolo skandˈito e stabilˈiʃe la transitsiˈone da kˈompjere, ossˈia lo stˈato in kˈuj sɪ trˈansita ledʒːˈɛndo il dˈato sˈimbolo.