|
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 |
|
|
|
Documentation |
|
|
:: (Ord st, Ord sy) | | => Dfa st sy | Deterministic Automaton
| -> Dfa st sy | Equivalent?
| -> Bool | | Test whether two Dfa are quivalent or not.
|
|
|
|
:: (Ord st, Ord sy) | | => Ndfa st sy | Non-Deterministic Automaton
| -> Ndfa st sy | Equivalent?
| -> Bool | | Test whether two Ndfa are quivalent or not.
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |