G | |
grammar [Cfg_intf.CFG] |
The type of context-free grammars
|
L | |
live_grammar [Cfg_intf.CFG] |
The type of live CFGs
|
N | |
nt [Cfg_intf.SPEC] |
Nonterminals
|
P | |
prod [Cfg_intf.SPEC] |
Productions
|
S | |
symbol [Cfg_intf.SPEC] | |
T | |
t [Cfg_intf.SPEC] |
Terminals
|