A decision procedure for subset constraints over regular languages.

Pieter Hooimeijer Westley Weimer

Published in: PLDI (2009)

Keyphrases

regular languages
decision problems
context free languages
grammatical inference
finite automata
regular expressions
decision makers
decision rules
pac learning
machine learning
feature selection
computational complexity
context free