Language of Regular Expressions

Abstract

For the automation of the logical monitoring of systems, it is necessary to solve three basic problems. First, it is necessary to choose a finite set of input stimuli by means of which one can detect and locate flaws in the system (the problem of constructing tests); second, it is necessary to perform an analysis of the system’s output reaction to these stimuli and, if normal operation is disrupted, to establish the locus and form of the fault (the problem of engineering diagnosis); third, it is necessary to compile an optimal sequence of input stimuli upon whose realization the search for faults in the system would be carried out during a minimal time interval (the problem of optimizing the time for performing monitoring).