Formal proof 1970-01-01
Formal system 1970-01-01
Formation rule 1970-01-01
Free monoid 1970-01-01
Generalized context-free grammar 1970-01-01
Gesture Description Language 1970-01-01
Global index grammar 1970-01-01
Greibach's theorem 1970-01-01
Greibach normal form 1970-01-01
Growing context-sensitive grammar 1970-01-01
Hall word 1970-01-01
Head grammar 1970-01-01
History monoid 1970-01-01
Indexed grammar 1970-01-01
Indexed language 1970-01-01
Interchange lemma 1970-01-01
Junction Grammar 1970-01-01
Kleene star 1970-01-01