Indexed grammar

generalization of context-free grammars in that nonterminals are equipped with lists of flags, or index symbols

Pronunciation

Categories