Gli automi sono spesso utilizzati per descrivere linguaggi formali in informatica teorica, e per questo sono chiamati accettori o riconoscitori di un linguaggio.
ʎɪ aʊtˈomɪ sˌono spˈesso ʊtilidzːˈatɪ per deskrˈivere liŋɡwˈadʒːɪ formˈalɪ in informˈatika teˈɔrika, e per kwˌesto sˌono kjamˈatɪ atʃːetːˈorɪ o rikonoʃitˈorɪ dɪ ʊn liŋɡwˈadʒːo.