Login / Signup
Cascade Synthesis of Finite-State Machines
H. Paul Zeiger
Published in:
Inf. Control. (1967)
Keyphrases
</>
finite state machines
model checking
functional decomposition
finite state automata
regular expressions
hidden markov models
texture synthesis
program synthesis
database systems
digital circuits
data mining
query processing
domain knowledge
functional programs