1997 | OriginalPaper | Buchkapitel
State Minimization of Non-Deterministic FSMs
verfasst von : Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli
Erschienen in: Synthesis of Finite State Machines
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.