REGULAR EXPRESSIONS AND CHECKING EXPERIMENTS,
Abstract
The paper reviews the theory of regular expressions and focuses some attention on their use for the representation of the state behaviour of sequential machines. A brief review of diagnostics making use of distinguishing sequences for the design of text experiments for strongly connected machines follows. These principles are then applied to the systematic design of present checking experiments for which two design methods are proposed. Both these methods involve the solution of n-simultaneous regular equations. An upper bound to the length of the experiments is formulated. The length of the experiments designed in the fashion is seen to be of the same order of magnitude but generally somewhat longer than the length which would be obtained by the other methods on the same principles which have appeared in the literature. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1967
- Accession Number
- AD0666696
Entities
People
- S. Erol Gelenbe
Organizations
- New York University Tandon School of Engineering