
Data.FsmActions.WellFormed 


Description 
Wellformedness checks for finite state machines.


Synopsis 



Documentation 


An FSM is wellformed if all its actions are the same length,
none of its actions contain destinations which are out of range,
and it is not disjoint.
 Constructors  BadLengths [(sy, Int)]  Lengths of Actions in the FSM don't all match. Carries a
sorted list of (symbol, Action length) pairs, one for every
symbol in the alphabet of the FSM.
 BadActions [(sy, Action)]  Some Actions contain outofrange (negative or toohigh)
destinations. Carries a sorted list of all such actions and
their corresponding symbols.
 Disconnected [[State]]  The FSM is disconnected, i.e. not even weaklyconnected.
Carries a list of its weaklyconnected components (each is a
list of States).
 WellFormed  Wellformed.

 Instances  



Check if an FSM is wellformed or not.


Produced by Haddock version 2.4.2 