Language of Regular Expressions
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).
KeywordsRegular Expression Finite Automaton Input Stimulus Empty Word Input Word
Unable to display preview. Download preview PDF.
- 1.V. M. Glushkov, The Synthesis of Digital Automata, Fizmatgiz (1962).Google Scholar
- 2.A. G. Lunts, “Method of analyzing finite automata,” Dokl. Akad. Nauk SSSR, Vol. 160, No. 4 (1965).Google Scholar
- 3.E. F. Moore, “Gedanken-experiments on sequential machines,” in: Automata Studies, ed. C. E. Shannon and J. McCarthy, Princeton, Princeton University Press (1956), pp. 129–153.Google Scholar
- 4.I. A. Chegis and S. V. Yablonskii, “Logical method of monitoring the operation of electrical schemes,” Tr. Mat. Akad. Nauk SSSR, Vol. 51 (1958).Google Scholar