HaLeX: HaLeX enables modelling, manipulation and animation of regular languages
This library was developed in the context of a programming methodology course for undergraduate students, and as a consequence, it was defined mainly for educational purposes. Indeed, it provides a clear, efficient and concise way to define, to understand and to manipulate regular languages in Haskell. Furthermore, the construction of the complete library has been proposed as assignment projects to the students following the course. HaLeX is now being used to support this course.
| Version | 1.1 |
|---|---|
| Dependencies | base, mtl |
| License | PublicDomain |
| Author | Joćo Saraiva |
| Maintainer | Joćo Saraiva <jas@di.uminho.pt> |
| Category | Data |
| Home page | http://www.di.uminho.pt/~jas/Research/HaLeX/HaLeX.html |
| Executables | halex |
| Upload date | Sat Feb 24 01:43:18 UTC 2008 |
| Uploaded by | GwernBranwen |
| Built on | ghc-6.8 |
| Build failure | ghc-6.10 (log) |
Modules
- Language
- HaLex
- Language.HaLex.Dfa
- Language.HaLex.Dfa2MDfa
- Language.HaLex.DfaMonad
- Language.HaLex.Equivalence
- Examples
- Language.HaLex.Fa2RegExp
- Language.HaLex.FaAsDiGraph
- Language.HaLex.FaClasses
- Language.HaLex.FaOperations
- Language.HaLex.Minimize
- Language.HaLex.Ndfa
- Language.HaLex.Parser
- Language.HaLex.RegExp
- Language.HaLex.RegExp2Fa
- Language.HaLex.RegExpAsDiGraph
- Language.HaLex.RegExpParser
- Language.HaLex.Util
- HaLex
Downloads
- HaLeX-1.1.tar.gz (Cabal source package)
- package description (included in the package)