Language.HaLex.DfaMonad
data Dfa m st sy
dfawalk
dfaaccept'
dfaaccept
runDfa
showDfa
showDfaDelta
showInDot
showElemsListPerLine
showInitialState
showFinalStates'
showArrows
buildLine
(<->)
xpto
deadstates
deadstates'
isStDead
isSyncState
robot
moves
moves2
moves3
moves4
acc
varGlob
ex2
ex3
runAccept
ex4
runAccept_ex4
ex5
runAccept_ex5
ex_int
runAccept_int
ex6
runAccept_ex6
type Instr
data Code
te
runAccept_te
pr
converte
expo
runAccept_pr