On the Synthesis of Finite-State Machines from Samples of Their Behavior.

Alan W. Biermann Jerome A. Feldman

Published in: IEEE Trans. Computers (1972)

Keyphrases

finite state machines
cellular automaton
finite state automata
model checking
state transition
data sets
training samples
hidden markov models
human behavior
databases
video sequences
data management
program synthesis