Some results on fairness: The regular case. (English) Zbl 0612.68029

Priese, Lutz; Rehrmann, Ralf; Willecke-Klemme, Uwe

STACS 87, Theoretical aspects of computer science, Proc. 4th annu. Symp., Passau/FRG 1987, Lect. Notes Comput. Sci. 247, 383-395 (1987).

[For the entire collection see Zbl 0604.00016.]
We introduce some steps towards a theory of fairness in \(\omega\)-regular languages.

MSC:

68N25	Theory of operating systems
68Q45	Formal languages and automata

Keywords:

automata; formal language theory; \(\omega \)-regular languages

Citations:

Zbl 0604.00016