1997 | OriginalPaper | Chapter
State Minimization of Non-Deterministic FSMs
Authors : Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli
Published in: Synthesis of Finite State Machines
Publisher: Springer US
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. 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.