UMinho Haskell Libraries (1.0)
Contents
Index
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 nt
Grammar
-> [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