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
|