Title :
Inference of Sequential Machines from Sample Computations
Author_Institution :
Department of Electrical Engineering, Twente University of Technology
Abstract :
This correspondence presents and justifies an algorithm for finding a minimal, though not a smallest, finite sequential machine with a behavior comprising a given finite sample of input-output behavior of some unknown sequential machine. When the number of states n of the machine to be identified is known and the sample contains all input-output pairs of length 2n - 1, the machine found will be equivalent to the original machine and will be minimal.
Keywords :
Adaptive sequential machines; identification in the limit; identification on sequential machines; inductive inference; synthesis of sequential machines; Automata; Inference algorithms; Adaptive sequential machines; identification in the limit; identification on sequential machines; inductive inference; synthesis of sequential machines;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1978.1675053
