UMinho Haskell Libraries (2005.10.12)ContentsIndex
Language.HaLex.Equivalence
Portability portable
Stability provisional
Maintainer jas@di.uminho.pt
Description

Equivalence of Regular Expressions

Code Included in the Lecture Notes on Language Processing (with a functional flavour).

Synopsis
equivDfa :: (Ord st, Ord sy) => Dfa st sy -> Dfa st sy -> Bool
equivNdfa :: (Ord st, Ord sy) => Ndfa st sy -> Ndfa st sy -> Bool
equivRE :: Ord sy => RegExp sy -> RegExp sy -> Bool
equivREs :: Ord sy => [RegExp sy] -> Bool
Documentation
equivDfa
:: (Ord st, Ord sy)
=> Dfa st syDeterministic Automaton
-> Dfa st syDeterministic Automaton
-> BoolEquivalent?
Test whether two Dfa are quivalent or not.
equivNdfa
:: (Ord st, Ord sy)
=> Ndfa st syNon-Deterministic Automaton
-> Ndfa st syNon-Deterministic Automaton
-> BoolEquivalent?
Test whether two Ndfa are quivalent or not.
equivRE
:: Ord sy
=> RegExp syRegular Expression
-> RegExp syRegular Expression
-> BoolEquivalent?
Test whether two RegExp are quivalent or not.
equivREs
:: Ord sy
=> [RegExp sy]List of Regular Expressions
-> BoolEquivalent?
Test whether a list of RegExp are quivalent or not.
Produced by Haddock version 0.6