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...

Full description

Bibliographic Details
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