Grammar, formal

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.

#### Comments[edit]

Cf. also Formal languages and automata.

#### References[edit]

[a1] |  J.E. Hopcroft, J.D. Ulman, "Introduction to automata theory, languages and computation", Addison-Wesley (1979) Zbl 0426.68001

|