The Complexity of Translating Logic to Finite Automata.

Klaus Reinhardt

Published in: Automata, Logics, and Infinite Games (2001)

Keyphrases

finite automata
regular expressions
grammatical inference
deterministic automata
probabilistic automata
tree automata
machine learning
keywords
decision problems
modal logic
finite automaton
database
databases
artificial intelligence
data analysis
pattern matching