Star-free languages are Church-Rosser congruential.

Volker Diekert Manfred Kufleitner Pascal Weil

Published in: Theor. Comput. Sci. (2012)

Keyphrases

expressive power
description languages
databases
multi lingual
grammatical inference
language independent
language identification
random numbers
database
computer programs
context free grammars
text classification
pseudorandom
database systems
object oriented languages
arabic language
interchange format