An introduction to finite automata and their connection to logic

Howard Straubing Pascal Weil

Published in: CoRR (2010)

Keyphrases

finite automata
regular expressions
probabilistic automata
grammatical inference
deterministic automata
hidden markov models
tree automata
modal logic
database
regular languages
finite automaton
logic programming
databases
knowledge representation
computational model