Skip to main content

1987 | ReviewPaper | Buchkapitel

A concatenation game and the dot-depth hierarchy

verfasst von : Wolfgang Thomas

Erschienen in: Computation Theory and Logic

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

We introduce a variant of the Ehrenfeucht Fraïssé game which is appropriate for an analysis of the expressive power of star-free regular expressions. As an application we present a simple proof showing that the dot-depth hierarchy of star-free languages is strict.

Metadaten
Titel
A concatenation game and the dot-depth hierarchy
verfasst von
Wolfgang Thomas
Copyright-Jahr
1987
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/3-540-18170-9_183