DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD0773774
Title:
An Algorithm for Solving the Sequential Machine Identification Program.
Corporate Author:
OHIO STATE UNIV COLUMBUS DEPT OF ELECTRICAL ENGINEERING
Report Date:
1973-06-01
Abstract:
Given an unknown sequential machine, the machine identification problem requires that a state table be found for the sequential circuit. An algorithm for handling the machines identification problem when the machine is strongly connected, is described along with corresponding computer programs. The algorithm proceeds by first determining a lower bound on the number of states. Then an input sequence is applied in such a way as to fill the state table entries. If a contradiction occurs, the table is expanded and the procedure continues. Otherwise, a fault detection experiment is performed to determine if the derived state table corresponds to the unknown machine. A number of examples are given. Author
Descriptive Note:
Master's thesis,
Pages:
0119
Contract Number:
AF-AFOSR-2048-71
File Size:
0.00MB
