Abstract
We have seen that PNDFSMs are a subclass of NDFSMs sufficient to capture the flexibility of an FSM at a node in a network of interacting FSMs. Therefore the extraction from a PNDFSM of a behavior corresponding to a DFSM with a minimum number of states is an important synthesis objective, that generalizes the problem of state minimization of ISFSMs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media New York
About this chapter
Cite this chapter
Kam, T., Villa, T., Brayton, R., Sangiovanni-Vincentelli, A. (1997). State Minimization of Non-Deterministic FSMs. In: Synthesis of Finite State Machines. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-2622-0_7
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2622-0_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5170-0
Online ISBN: 978-1-4757-2622-0
eBook Packages: Springer Book Archive