CFG

Documentation

data Symbol

Constructors

Nonterminal String

Terminal String

Instances

Eq Symbol

Defined in CFG

Methods

(==) :: Symbol -> Symbol -> Bool

(/=) :: Symbol -> Symbol -> Bool

Read Symbol

Defined in CFG

Methods

readsPrec :: Int -> ReadS Symbol

readList :: ReadS [Symbol]

readPrec :: ReadPrec Symbol

readListPrec :: ReadPrec [Symbol]

Show Symbol

Defined in CFG

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

isTerminal :: Symbol -> Bool

data ExtendedSymbol

Constructors

Symbol Symbol

Epsilon

EndOfSymbol

Instances

Eq ExtendedSymbol

Defined in CFG

Methods

(==) :: ExtendedSymbol -> ExtendedSymbol -> Bool

(/=) :: ExtendedSymbol -> ExtendedSymbol -> Bool

Show ExtendedSymbol

Defined in CFG

Methods

showsPrec :: Int -> ExtendedSymbol -> ShowS

show :: ExtendedSymbol -> String

showList :: [ExtendedSymbol] -> ShowS

isExtendedTerminal :: ExtendedSymbol -> Bool

isExtendedNonterminal :: ExtendedSymbol -> Bool

data ProductionRule

Constructors

ProductionRule String [Symbol]

Instances

Eq ProductionRule

Defined in CFG

Methods

(==) :: ProductionRule -> ProductionRule -> Bool

(/=) :: ProductionRule -> ProductionRule -> Bool

Read ProductionRule

Defined in CFG

Methods

readsPrec :: Int -> ReadS ProductionRule

readList :: ReadS [ProductionRule]

readPrec :: ReadPrec ProductionRule

readListPrec :: ReadPrec [ProductionRule]

Show ProductionRule

Defined in CFG

Methods

showsPrec :: Int -> ProductionRule -> ShowS

show :: ProductionRule -> String

showList :: [ProductionRule] -> ShowS

type ProductionRules = [ProductionRule]

show_ys :: Show a => [a] -> [Char] -> [Char]

data CFG

Constructors

CFG String [ProductionRule]

Instances

Read CFG

Defined in CFG

Methods

readsPrec :: Int -> ReadS CFG

readList :: ReadS [CFG]

readPrec :: ReadPrec CFG

readListPrec :: ReadPrec [CFG]

Show CFG

Defined in CFG

Methods

showsPrec :: Int -> CFG -> ShowS

show :: CFG -> String

showList :: [CFG] -> ShowS

type AUGCFG = CFG

startNonterminal :: CFG -> String

nonterminals :: CFG -> [String]

prodRuleToStr :: ProductionRule -> [Char]

symbolToStr :: Symbol -> [Char]