A survey on difference hierarchies of regular languages
Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this survey paper, we study difference hierarchies of regular languages. The first sections describe standard techniques on difference hierarchies, mostly due to Hausdorff. We...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2018-03-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/3161/pdf |
| Summary: | Difference hierarchies were originally introduced by Hausdorff and they play
an important role in descriptive set theory. In this survey paper, we study
difference hierarchies of regular languages. The first sections describe
standard techniques on difference hierarchies, mostly due to Hausdorff. We
illustrate these techniques by giving decidability results on the difference
hierarchies based on shuffle ideals, strongly cyclic regular languages and the
polynomial closure of group languages. |
|---|---|
| ISSN: | 1860-5974 |