Technical Diagnostics

On improving the diagnostic potential of an automaton by introducing test points

D. V. Speranskii

Donetsk

Abstract: Finite automata can be restructured so that the resulting automaton use all words of a specified regular set as diagnostic words. This problem can be reduced to an analogous problem for a finite set of words referred to as the cannonical basis of the regular set. Uniqueness of the basis is proved and a graphical and an analytical ways of constructing it are suggested. An algorithm which does not require selection is described that finds a set of test points which does not insure a minimal solution.

UDC: 62-507:681


Received: 16.06.1976

 English version: Automation and Remote Control, 1978, 38:8, 1244–1253

Bibliographic databases:

•