Finite Automata synthesis from Interactions.

Erwan Mahe Boutheina Bannour Christophe Gaston Arnault Lapitre Pascale Le Gall

Published in: FormaliSE@ICSE (2024)

Keyphrases

finite automata
probabilistic automata
regular expressions
grammatical inference
deterministic automata
hidden markov models
tree automata
regular languages
finite automaton
data analysis
databases
pattern matching
high throughput