Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic.
James W. ThatcherJesse B. WrightPublished in: Math. Syst. Theory (1968)
Keyphrases
- decision problems
- finite automata
- influence diagrams
- deterministic automata
- regular expressions
- grammatical inference
- optimal policy
- decision processes
- expected utility theory
- probabilistic automata
- utility function
- decision model
- computational complexity
- np hard
- logic programming
- probability theory
- hidden markov models
- tree automata
- machine learning
- dynamic programming
- belief functions
- search algorithm
- reinforcement learning