Monoid factorisation 1970-01-01
Montague grammar 1970-01-01
Morphic word 1970-01-01
Muller–Schupp theorem 1970-01-01
Myhill–Nerode theorem 1970-01-01
Nested word 1970-01-01
Non-logical symbol 1970-01-01
Noncontracting grammar 1970-01-01
Normal form (abstract rewriting) 1970-01-01
Ogden's lemma 1970-01-01
Omega-regular language 1970-01-01
Omega language 1970-01-01
Operator-precedence grammar 1970-01-01
Parikh's theorem 1970-01-01
Parser combinator 1970-01-01
Parsing expression grammar 1970-01-01
Picture language 1970-01-01
Prefix grammar 1970-01-01
Production (computer science) 1970-01-01
Proof (truth) 1970-01-01