1 code implementation • 19 Dec 2018 • Alexis Linard, Colin de la Higuera, Frits Vaandrager
The Galois connection and the metric allow us to derive an efficient algorithm to learn the union of k-TSS languages.
Formal Languages and Automata Theory
no code implementations • 6 Jun 2017 • Alexis Linard, Rick Smetsers, Frits Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer
A classical problem in grammatical inference is to identify a deterministic finite automaton (DFA) from a set of positive and negative examples.