Login / Signup

Cascade synthesis of finite-state machines

H. Paul Zeiger
Published in: SWCT (1965)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • functional decomposition
  • hidden markov models
  • digital circuits
  • regular expressions
  • texture synthesis
  • program synthesis
  • information extraction