A Decision Procedure for Computations of Finite Automata.

Published in: J. ACM (1962)

Keyphrases

finite automata
deterministic automata
probabilistic automata
regular expressions
grammatical inference
decision making
tree automata
regular languages
finite automaton
hidden markov models
databases
decision rules
decision problems
database
metadata
decision makers