Amendments to Zeiger's Cascade Synthesis of Finite-State Machines

Published in: Inf. Control. (1968)

Keyphrases

finite state machines
functional decomposition
finite state automata
model checking
program synthesis
digital circuits
regular expressions
texture synthesis
neural network
database systems
co occurrence