HaLeX-1.1: HaLeX enables modelling, manipulation and animation of regular languagesSource codeContentsIndex
Language.HaLex.RegExp2Fa
Portabilityportable
Stabilityprovisional
Maintainerjas@di.uminho.pt
Description

From Regular Expressions into Non-Deterministic and Deterministic Finite Automata

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

Synopsis
regExp2Ndfa :: Eq sy => RegExp sy -> Ndfa Int sy
regExp2Dfa :: Eq sy => RegExp sy -> Dfa [Int] sy
regExp2Ndfa' :: Eq sy => RegExp sy -> Int -> (Ndfa Int sy, Int)
Documentation
regExp2NdfaSource
:: Eq sy
=> RegExp syRegular expression
-> Ndfa Int syAutomaton
Compute a Ndfa from a RegExp.
regExp2DfaSource
:: Eq sy
=> RegExp syRegular expression
-> Dfa [Int] syAutomaton
Compute a Dfa from a RegExp. (via the intermediate Ndfa)
regExp2Ndfa' :: Eq sy => RegExp sy -> Int -> (Ndfa Int sy, Int)Source
Compute a Ndfa from a RegExp. Auxiliar function threading the context: the first available int to name the states
Produced by Haddock version 2.3.0