Realization of Input-Output Relations by Sequential Machines

1 January 1966

journal article
Published by Association for Computing Machinery (ACM) in Journal of the ACM

Vol. 13 (1) , 33-42
https://doi.org/10.1145/321312.321316

Abstract

This paper deals with the synthesis of sequential machines (without a distinguished initial state) which satisfies a specified list of input sequences and corresponding output sequences. Readily testable necessary and sufficient conditions are given for such a list to result in a realizable machine, and an algorithm is formulated for constructing the machine when these conditions are fulfilled.

Keywords

SUFFICIENT CONDITION
CORRESPONDING OUTPUT SEQUENCE
PAPER DEAL
DISTINGUISHED INITIAL STATE
SEQUENTIAL MACHINE
SPECIFIED LIST
INPUT SEQUENCE
SEQUENTIAL MACHINES
INPUT-OUTPUT RELATIONS
REALIZABLE MACHINE

This publication has 2 references indexed in Scilit:

Gedanken-Experiments on Sequential Machines
Published by Walter de Gruyter GmbH ,1956
A method for synthesizing sequential circuits
Bell System Technical Journal, 1955