An Efficient Unique State Coding Algorithm for Signal Transition Graphs

Abstract

Current algorithms to force the Complete State Coding (CSC) property for Signal Transition Graphs work on the State Graph and, therefore require exponential time and space. Polynomial algorithms have been only proposed for Marked Graphs. In this paper, a P-time algorithm for Unique State Coding (USC) is presented. Although more restrictive than CSC, it is shown that the USC property can be eeciently guaranteed for large STGs. Several experiments evidence that the obtained results are even better than those generated by exponential-time techniques.

DOI: 10.1109/ICCD.1993.393386

Extracted Key Phrases

Cite this paper

@inproceedings{Pastor1993AnEU, title={An Efficient Unique State Coding Algorithm for Signal Transition Graphs}, author={Enric Pastor and Jordi Cortadella}, booktitle={ICCD}, year={1993} }