The Hausdorff-Kuratowski hierarchy of \(\omega\)-regular languages and a hierarchy of Muller automata (Q1184990): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5541832 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decision problems forω-automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automata on infinite words. Ecole de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984 / rank | |||
Normal rank |
Latest revision as of 16:16, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Hausdorff-Kuratowski hierarchy of \(\omega\)-regular languages and a hierarchy of Muller automata |
scientific article |
Statements
The Hausdorff-Kuratowski hierarchy of \(\omega\)-regular languages and a hierarchy of Muller automata (English)
0 references
28 June 1992
0 references
Let \(\Sigma\) be a finite alphabet and \(\Sigma^ \omega\) the set of infinite strings over \(\Sigma\). The author gives a characterization of those \(G_ \delta\) subsets of \(\Sigma^ \omega\) which are deterministic \(\omega\)-regular (i.e., accepted by Büchi automata) and characterizes \(\omega\)-regular languages in terms of these rational \(G_ \delta\) sets. This characterization yields a hierarchy of \(\omega\)-regular languages that is similar to the difference hierarchy of Hausdorff and Kuratowski for \(\underset\sim\Delta_ 3^ 0\) sets. Both hierarchies coincide, when restricted to \(\omega\)-regular languages. These results yield an effective procedure for determining the complexity of a given Muller automaton.
0 references
complexity of Muller automaton
0 references
difference hierarchy
0 references