Kategorikus nyelvtan

A kategorikus nyelvtan ( K-grammar , CG ) egy felismerő típusú formális nyelvtan [1] , amely K. Aidukevich , I. Bar-Hillel és Joachim Lambek tevékenységének köszönhető .

A típusrendszer

A CG-n belül minden szintaktikai egységhez kategorikus jelentést vagy típust rendelnek [2] :666 . Két egyszerű (primitív) típus kerül bemutatásra: a név ( ) és a mondat ( ), amelyekből a rekurzív szabályok szerint összetett típusok nyerhetők bal és jobb osztási műveletek segítségével (ezeket , jelöléssel jelöljük ) . Az összetett típusú egység megjelölése tartalmazza néhány egyszerűbb típus megjelölését, valamint annak jelzését, hogy milyen típusú egységet kell kiegészíteni ezzel az egységgel, hogy típusegységet kapjunk . Tehát az angol nyelv CG- jében egy személyalakban lévő intransitív ige, amelyet egy név és egy mondat kapcsolataként értünk, összetett típust kap , ami azt jelenti, hogy a mondat megszerzéséhez ki kell egészíteni egy alany - főnévi kifejezés ( angol főnévi kifejezés , NP ) [2] :667 ; a tranzitív igéhez a típust rendeljük , mivel a mondathoz való hozzáfűzéséhez először a közvetlen tárgyat kell hozzá csatolni , majd az alanyt [2] :669 . Ebben az esetben a zárójelek az összeadás sorrendjét, a perjel iránya pedig az elemek lineáris sorrendjét tükrözik : ha a szintaktikai szerkezetben a legalacsonyabb pozíciójú elem megelőzi a legmagasabb pozíciót elfoglaló elemet, a vonal ferde lesz. balra, ha azt követi - jobbra. $N$ $S$ $\backslash$ $/$ $S$ $S\backslash NP$ $(S\backslash NP)/NP$

Műveletek típusokon

A Lambek I. által javasolt CG-változatban több olyan művelet is megengedett, amelyek típusokkal végezhetők. Ide tartoznak a [2] :668, 673-674 :

alkalmazás ( ) - két egymás mellé helyezett típus kombinációjának helyettesítése egy típussal, megengedett, ha az egyik típus reláció, a második pedig az első jobb oldali elemének felel meg: , ; $A$ $Y~X\backslash Y\to X$ $X/Y~Y\to X$
összetétel ( ) - egyetlen komplex típus hozzárendelése két összetett típusú lánchoz: , , , ; $C$ $A/B~B/C\to A/C$ $A/B~B\backslash C\to A\backslash C$ $B/C~A\backslash B\to A/C$ $B\backslash C~A\backslash B\to A\backslash C$
típusemelés ( angol type raising , ) - hozzárendelés az egységhez, amely mellett van egy hozzácsatolható kifejezés, olyan típusú, amely lehetővé teszi, hogy magát a nevezett kifejezést csatolja: , [3] . $T$ ${\color {OliveGreen}A/B}~B\to {\color {OliveGreen}A/B}~A\backslash (A/B)$ ${\displaystyle B~{\color {OliveGreen}A\backslash B}\to A/(A\backslash B)~{\color {OliveGreen}A\backslash B))$

Az érvényes műveletek alkalmazásával kapott mondatszimbólum azt jelenti, hogy az elemzett mondat nyelvtanilag helyes . Így a John jött 'János jött' nyelvtani mondat elemzése, ami úgy néz ki , hogy , szerzésre végződik , és a *John jött Bill 'János jött Bill' nyelvtani mondat nem értelmezhető sikeresen: [2] :668-669 . $S$ ${\frac {NP~S\backslash NP}{\mathbf {S} }}\mathrm {A}$ $S$ ${\frac {NP~S\backslash NP}{\mathbf {S} }}\mathrm {A} ~{\begin{matrix}NP\\\mathbf {NP} \end{mátrix}}$

Jegyzetek

↑ Melcsuk I. A. Formális nyelvtan // Nagy Szovjet Enciklopédia : [30 kötetben] / ch. szerk. A. M. Prohorov . - 3. kiadás - M . : Szovjet Enciklopédia, 1969-1978.
↑ 1 2 3 4 5 Kazenin K. I. Kategorikus nyelvtan // Bevezetés az általános szintaxisba / Testelets Ya. G. . - M. : RGGU, 2001. - S. 664-692. — 800 s. - 5000 példány. — ISBN 5-7281-0343-X . Archivált másolat (nem elérhető link) . Hozzáférés dátuma: 2010. május 8. Az eredetiből archiválva : 2009. december 7. (határozatlan)
↑ Az átalakításra nem kötelezett, de a megvalósításához szükséges egységet színnel kiemeljük.

Szintaxis
Alapfogalmak	Javaslat : egyszerű , bonyolult , összetett összetett , összetett , nem egyesülés A javaslat tagja Egy mondat homogén tagjai kikötés Az alapítás kifejezés Függőség Szintaktikai kapcsolat : koordináló , alárendelő koordináció , irányítás , csomópont Vegyérték Nexus és Junction Actant Sirconstant Függőségi nyelvtan Az alkotóelemek nyelvtana Felületi szerkezet Mély szerkezet átalakítás
Személyiségek	A. M. Peshkovsky L. Tenier N. Chomsky C. Fillmore I. A. Melcsuk J. Hawkins Ya. G. Testelets
Szintaktikai elméletek	Kategorikus nyelvtan „Jelentés – szöveg” elmélet Generatív nyelvtan : standard elmélet, elvek és paraméterek elmélete , minimalista program
Kapcsolódó fogalmak	Nyelvi szintek Nyelvtan Morfológia Nyelvtani szemantika Szemantikai szerep Tranzitivitás Egyezés
Fonetika és fonológia Morfológia Portál: Nyelvtudomány