UMinho Haskell Libraries (1.0)ContentsIndex
Language.ContextFree.LR
Portability portable
Stability experimental
Maintainer Joćo Saraiva - jas@di.uminho.pt
Description
Classical LR acceptance algorithm
Synopsis
lraccept :: (Ord t, Ord nt) => Cfg t nt -> [t] -> Bool
lr :: (st -> Symb t nt -> st) -> (st -> Symb t nt -> Action st [Symb t nt]) -> [st] -> [t] -> Bool
Documentation
lraccept
:: (Ord t, Ord nt)
=> Cfg t ntGrammar
-> [t]Input sentence
-> Bool
LR Grammar Interpreter
lr :: (st -> Symb t nt -> st) -> (st -> Symb t nt -> Action st [Symb t nt]) -> [st] -> [t] -> Bool
LR Acceptance function
Produced by Haddock version 0.6