Language.HaLex.Ndfa

Data type

data Ndfa st sy

Acceptance

ndfaaccept

ndfawalk

epsilon_closure

Transformation

ttNdfa2Ndfa

Transitions

ndfaTransitionsFromTo

ndfadestinationsFrom

transitionTableNdfa

ndfareachedStatesFrom

Printing

toHaskell

renameNdfa

showNdfaDelta

Properties of Ndfa

sizeNdfa

ndfadeadstates

Properties of States

ndfaIsStDead

ndfaIsSyncState

ndfanumberIncomingArrows

ndfanumberOutgoingArrows