Refactored Graph module. Remove some unneccessary states in slf networks.

This commit is contained in:
bringert
2006-01-05 16:35:04 +00:00
parent a373760ebb
commit 12187f684e
3 changed files with 117 additions and 51 deletions

View File

@@ -86,7 +86,7 @@ mapMFA :: (DFA (MFALabel a) -> b) -> MFA a -> (b,[(String,b)])
mapMFA f (MFA main subs) = (f main, [(c, f fa) | (c,fa) <- subs])
slfStyleFA :: DFA (MFALabel String) -> SLF_FA
slfStyleFA = oneFinalState Nothing () . moveLabelsToNodes . dfa2nfa
slfStyleFA = removeTrivialEmptyNodes . oneFinalState Nothing () . moveLabelsToNodes . dfa2nfa
mfaToSLFs :: MFA String -> SLFs
mfaToSLFs (MFA main subs)