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: | Olivier Carton, Dominique Perrin, Jean-Éric Pin |
---|---|
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 |
Similar Items
-
Regular matching problems for infinite trees
by: Carlos Camino, et al.
Published: (2022-02-01) -
Finitely generated subgroups of free groups as formal languages and their cogrowth
by: Arman Darbinyan, et al.
Published: (2021-11-01) -
Register Games
by: Karoliina Lehtinen, et al.
Published: (2020-05-01) -
Weighted omega-Restricted One Counter Automata
by: Manfred Droste, et al.
Published: (2018-03-01) -
An incompressibility theorem for automatic complexity
by: Bjørn Kjos-Hanssen
Published: (2021-01-01)