Language.HaLex.Dfa

Data type

data Dfa st sy

Acceptance

dfaaccept

dfawalk

Transformation

ttDfa2Dfa

dfa2tdfa

Transitions

transitionsFromTo

destinationsFrom

transitionTableDfa

reachedStatesFrom

Printing

beautifyDfa

renameDfa

showDfaDelta

beautifyDfaWithSyncSt

dfaIO

Properties of Dfa

sizeDfa

dfadeadstates

Properties of States

isStDead

isStSync

numberOutgoingArrows

numberIncomingArrows