Formal Grammar

(redirected from Grammar formalism)
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

Grammar, Formal


in linguistics, a logical system or calculation that poses a certain set of (“grammatical”) chains (finite sequences) constructed from symbols of a given finite set called an alphabet or basic (terminal) vocabulary.

In the theory of formal grammar, these chains are interpreted as linguistic objects of various levels (for example, syllables [chains of phones], word forms [chains of morphs], and sentences [chains of word forms]). Introduced into linguistics by the American scholar N. Chomsky, formal grammar represents a means for the strict description of natural languages. Formal grammar theory constitutes an important section of mathematical linguistics, which in turn is subdivided into generative grammar and recognition grammar.

Generative grammar poses a set of (grammatical) chains through the enumeration of the chains together with statements about their structure. Generative grammar can construct any grammatical chain, supplying it with a characteristic of its structure; it must not construct even a single incorrect chain. The best known of the generative grammars are the so-called Chomskian grammars.

Recognition grammar offers a set of (grammatical) chains as a result of their recognition: for any chain produced, the grammar decides whether or not it is grammatical; in the case of an affirmative answer, the grammar makes statements about the structure of the chain. The best known of the recognition grammars are the categorial grammars introduced by K. Ajdukiewicz and Y. Bar-Hillel.


Chomsky, N., and G. Miller. “Vvedenie v formal’nyi analiz est-estvennykh iazykov.” In Kiberneticheskii sbornik, Novaia seriia. vol. 1. Moscow. 1965.
Chomsky, N. “Formal’nye svoistva grammatik.” In Kiberneticheskii sbornik, Novaia seriia, vol. 2. Moscow, 1966.
Bar-Hillel. Y. “Nekotorye novye resul’taty v teoreticheskoi lingvi-stike.” In Matematicheskaia logika i ee primenenie. Moscow, 1965.
Lambek, J. “Matematicheskoe issledovanie struktury predlo-zhenii.” In Matematicheskaia lingvistika. Moscow. 1964.
Gladkii, A. V. Lektsii po matematicheskoi lingvistike dlia studentov NGU. Novosibirsk, 1966.
Gladkii, A. V., and I. A. Mel’chuk. Elementy matematicheskoi lingvistiki. Moscow. 1969. Pages 23–136.


The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.
References in periodicals archive ?
Considering first the change-oriented architecture, then mathematical authoring assistance, he explores such topics as foundations, invertible grammar formalism, an application scenario, and authoring exercise solutions.
[18] Ranta, Aarne (2004), "Grammatical Framework: A Type-Theoretical Grammar Formalism", Journal of Functional Programming 14(2): 145-189.
In particular, the use of a grammar formalism allows us to exploit the well-established theoretical background and techniques developed for string and visual languages in the setting of geographical information systems, such as the "compiler-compiler" technique widely adopted for the generation of programming environments.
A graph grammar formalism, which integrates both the spatial and structural specification mechanisms in a single framework is presented in [16] and [17].
The visual language grammar previously produced, whose productions are specified according to the XPG grammar formalism [12], are successively fed to the XpLR parser generator.
The paper session on adaptive interfaces featured presentations on learning the user's idiosyncratic grammar using an adaptive parser within a unification-based grammar formalism, an investigation of the effect of the style of graphic data models on the user's reading strategies, and the use of user models to design presentations in real time with immediate user feedback in a formal abductive framework.
Although he considers other structures, Neugebauer primarily shows how constraint programming works in the computational treatment of paradigmatic phonological representations, covering grammar formalism and subphonetic acoustic modeling, knowledge representations in constraint-based grammar formalisms, elements of state tying and the role of decision trees, and the appropriateness of constraint programming for this application, including the influence of type inheritance hierarchies such as Galois lattices.