Kategorisk grammatik

Kategorisk grammatik ( K-grammatik , CG ) er en formel grammatik af en genkendende type [1] , som opstod takket være aktiviteterne af K. Aidukevich , I. Bar-Hillel og Joachim Lambek .

Typesystemet

Inden for CG er hver syntaktisk enhed tildelt en kategorisk betydning, eller type [2] :666 . To simple (primitive) typer introduceres: navn ( ) og sætning ( ), hvorfra komplekse typer ifølge rekursive regler kan opnås ved hjælp af venstre og højre divisionsoperationer (de betegnes som , ). Udpegningen af en enhed af kompleks type indeholder betegnelsen af en eller anden enklere type, samt en angivelse af, hvilken type enhed der bør suppleres med denne enhed for at opnå en enhed af typen . Så i CG for det engelske sprog modtager et intransitivt verbum i personlig form, forstået som et forhold mellem et navn og en sætning, en kompleks type , hvilket betyder, at for at opnå en sætning, skal den suppleres med en subjekt - en substantivfrase ( engelsk substantivfrase , NP ) [2] :667 ; det transitive verbum tildeles typen , da dets tilføjelse til sætningen kræver først at knytte det direkte objekt til det og derefter subjektet [2] :669 . I dette tilfælde afspejler parentes rækkefølgen af tilføjelse og retningen af skråstreg - den lineære rækkefølge af elementerne: hvis elementet med den laveste position i den syntaktiske struktur går forud for det element, der indtager den højeste position, er linjen skråtstillet til venstre, hvis den følger den - til højre. $N$ $S$ $\backslash$ $/$ $S$ $S\backslash NP$ $(S\backslash NP)/NP$

Operationer på typer

I CG-varianten foreslået af I. Lambek er der flere operationer, der er tilladt at udføre med typer. De omfatter [2] :668, 673-674 :

anvendelse ( ) — udskiftning af en kombination af to sidestillede typer med én type, tilladt, hvis den ene type er en relation, og den anden svarer til det højre element i den første: , ; $EN$ $Y~X\backslash Y\to X$ $X/Y~Y\to X$
sammensætning ( ) - tildeling af en enkelt kompleks type til en kæde af to komplekse typer: , , , ; $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$
type raising ( engelsk type raising , ) - tildeling til den enhed, ved siden af hvilken der er et udtryk, der er i stand til at vedhæfte det, af en type, der gør det muligt at vedhæfte det navngivne udtryk selv: , [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))$

At opnå et sætningssymbol som et resultat af at anvende gyldige operationer betyder, at den analyserede sætning er grammatisk korrekt . Parsingen af den grammatiske sætning John came 'John kom', som ser ud som , ender med at få , og den ugrammatiske sætning *John kom Bill 'John kom Bill' kan ikke parses med 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{matrix}NP\\\mathbf {NP} \end{matrix}}$

Noter

↑ Melchuk I. A. Formel grammatik // Great Soviet Encyclopedia : [i 30 bind] / kap. udg. A. M. Prokhorov . - 3. udg. - M . : Sovjetisk encyklopædi, 1969-1978.
↑ 1 2 3 4 5 Kazenin K. I. Kategorisk grammatik // Introduktion til generel syntaks / Testelets Ya. G. . - M. : RGGU, 2001. - S. 664-692. - 800 sek. - 5000 eksemplarer. — ISBN 5-7281-0343-X . Arkiveret kopi (ikke tilgængeligt link) . Dato for adgang: 8. maj 2010. Arkiveret fra originalen 7. december 2009. (ubestemt)
↑ En enhed, der ikke er genstand for konvertering, men som er nødvendig for dens implementering, er fremhævet i farver.

Syntaks
Basale koncepter	Forslag : simpelt , kompliceret , komplekst sammensat , sammensat , ikke -forening Medlem af forslaget Homogene medlemmer af en sætning klausul Fonden udtryk Afhængighed Syntaktisk forbindelse : koordinerende , underordnet koordinering , kontrol , kryds Valence Nexus og Junction Aktant Sirkonstant Afhængigheds grammatik Grammatik af bestanddele Overfladestruktur Dyb struktur Transformation
Personligheder	A. M. Peshkovsky L. Tenier N. Chomsky C. Fillmore I. A. Melchuk J. Hawkins Ya. G. Testelets
Syntaktiske teorier	Kategorisk grammatik Teori "Betydning - Tekst" Generativ grammatik : standardteori, principper og parametreteori , minimalistisk program
Beslægtede begreber	Sprogniveauer Grammatik Morfologi Grammatisk semantik Semantisk rolle Transitivitet overensstemmelsen
Fonetik og fonologi Morfologi Portal: Sprogvidenskab