Formalmente tali automi sono delle quintuple, (Q, I, f, q0, F ), formate da un alfabeto finito dei simboli in ingresso (I), un insieme finito di stati (Q) tra cui si distingue uno stato iniziale (q0) ed un sottoinsieme di stati, detti finali (F), ed una funzione di transizione (f).
formalmˈente tˈalɪ aʊtˈomɪ sˌono dˌelle kwintˈuple, kˈu, ˈi, ˈɛffe, kˈu dzˈɛɾo, ˈɛffe, formˈate da ʊn alfabˈɛto finˈito dˌeɪ sˈimbolɪ in iŋɡrˈɛsso ˈi, ʊn insɪˈɛme finˈito dɪ stˈatɪ kˈu tra kˈuj sɪ distˈiŋɡwe ˈuno stˈato initsjˈale kˈu dzˈɛɾo ed ʊn sotːoinsjˈɛme dɪ stˈatɪ, dˈetːɪ finˈalɪ ˈɛffe, ed ˌʊna fʊntsiˈone dɪ transitsiˈone ˈɛffe.