Families of DFAs as Acceptors of ω-Regular Languages

Dana Angluin, Udi Boker, Dana Fisman. Families of DFAs as Acceptors of ω-Regular Languages. Logical Methods in Computer Science, 14(1), 2018. [doi]

Abstract

Abstract is missing.