View The Document

Accession Number:

AD0773774

Title:

An Algorithm for Solving the Sequential Machine Identification Program

Author(s):

• Litteral, Larry A.

Author Organization(s):

• OHIO STATE UNIV COLUMBUS

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 machine's 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.

Document Type:

Conference:

Journal:

Pages:

119

File Size:

7.83MB

Contracts:

Grants:

Descriptors:

• computer programs
• electrical engineering
• computer programming
• computers
• engineering
• machines
• security
• universities
• air force
• artificial intelligence
• automata theory
• classification
• instructions
• new york
• scientific research
• algorithms
• detection

Identifiers:

• Sequential machines
• Moore model
• Mealy model
• Fault detection
• Automata theory

SubjectCategory:

• Mathematical and Computer Sciences

Communities of Interest:

• Advanced Electronics

Distribution Statement:

Approved For Public Release

View The Document