Projection lemmas for ω-languages

The paper presents projection lemmas relating the infinite behaviour of deterministic and unboundedly branching nondeterministic infinite automata.

Authors

• Ludwig Staiger

Keywords

No keywords are indexed for this paper.