Operations on Self-Verifying Finite Automata.

Jozef Stefan Jirásek Galina Jirásková Alexander Szabari

Published in: CSR (2015)

Keyphrases

finite automata
deterministic automata
grammatical inference
regular expressions
probabilistic automata
tree automata
finite automaton
hidden markov models
model checking
regular languages
knowledge base
computational model
pattern matching
language learning