A type of formal grammar (cf. Grammar, formal). It can be defined as an ordered quadruple , where and are finite sets, the elements of which are called terminal symbols and elementary categories, respectively; is an element of called the principal category; is the assigning function, which brings each terminal symbol into correspondence with a finite set of categories — expressions formed out of the elementary categories and the syntactic symbols , , in accordance with the following rules: 1) all elementary categories are categories; 2) if and are categories, then ( "F under Y" ) and ( "F over Y" ) are categories; and 3) any category is a category either in the sense of 1) or in the sense of 2).
If , where , and , , then one says that the string is brought into correspondence with the string by the grammar . It is possible to perform the operation of contraction (which will not, generally speaking, be single-valued) over a string of categories. This operation consists in successive replacement of the occurrences of substrings of the type or by the occurrence . If some string of categories , which can be brought into correspondence with the string , can be contracted to one category , and also if , then one says that assigns to the string the category . The language defined by the grammar (denoted by ) is the set of strings in the terminal symbols to which assigns the principal category. The category (or, respectively, ) can be interpreted as an operator acting on from the right (from the left), the result of it being . The use of categorial grammars in linguistics is based on this principle. Thus, if the elementary categories are ( "clause" ) and ( "noun" ), the category can be interpreted as "adjective" (this means that the adjective is regarded as an operator acting on a noun from the left, again yielding a noun or, more exactly, a group of nouns), is treated as an "intransitive verb" , etc. Here, if is the principal category, the grammatical language thus defined consists of "regular clauses" .
A categorial grammar can be transformed into a context-free grammar (cf. Grammar, context-free), for which the following is needed: a) to compile a non-terminal dictionary consisting of those categories which are elements or parts of elements of the values of the assigning function ; b) to make the initial symbol; and c) to take, as rules, all possible expressions of the form and , where (or, correspondingly, ), and of the form , where . This makes it possible to bring the strings of the language defined by the grammar into correspondence with a system of components in a standard manner (cf. Grammar, context-sensitive). The subclass of the class of context-free grammars thus obtained is linguistically characterized by the fact that all its "grammatical information" is contained in the dictionary. It is possible, however, to construct for any context-free grammar a categorial grammar equivalent to it (i.e. such that ), and it is possible to do it so that the values of the assigning function of contain only categories of the type and , where are elementary categories. There are also simple and substantially natural methods for obtaining a dominating grammar (cf. Grammar, dominating) from a categorial grammar.
|||Y. Bar-Hillel, H. Gaifman, E. Shamir, "Finite-state languages: formal representations and adequacy problems" Bull. Res. Council Israel , 9, sec. F : 1 (1960) pp. 155–166|
|[2a]||M.I. Beletskii, "The relationship between categorical and domination grammars" Cybernetics , 5 : 4 (1969) pp. 506–512 Kibernetika (Kiev) , 5 : 4 (1969) pp. 129–135|
|[2b]||M.I. Beletskii, "Relationship between categorical and domination grammars II" Cybernetics , 5 : 5 (1969) pp. 540–545 Kibernetika (Kiev) , 5 : 5 (1969) pp. 10–14|
|||A.V. Gladkii, "Formal grammars and languages" , Moscow (1973) (In Russian)|
There is a remarkable increase in the interest in the subject of categorical grammars over the past years. There exists a strong connection between categorical grammars and techniques for assigning flexible types to phrases in formalized fragments of natural language. Among the calculi proposed for dealing with categorical grammars the Lambek calculus has established itself among the prominent systems. This system shows an interesting similarity to intuitionistic implicational logic.
See also Formal languages and automata.
|[a1]||R.H. Thomason (ed.) , Formal philosophy, selected papers from Richard Montague , Yale Univ. Press (1974)|
|[a2]||J.F.A.K. van Benthem, "Essay in logical semantics" , Reidel (1986)|
Grammar, categorial. A.V. Gladkii (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Grammar,_categorial&oldid=17320