Improved SAT models for NFA learning

Frédéric Lardeux, Eric Monfroy

Grammatical inference is concerned with the study of algorithms for learning automata and grammars from words. We focus on learning Nondeterministic Finite Automaton of size k from…