Formal linguistics

Formal linguistics is a branch of mathematical linguistics which uses formal languages, formal grammars and first-order logical expressions for the analysis of natural languages. Formal linguistics forms much of the basis of computational linguistics. Since the 1980s, the term is often used to refer to Chomskyan linguistics.