Fixing the State Budget: Approximation of Regular Languages with Small DFAs.

Graeme Gange Pierre Ganty Peter J. Stuckey

Published in: ATVA (2017)

Keyphrases

regular languages
context free languages
grammatical inference
regular expressions
finite state machines
active learning
machine learning
relational databases
small number
decision problems
finite automata