Undecidability and Finite Automata.

Jörg Endrullis Jeffrey O. Shallit Tim Smith

Published in: CoRR (2017)

Keyphrases

finite automata
probabilistic planning
probabilistic automata
description logics
grammatical inference
deterministic automata
regular expressions
tree automata
hidden markov models
finite automaton
high level
regular languages
databases
database systems
domain knowledge
knowledge acquisition