Accession Number : AD0779080

Title :   Checking Experiments for Incompletely Specified Sequential Machines.

Descriptive Note : Master's thesis,

Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OHIO SCHOOL OF ENGINEERING

Personal Author(s) : Hoke,Paul L.

Report Date : MAR 1974

Pagination or Media Count : 107

Abstract : Methods are given for designing checking experiments for incompletely specified sequential machines (ISSM's). The methods closely parallel the methods of designing checking experiments for completely specified sequential machines (CSSM's). Therefore, the basic concepts of all the important published methods of designing checking experiments for CSSM's are summarized and referenced. These concepts are modified where necessary and are then applied to ISSM's to find checking (sequences) experiments. To verify the proposed checking experiment the I/O sequence is reduced to the original machine by one of several machine identification algorithms which are also shown and referenced. (Author)

Descriptors :   *Memory devices, *Logic circuits, *Switching circuits, Experimental design, Network flows, Mathematical logic, Theses

Subject Categories : Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE