A Logical Treatment of Finite Automata.

Nishant Rodrigues Mircea Sebe Xiaohong Chen Grigore Rosu

Published in: TACAS (1) (2024)

Keyphrases

finite automata
regular expressions
deterministic automata
grammatical inference
probabilistic automata
hidden markov models
regular languages
tree automata
databases
artificial intelligence
finite automaton
database
expert systems
pattern matching