Login / Signup
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers
Dines Bjørner
Published in:
SWAT (1970)
Keyphrases
</>
completely independent
finite state
markov chain
markov decision processes
model checking
optimal policy
natural language
average cost
context free
tree automata
action sets
continuous time bayesian networks
machine learning
state space
finite state transducers