Loading [a11y]/accessibility-menu.js
A generalized algorithm for constructing checking sequences | IEEE Journals & Magazine | IEEE Xplore

A generalized algorithm for constructing checking sequences


Abstract:

An efficient method for constructing checking sequences for strongly connected reduced, synchronous, completely specified, deterministic, sequential machines possessing l...Show More

Abstract:

An efficient method for constructing checking sequences for strongly connected reduced, synchronous, completely specified, deterministic, sequential machines possessing linking homing sequences (LHS) has been described [7]. For machines not possessing an LHS, the only method for constructing a checking sequence requires the use of locating sequences which are often very long. In this correspondence a general method for constructing efficient checking sequences using multiple linking homing sequences instead of locating sequences is presented.
Published in: IEEE Transactions on Computers ( Volume: C-30, Issue: 2, February 1981)
Page(s): 141 - 144
Date of Publication: 28 February 1981

ISSN Information: