Abstract:
An efficient method for constructing checking sequences for strongly connected reduced, synchronous, completely specified, deterministic, sequential machines possessing l...Show MoreMetadata
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)