Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors

Dana Angluin, Dana Fisman

The class of omega languages recognized by deterministic parity acceptors (DPAs) or deterministic Muller acceptors (DMAs) is exactly the regular omega languages. The inclusion prob…