Login / Signup
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