Gli automi a stati finiti sono dotati di un insieme finito di stati, scandiscono una stringa di simboli in ingresso (simbolo per simbolo) in maniera ordinata per decidere se essa appartenga o meno ad un linguaggio.
ʎɪ aʊtˈomɪ a stˈatɪ finˈitɪ sˌono dotˈatɪ dɪ ʊn insɪˈɛme finˈito dɪ stˈatɪ, skandˈiskono ˌʊna strˈiŋɡa dɪ sˈimbolɪ in iŋɡrˈɛsso sˈimbolo per sˈimbolo in maniˈɛra ordinˈata per detʃˈidere se ˌessa apːartˈeŋɡa o mˈeno ad ʊn liŋɡwˈadʒːo.