Families of DFAs as Acceptors of $\omega$-Regular Languages

Dana Angluin, Udi Boker, Dana Fisman

Families of DFAs (FDFAs) provide an alternative formalism for recognizing $\omega$-regular languages. The motivation for introducing them was a desired correlation between the automaton…