Affiliation:
1. Department of Electrical Engineering and Electronics Research Laboratory, University of California at Berkeley
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference5 articles.
1. Method for synthesizing sequential circuits;MEALY G. H;Bell Sys. Tech. J.,1955
2. TAL A. A. Questionaire language and abstract synthesis of minimum sequential machines. Avtomatika i Telemekhanika 25 (1964) 946-962. TAL A. A. Questionaire language and abstract synthesis of minimum sequential machines. Avtomatika i Telemekhanika 25 (1964) 946-962.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献