A name given to certain types of calculi (cf. Calculus) used in mathematical linguistics to describe the structure of natural (and some artificial, particularly programming) languages. See Grammar, generative; Grammar, dominating; Grammar, categorial; Grammar, transformational.
Cf. also Formal languages and automata.
[a1] | J.E. Hopcroft, J.D. Ulman, "Introduction to automata theory, languages and computation", Addison-Wesley (1979) Zbl 0426.68001 |