Title :
Verification of reduced-state tables based on the pseudoequivalent merging technique
Author_Institution :
University of Southampton, Department of Electronics, Southampton, UK
Abstract :
A state-reduction technique has recently been proposed, based on pseudoequivalent state-pair identification followed by merging and verification. This letter comments on the problems involved in the verification process.
Keywords :
finite automata; identification; merging; identification; merging; pseudoequivalent state pair identification finite automa; state reduction technique;
Journal_Title :
Electronics Letters
DOI :
10.1049/el:19720062
