UMinho Haskell Libraries (1.0) Contents Index

Language.HaLex.Minimize Portability portable Stability provisional Maintainer jas@di.uminho.pt

Description

Minimization of the States of a Deterministica Finite Automata Code Included in the Lecture Notes on Language Processing (with a functional flavour).

Synopsis

minimizeDfa :: (Eq sy, Ord st) => Dfa st sy -> Dfa [[st]] sy stdMinimizeDfa :: (Ord st, Ord sy) => Dfa st sy -> Dfa [st] sy minimizeExp :: Ord st => Dfa st sy -> Dfa [st] sy minimizeNdfa :: (Eq sy, Ord st) => Ndfa st sy -> Dfa [[st]] sy reverseDfa :: Eq st => Dfa st sy -> Ndfa st sy reverseDfaAsDfa :: (Ord st, Eq sy) => Dfa st sy -> Dfa [st] sy reverseNdfa :: Eq st => Ndfa st sy -> Ndfa st sy

Produced by Haddock version 0.6