Abstract:
The paper is concerned with a method for checking linear sequential machines, LSM, whereby test sets are assembled of signals of internal terminals in an autonomous LSM which contains the LSM to be tested. Conditions are provided for conversion of and LSM into an arbitrary autonomous LSM and the findings of diagnosis compleness analysis are reported.