A Logical Descriptor for Regular Languages via Stone Duality.

Stefano Aguzzoli Denisa Diaconescu Tommaso Flaminio

Published in: ICTAC (2014)

Keyphrases

regular languages
context free languages
regular expressions
grammatical inference
finite automata
decision problems
context free grammars
pac learning
positive data
pattern matching
finite state machines
context free
reinforcement learning
upper bound
equivalence queries