Regular Languages are Church-Rosser Congruential

Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter

Published in: CoRR (2012)

Keyphrases

regular languages
regular expressions
grammatical inference
context free languages
finite automata
decision problems
context free grammars
positive data
pac learning
finite state machines
statistical queries
context free
databases
upper bound
decision makers
equivalence queries