RUS  ENG
Full version
JOURNALS // Avtomatika i Telemekhanika // Archive
Avtomat. i Telemekh., 1976 Issue 11, Pages 183–192 (Mi at8190)
Technical Diagnostics

Design methods for checking tests of arbitrary finite automata

V. G. Totsenko

Kiev

Abstract: The paper is concerned with a method to design a checking test identifying any faults which do not increase the number of states in a discrete unit with memory elements described as an arbitrary finite automaton.

UDC: 007.52.001.4


Received: 17.02.1976


 English version: Automation and Remote Control, 1976, 37:11, 1780–1787

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024