Gramática categórica

La gramática categórica ( K-grammar , CG ) es una gramática formal de tipo reconocible [1] , que surgió gracias a las actividades de K. Aidukevich , I. Bar-Hillel y Joachim Lambek .

El sistema de tipos

Dentro del CG, a cada unidad sintáctica se le asigna un significado categórico, o tipo [2] :666 . Se introducen dos tipos simples (primitivos): nombre ( ) y oración ( ), a partir de los cuales, según las reglas recursivas , se pueden obtener tipos complejos mediante operaciones de división por la izquierda y por la derecha (se denotan como , ). La designación de una unidad de tipo complejo contiene la designación de algún tipo más simple, así como una indicación de qué unidad de tipo debe complementarse con esta unidad para obtener una unidad de tipo . Así, en el CG para el idioma inglés, un verbo intransitivo en forma personal, entendido como una relación entre un nombre y una oración, recibe un tipo complejo , lo que significa que para obtener una oración se debe complementar con un sujeto - una frase nominal ( frase nominal en inglés , NP ) [2] :667 ; al verbo transitivo se le asigna el tipo , ya que su adición a la oración requiere agregarle primero el objeto directo y luego el sujeto [2] :669 . En este caso, los corchetes reflejan el orden de adición y la dirección de la barra  , el orden lineal de los elementos: si el elemento con la posición más baja en la estructura sintáctica precede al elemento que ocupa la posición más alta, la línea está inclinada. a la izquierda, si lo sigue, a la derecha.  

Operaciones sobre tipos

En la variante CG propuesta por I. Lambek, hay varias operaciones que se pueden realizar con tipos. Incluyen [2] :668, 673-674 :

• aplicación ( ) — reemplazo de una combinación de dos tipos yuxtapuestos por un tipo, permitido si un tipo es una relación, y el segundo corresponde al elemento derecho del primero: , ;
• composición ( ) - asignación de un solo tipo complejo a una cadena de dos tipos complejos: , , , ;
• aumento de tipo ( tipo inglés  aumento , ) - asignación a la unidad, junto a la cual hay una expresión capaz de adjuntarla, de un tipo que le permite adjuntar la expresión nombrada en sí: , [3] .

Obtener un símbolo de oración como resultado de aplicar operaciones válidas significa que la oración analizada es gramaticalmente correcta . Por lo tanto, el análisis de la oración gramatical John came 'John came', que parece , termina con get , y la oración no gramatical *John came Bill 'John came Bill' no se puede analizar correctamente: [2] :668-669 .

Notas

1. ↑ Melchuk I. A. Gramática formal // Gran enciclopedia soviética  : [en 30 volúmenes]  / cap. edición A. M. Projorov . - 3ra ed. - M.  : Enciclopedia soviética, 1969-1978.
2. ↑ 1 2 3 4 5 Kazenin K. I. Gramática categórica // Introducción a la sintaxis general / Testelets Ya. G. . - M. : RGGU, 2001. - S. 664-692. — 800 s. - 5000 copias.  — ISBN 5-7281-0343-X . Copia archivada (enlace no disponible) . Fecha de acceso: 8 de mayo de 2010. Archivado desde el original el 7 de diciembre de 2009. (indefinido) 
3. ↑ Una unidad que no está sujeta a conversión, pero que se requiere para su implementación, se resalta en color.