autòmat que accepta o rebutja infinites entrades (ca)
automaton which either accepts or rejects infinite inputs (en)
ω-automa o automa finito che opera su parole di lunghezza infinita, con una particolare condizione di accettazione: una traccia ha successo se e solo se passa un numero infinito di volte per almeno uno stato accettante (it)