Carton, Olivier and Perrin, Dominique and Pin, Jean-Éric - A survey on difference hierarchies of regular languages

lmcs:4411 - Logical Methods in Computer Science, March 29, 2018, Volume 14, Issue 1
A survey on difference hierarchies of regular languages

Authors: Carton, Olivier and Perrin, Dominique and Pin, Jean-Éric

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.


Source : oai:arXiv.org:1702.08023
DOI : 10.23638/LMCS-14(1:24)2018
Volume: Volume 14, Issue 1
Published on: March 29, 2018
Submitted on: February 28, 2017
Keywords: Computer Science - Formal Languages and Automata Theory,68Q70, 68Q45, 20M35


Share

Consultation statistics

This page has been seen 61 times.
This article's PDF has been downloaded 31 times.