Gramatica categorică

Gramatica categorică ( K-gramatica , CG ) este o gramatică formală de tip recunoaștere [1] , care a apărut datorită activităților lui K. Aidukevich , I. Bar-Hillel și Joachim Lambek .

Sistemul de tipuri

În cadrul CG, fiecărei unități sintactice i se atribuie un sens categoric, sau tip [2] :666 . Sunt introduse două tipuri simple (primitive): nume ( ) și propoziție ( ), din care, conform regulilor recursive , se pot obține tipuri complexe folosind operații de împărțire la stânga și la dreapta (se notează ca , ). Denumirea unei unități de tip complex conține desemnarea unui tip mai simplu, precum și o indicație despre ce tip de unitate ar trebui completată cu această unitate pentru a obține o unitate de tip . Deci, în CG pentru limba engleză, un verb intranzitiv într-o formă personală, înțeles ca o relație între un nume și o propoziție, primește un tip complex , ceea ce înseamnă că pentru a obține o propoziție, acesta ar trebui completat cu un subiect - o frază nominală ( frază substantival engleză , NP ) [2] :667 ; verbului tranzitiv i se atribuie tipul , întrucât adăugarea lui la propoziție necesită mai întâi atașarea obiectului direct la acesta , iar apoi subiectul [2] :669 . În acest caz, parantezele reflectă ordinea adunării și direcția barei oblice - ordinea liniară a elementelor: dacă elementul cu poziția cea mai joasă în structura sintactică precede elementul care ocupă poziția cea mai înaltă, linia este înclinată. la stânga, dacă îl urmează - la dreapta. $N$ $S$ $\backslash$ $/$ $S$ $S\backslash NP$ $(S\backslash NP)/NP$

Operații pe tipuri

În varianta CG propusă de I. Lambek există mai multe operații care sunt permise să fie efectuate cu tipuri. Acestea includ [2] :668, 673-674 :

cerere ( ) — înlocuirea unei combinații de două tipuri juxtapuse cu un singur tip, permisă dacă un tip este o relație, iar al doilea corespunde elementului de dreapta al primului: , ; $A$ $Y~X\backslash Y\to X$ $X/Y~Y\la X$
compoziție ( ) - atribuirea unui singur tip complex unui lanț de două tipuri complexe: , , , ; $C$ $A/B~B/C\la A/C$ $A/B~B\backslash C\la A\backslash C$ $B/C~A\backslash B\to A/C$ $B\backslash C~A\backslash B\la A\backslash C$
type raising ( engleză type raising , ) - atribuire unității, lângă care se află o expresie capabilă să o atașeze, de un tip care îi permite să atașeze în sine expresia numită: , [3] . $T$ ${\color {OliveGreen}A/B}~B\to {\color {OliveGreen}A/B}~A\backslash (A/B)$ $B~{\color {OliveGreen}A\backslash B}\la A/(A\backslash B)~{\color {OliveGreen}A\backslash B)$

Obţinerea unui simbol de propoziţie ca urmare a aplicării unor operaţii valide înseamnă că propoziţia analizată este corectă din punct de vedere gramatical . Astfel, analiza propoziției gramaticale John vine „John came”, care arată ca , se termină cu obținerea , iar propoziția negramaticală *John came Bill „John came Bill” nu poate fi analizată cu succes: [2] :668-669 . $S$ ${\frac {NP~S\backslash NP}{\mathbf {S} }}\mathrm {A}$ $S$ ${\frac {NP~S\backslash NP}{\mathbf {S} }}\mathrm {A} ~{\begin{matrice}NP\\\mathbf {NP} \end{matrice}}$

Note

↑ Melciuk I. A. Gramatică formală // Marea Enciclopedie Sovietică : [în 30 de volume] / cap. ed. A. M. Prohorov . - Ed. a 3-a. - M . : Enciclopedia Sovietică, 1969-1978.
↑ 1 2 3 4 5 Kazenin K. I. Gramatică categorială // Introducere în sintaxa generală / Testelete Ya. G. . - M. : RGGU, 2001. - S. 664-692. — 800 s. - 5000 de exemplare. — ISBN 5-7281-0343-X . Copie arhivată (link indisponibil) . Data accesului: 8 mai 2010. Arhivat din original pe 7 decembrie 2009. (nedefinit)
↑ O unitate care nu este supusă conversiei, dar este necesară pentru implementarea ei, este evidențiată în culoare.

Sintaxă
Noțiuni de bază	Sugestie : simplu , complicat , complex compus , compus , neuniune Membru al propunerii Membrii omogene ai unei propoziții clauză Fundatia fraza Dependenta Conexiune sintactică : coordonare , subordonare coordonare , control , joncțiune Valenţă Nexus și Junction Actant Sirconstant Gramatica dependenței Gramatica constituenților Structura suprafeței Structură profundă Transformare
Personalități	A. M. Peshkovsky L. Tenier N. Chomsky C. Fillmore I. A. Melchuk J. Hawkins Ya. G. Testelets
Teorii sintactice	Gramatica categorică Teoria „Sens – Text” Gramatică generativă : teorie standard, teoria principiilor și parametrilor , program minimalist
Concepte înrudite	Niveluri de limbaj Gramatică Morfologie Semantică gramaticală Rol semantic Tranzitivitatea Congruenţă
Fonetică și fonologie Morfologie Portal: Lingvistică