a ji r e b p a h a o r h k'a-math.nsc.ru/~alglog/01-10/03/03n5n6-2.pdf · nacop bceboauoathhx...
TRANSCRIPT
A Ji r E B p A H a o r H K ' A -CeuHHap
Ton fflBunycRK 5-6 PyKOBOflHiejiB A.H.BaiiBneB 1964 r.
0 CJ10IHOCTH BUBOflA B TPAIOIATMAXHEnOCPEflCTBEHHO COCTABJlflDiMX
IlycTB r~<V) Vi, {~lp. ,S > - HeKoiopan rpajniaTHKaH nycTB uenoiica X BiiBOflHija B r HS Ftp. . Odosna^HM
HaniieHBrnyio us S^HIH BusoaoB X HB flp. B rrcr(n.) = /Vax 2Tr,x no BCBM itencmau X araiHHHH H3 H p B / Eyfl6M H83HBaTB ^ r ('/T.) B p 6 -
ii e H H 6 f l C H P H a J i H S H p y n m e f l $ y H K q H e t t
Byaeu rosopHTB, ITO rpaMMaraKa f H M e e i o r p aH H i e H H o e s a i i e a J i e H H e , ecrai cyqeoTByex Tanoeqncjio c , ITO l/rz. [ £> C/z^ 6 CAZ ] . rpaiojaiHKH HenocpeaCTB6HHO cociaBjiflBDODC ( HC - rpaMMaiHKH) , Huieioimse orpaHH^eHHosameaJieHHe, dyaeu HasHBaiB HC -03 - r p a M u a i H K aM H ; H3hiKH,nopoxaaeiftie /^c - 03 - rpauMaTHKauH, Hasoseii
OcHOBHan qejiB HaciOHiueK saueTKH - aoKasaiB, qio RjiaccHC ~O3 - H3HKOB H6 COBHaflaeT HH C KJiaCCOM BC6X HC - H3H-
KOB, HH C KJiaCCOU KOHieKCTHO-CBOOOflHHX H3UKOB ( K C. - H3HKOB)
( KOiopufl, oieBUflHO, coflepsHTCH B ratacce HC-O3- H3UKOB). Kpo-ue Toro, ycTaHaBJiHsaioTCH neKOTopue $aKTti, oxHOCflqaecH Konepaimaii Has HC-OS- H KC -
s) OnpexexeRHH H oOosHaqeHHa, oTHOCfiopiecfl B rpaimaraKaii, CM. [5] .
50
I. HeKoiopue BcnoMoraTeJiBHue HOHHTMH H seram
I)IlyciB f - nponsBOJiBHaa rpaMMaiHKa H U/ = (.^0 >&*,.-•,
BHBOfl B r . HaSOBBM C n O C O C O M B H H O J I H e H H H BH-
LV nocjiesoBaieJiBHocTB nap paseHCTB
• (,= 1,2,. ..}n, , rae P^—^Qt ~ npasHJia rpauuaTHKHMa naaaoro 1=1,2,... ,n BOSMOKHH ipn
3)
B 3THX cJiy^aHX <5yaeM roBopaiB cooTBeiciBeHHO, q»o npa aaHHOM cno-co(5e BHnoJiHeHHH BHBo^a U/ ero i + 1.
—J i e s e e L , n p o a c x o f l H i a p a B e es a q e n a e H c t- ~UM .
ByjeM HasuBaTB BUBO?; y n o p f l ^ o M e H H U M , ecJM npacnocode ero Btmo^HeHHH (Koxopufi MU Haaoseu n p a B H -
n B H H M ) HHKaKoH cjieflyioiimii mar ne nponcxoaHi aesee npeaHsymero.JffiMMA I. K a K o B a <5 ti H H tfujiarpaiiuaTH-
K a r7 , a j i f l n u o " o r o B H B o a a W B /^ M O X B On o c i p o H T B y n o p H a o ^ e H H t i l i B H B o a B fT o fl x e a Ji H H ti H c T 6 H H x e H a ^ a x B H o f i -H K O H e w H o H ^ e ^ o q K a M H , q i o H W .
flOKASATEJIBCTBO. HyciB W = (fl0f • •• flri) - HeynopnaogeHHHfiB T H ^"f Wo-B,P,C, > tf,=B, Q,C,) ,
CHO-. . .
cod BunojmeHHH W . IlyciB LO - i.0 CU/,X) ~ HaiuieBjbiee as6 , fljm KOTopax t + f ~HB mar nponcxoflHT Jiesee ^ ~ro
IlycTL, jajiee, y0 - HamieHBoee ^IHCJIO, oCna^aomee tenITO flan Kassoro ^ , yaoBJieTBopjnomero ycnoBHD J0 ^BHnojiHHeTCH HepaseHciBC 6 (Sj)^ £ (Bi.,+4. Pi. +4.) •ro </=j •»;'+*> >L° HUeeM GrBi.+fe.+i.&jPjC-j. • npe-oSpasyeu W H ^ caeayioipu odpasou: mam HO /„ - IBKJIIOIHTeJIBHO OCTaBKM 063 H3MeH6HHH, 33TeM SaueHHll B fljo BXOXje-
HHe P^; +^ , npmJHKaionee K nepsowy BXoa«eHHB B ^ +^ ,
£(X) saecB H B aajiBHeMmeM osHaiaei aaHHy uenoiKH X .
0 CJIOHHOCTH BlIBO.Ha B rpaMMaTHKaX HenOCpeflCTBeHHO COCTaBJIHIOmHX 31
d £ , saieM dyaeii npoHSBOSHTB see aaueHu, KSKB marax Busoaa U/ OT j'0 -ro ao £0 -ro sKjuo^HTejiBHo - no-cie lero, oieBusHO, noJiyqmcH & t +1 ~ H» naKoneu, npeodpasy-eu i 7 6 ^^ B /^^ , Kan B BHBOfle IV . HCHO, ITO STO npeod-pasosaime aaei BHBOS \*/'=(tf0f tf,', •• • ttfn-i,fln.} H cnocod ero
, TaKMe, TOO jraOo U/' ynopaaowH H ^' npa-^0 (f^p^"j> ^o(^,^") • npHJieHHH BIO npeodpa-
HyxHoe 'fflcjio pas, nojiy^Hu npasmiBHua BBIBOX.r — HC - rpaMiiaTHKa, U/ - (fl'„ ,..., tfn.) - BH -
Boas r H Z=l(ai-t-Bipi>ci., 0i.-BiQi.Ci)} (i-l,...,n.)-cnocofi BHno;iH6HHH Vv . IlyciB flnfl Kasaoro 1 = it . . . , n.
Ecra £ (BL) 6 £ (B^i TL+I}^ £ (6^ Q t) , dyaeii FOBOPHTB, 110i + iH" mar W npw cnocode ^ c H Ji B H o s a u e n j i e H
c i M .HaSOBCM BHBOfl B A* C H JI B H 0 y H O p H S O ^ e H H H M ,
npH HeKotopoM cnocode ero BunojiHeHHH KaaflHft c^eflyKHHtt inarnpoHcxoanT npasee npefluaymero, jmdo CHJIBHO sa^enjieH c HHH.
JffiMMA 2 . f l J i H K a x a o f l / v c - r p a u n a T H K i ir - <V, Vt) np.,S > M O J C H O n O C T p O H T B H C -
•n u u o m n r v T r /^^=B<T I/ I/ /7 /"> ^ *^ Q t r i a v T X O i T A C T VA. ^ u a ja j } I j I ' t j * / * » w * i
H J D f" ( i . e . n q p o i a a H i m y i o T O T *eH S H K ) H T a K y u , I T O f l J i f l j i B d o r o B H -s o a a U / B r ' n a K a e i C H C H J I B H O y n o p n -<-i «• .^ O l S H H t l H B U B 0 S S / T O H K 6 fl JI H H M H
C T 6 M H E 6 H a i a J I B H O f t H K O H e i H O f i U6-
n o i K a u a , I T O H I V .flOKASATEJIBCTBO. IlycTB y3 - waKCHMyw flJiHH JIBBHX qaciefi
npaBHJi r . Kaaaowy npasiwiy P—~Q&S nocTaBHu B COOTBOT-naCop BceBoauoatHHx npaBHJi Bnaa X P y ——X Q V ,
V npoderaKiT iieno^KH AJIHHH ^ J5 (BKJKmaH nyciyro).BC6X T3KHX HadOpOB OdOSHaiHM 5* . flCHOi «JTO
= < Vj V, } flp ,S *> aKBHsaJieHTHa r H ITOBHBOfl B r HBJIH6TCH CHJIBHO ynOpflaO^ieHKUM
B r*J5 ' •
BtiBoa B rpauuaTHKe dy^eu HasHBaii c o d c T B e H H U i i ,ecjra OH na^HHaeTCH Ha^ajiBHiiu CHIIBOJIOM.
Hasoseu HC - rpaMMaiHKy f c u e n a e H H O i l , ecrai
- airaofctf H BHaitnano j BHHiBraiBdj OIR 'BoiSHdaaodiiHoiroaKHO HHH
•OTBhBH 8.3 * J HHHIBWHBdj £naXO I(l£8BdpO~BirHaBdlJ MS
•(Btfod OJ-I? oimaBdii) ^70- — tfgf> oirnaBdii' /\i ' (sf'-p) adBn {joHH8hoEHdoii£ jjoffacB
•(BKOd OJ-£ OffHSBdll)
90 -. — TO oirHSBdn jinaBa,ooiioo /I 3 T3 ^ttoaroio JCnottre]j
' s.-p
:(eKod QJ-^ Bimaedu) BirasBdu 9dni9h aHaioaaaiooo a nuaBxoonJOKlBJ
-I BffHSBdn)
ifHaedn XHHsconeoaaoa en afflnBosooo-oo a iraaBiooii $ $jjg+-
>•• ^oJCHhonaln 01 ' '/\\H BShoiisb - ^7? '"'-p = / jodeaoiro nnniirasBJonoiioa xaE^p aoiroanHo XHie xaoa/ *~*
' TO ' ~TP ' IP ' f* BITOSHIK) XHSOH ddHidb
7A ^ A 3 T° ^oanHO ^noffsBH 80aioiaaiooo a nHaBXOOQ *2 an-naif a HBH ' <*S''dlJf'A 'A > =*/7 £msBimBd,i ^y Biff HH
• B R H
- 9 H I f O I I H a P 0 0 0 II 0 g R H H G a i O H H i f g J, 9 9 H H
f j if n a B d ng a i o B h x n a s d u H H if K K ^ R H O H B H - J a^j
: o s h ' a H B i ' n a d e a o i r o n n n a o H o o
H H H I B H H B d j - O / y J f O E E B H B I f f f *f
o H3iniatiB8 OH^ITHO jBm {jHlnoijfKaifo pffixBH nodoiOH Hdn 'HHH-aracoiiHa 9000110 la^aaoain^o / a BEoana oJOHHaaiopoo OJOBKBH BffE
0 CJIOXHOCTH BHBbaa B rpaMM3THKax HenocpeacTBeHHO cocTasjiffloipix 33
ycjiOBMH) 2)Kasaoro CHJIBHO ynopmoieHHoro cotfcTBeiiHoro. . . , #rt) B r * Jiei-KO rtOCTpOHTB BHBOfl U, ( U/)
COCTOHmMfi H3 /7- nOCJie^OBaTeJIBHHX KyCKOB:
, . . . ,£*,nanan ijenoiKa B^- mieei BHH H°h,L° , npaieu
H Kh. L = fl, , IIpH 3TOM KaKflHfi KyCOK HaiHHaeTCH
npasioia I-ro po^a, a na scex cneaynipix marax KycKa (ecjin erona dojiBnte I) npuMenaioTCH npasH^a 2-ro po#a. ECJIH dn, neCHMBOJIOB C VL , TO H3 B i. „* MOKHO c HOMOmBH) npaBHJI 2-PO ,
3-ro H 4-ro po^a BHBecTH (3 n. • HCHO Tarace , ITO ueno^KyI/ MOKHO BHB6CTH H3 tip. B rpaUM3THKe /"" TOJIBKO
C8HHHU OdpaSOM. HT3K, P ' SKBMBaJieHTHa /^ . OCTaeTOH
HHTB ^ r' • nyCTB U/ ~(Co , •• • ,CirC)- CO(3CTBeHHHft BHBOS B l~".
0(5o3Ha^HM yepes Afc- naHMeHBinee HS yHcea /z- , TaKHx, ^TO Ra/i- -M iiecie cjiesa B qenoine Q CTOHT CHUBOJI, oT^HiHHfl OT c(.0
(larae A- cymecTByar SJIH jindoro ^6 = Ot..-,m.Q,-=h---h..j , nojiyiHit 57 <?/ =^-m~^i<> *LO t* ~~ J- t-^. "
IlyCTB /TL - UHCJIO fflarOB BHBOfla U/ , H8
npasHjia poja ^ (maros poaa j ), H nyciBcyMMHposaHHe no seen maraw poaa j. . HeipyaHo sasieiHTB, ITO1) ECJIH I mar - I-ro posa, TO |QL- | ^ ;2) .0«5:V « ^m t + £ ; l?
3)
+ 1 -d. - e(Ctn.) ,HO H3 KOHCIpyiOtHH /"" HC-
HO, WTO -f i< 1r(C-Cm_ , T3K 1TO
3) IIoTOMKH,
nyciB r - < Vf V, ,flp.jS> - HC - rpauuaTHKa
=B^Q^Ci:) - cnocod BtmojiHeHHfl W . HyciB, Kpowe ioro,npa Kasaoa L-i,...tn, P^SrfiTi, QL= SL FL Tc (fc e V,} .
roBOpHTB, mo na i HII mare CHMBOJI /^ (Towee - eroBxoaaeHHe B fl ) 3 a u e H H e i c H aa /^ , a
CHMBOJIH fl i-i K o n n p y D i c f l . IlyciB leneps
•E9ICO BOIO^II H H9soneog 'BifHSBdii 90BHI KOie BH oJon9HH9roida d9n-OH - ?77 H 'HHOE BdlH8b 10 ' ^ / 9JBHI BH OJOH9BH8WB8 'BtfOanHO
9HHBOIOOBd - '.V 9ttJ ' {(d~n <dv) ' ' ' (7T? "*»)} 5IOOH?If90iBaOff9IfO
- on naaoeBH HH 7 SHhoa; a /v\a H o K e it Q • 7 mm-oi HHHHjnra XBHoa xHteffl^aiioaiaaiooo a HoiBsdatfoo nonMitan iraaBdii xnn-9BH9HHdU HJOBh 9HE9IT XHdOIOH BH ' /V\a aOJBITI X9X aOdatlOH
en BBHH9icffBiooo 'aipOHq;if9iBaoff9icooii - df ' • • • ' f f MoJCu•HH08 BdlH9ll 10 * T> Bit
-oairao H 9 H H H o i o o B d ngaoeBH i, ' • • • ' ~p 'j. - ' •• • ' i^-= H8HHdBIH9H8ICe - ^ 72 ' • ' • ' "6- •£> 'BlfOHIi 9HH
7 HHhOI H~H H B H If a jf 0 H0 8 „_
H8a08BH ftf {ft MOS9dlO ' J IBKOXOOagdll 9H XHdOXOH RHHIfff
(/^ OlfBhBH 80H1IfBroiOHBn H . / II9HOH HHH-HTBHIIOHB
•i 00 . H f ft 88d9h HHhBHEOpO •OHH9aiOI8aj;000
H3UIOIOII 9HHhOI ~9- f - f ' ?
1 j a Eoana - ('utfe'"f°fc>) = /v\n • J eadah MHhBHsopoj iraasdu gsioBh xnasdn HrarK w£?iHOHByi • j EHaBdn I8h09d9u and* OIOH8H— J0(j f'"f'U SIO^H 'BffOaHa OJOHH9aiOpOO OJOKKBH HHH9H1TOII
-HE nopooono imHHgaioHHKa o ^HMBraredj - ^// raJCHH9irii9lio aiBhBHsH9K£p ^ 89d8h 'BIMH^II OiIOIS BBHOH OE ' n9Hg9H<nrBff g
•^Hhoiian K&SO./CII ^ FiosKgdn ... v/ •-' HJI9^p *BHff9dlI OJOHhOI oa j/ I89KH 9H ^
-dstfoo an 3s- 9X^ godoaos aonoxon pmhoi H -v2> Bicoaraio oaoadau HKH (£ Biroaraio oj9Hff9icooii
-aoondn B * / 3 a BosHstdaffoo 9 Honoion pMhoi „ » rncoa* ( J> H O K O I O I I ( j j V ^ ) 5109 ^ 3> : 9&BHH) / 5 H 0 K 8- d n
( V) 5109 3 Olh '-MHdoaOiI W9E^p'(l) XBHaOICO^ 9S X9I
3> HOK9dU ^HHhOa H J HOJKU01I 0HHhOI -
* ,1^1,3, i (L = °*+? & HIf09 'OI09H I89IIH OHO j.+°^=^HEE 01 * °.V = ^ BIfE OH9IT8ff9dlIO 9HH9IHOHIO IOf09 (g JBKoaHa 9J
-BE H- / BH 'UJ^ BHHBaodHUOH HITH HH9HBe IBI5H^89d "M09 ^ g
BBKKBH H HlfOaraiO 9HHdBIH9K9ICe - s Q ' ' ' ' '7Q 9K>I ' Sg ' ' ' i O = ^
* Sff *9 = 3 HIf03 'OI09n X99JJH 9HH9mOHIO 016 / = >/ HdU (l: noeBdpo wHtara^ffaico ( -"^/^ H ^ a 'oHngaioigaaooo ' 3 H
9 XBHH8tfKOXa XHHH8IT9KHa 0 19EH «CIi9df99HhOl) ( 3 H 0 'w 0 I
- O U J J H H h O I ^ H V - ^ 5in08 / 3 " :8&BHH) , 9 H 0 f f
- 8 d l l g H H h O J C rj j^ g:i108 3 " 9HH9DIOHJO
( i) ' • '030:= »+-f& (
- BH M OH«Ht91MH9HHdlJ BH9JCOtteH BHO 9ttJ * [ I ] BXOdpH9XXBdj;*VS
-Bd 8H BHBaOaXOIlHBe *BE9irO 9HXBHOU OHBO H HBH 'BKH9I Big
nOHHBH - DH ICHP " y HpOIh 'HBI
- otfon OHXOH sft wtoxa£<t> • {^~o''-o} tteH rahongn 90S x9BJ9p-odii y 9tfa * V 5? (• Ylsk &y BKHe M9hou9H X9oa an-00 ' { $ e*-D ''V } H9dBBOttO ffBH HH8B ^ 7
•BIHBIOHOH - r*5 9&I ' (X)l°° ^ ((X ) ) 3y HHhOH9H g02KBH HEtt Olh 'BBHBI H 4M9dBSOICO 9K H9I EBH HHhOn9fi
pffl9&BHe gaioghBH a BBttoreiaraHdn ' f 7r> ° T> j-ouali xsoa aaioasonn BH HBraaifattGdiio 'KHUHHJ?$ - //?
BOHH8B - £0 -
9H 'BMH8B -
•tt'i H • ?** 7" BJBffl off ' '/v\a a* °g=^,'f g siBanaoeBdpoadii - HHSICSIHHOICOII BITOHIX HIS 'HiooHH9if9tf9d-no Hitff 'incog - n9ise !HHBHS 9HaosBHHKo sotgira ~f+^ u H ^v BKO-HR ojodoxoH BKK - '/v\ "*tf n /*\ ?f nodanoH o - BOBBI
oE *K9iro a gutetfoxa 'HJBDI aiBicgffodii naiss 1 ' f Birem otfa HBH ' °p a
en Hio9ana OHKOB " '" ^Jioieon • f ^ Btfoana BITE H ondga9s oj • fp BHhOU9S OHTOOi BoaiBaRaoeBdpoadu isaon T+^t-
H ?f rareaBin £EHsn ox 'rmiirsiiiscoifon Bpo 'datradnBH ' ?**.y H^ 9X HirOS * f+?f>=7-'-3-f> OHait9IB8BpO 01 'HHBH8 aHHSBd Id
-9ltH ~f-+?H H 7V BIfOHh f-d '"''?=•?- WOdOIOM8H HdU HICOg• *£/ BJIhOIiah OHIIfOl BO?XBaHa08Bdp09dU I8SOH '(HOIfflQKH 9HHBX HIC
-09) ' f xiffiKi^aa;o9iHtf9du ' /v\a XBJBUT BHHiooHH9if9E8dno BicK 5ioj£n • T /v\ AI aoEoana- oE9iroon 8HtoraJJaa;ox9aiooo -(d,f''"'lf) ( (^ f ' ' ' ' ' ' 'f) H Eeico
/y 8 a fr o n 9 n ox ' °g H ^ B H H a a o H o o s- H d U O O 9 M H O I a T/*\B H O E 9 I C O 0 0
I 8 B E B l i a O O °H H °yy B H H 9 a O H O O H H d n O OH IS / IS
9 H b o x a /v| B E o cc R a E a ir o n o x e . H d i i H I :- o a • °g M "^ ' o H H s a i o x a a x o o o ' H a n o i-on g R H h O x ' - ^ ^ H V7^ 9 E J ^ ^g ^ g ^ t"g
"UM&'UIV-'UV ' '*°a :a=°s ' l#°v-°v** ° ^ u H'a o E o a H a x n n H o a x o p o o H w e s e a d i o K o 8- H t o f f l B i r a B ' j a n E o a n a - (Mg '•• ' '° = ^ v H^^<-...ro^j_^ 5 I 0 ^ n '(HHH91II9HB8 0 B1DI9IT) •
XHtaHBiraBiooo OHH9axoE8dooii9H xsHHieroiBdJ a BEoana HXOOHW>IK> o
36
HJIH odpameHHio A ). B TO me BpeisH/y^ ae BCTB //c - 03, - HBHK.Bojiee Toro, MH aoKasew cjiesyionee yiBepsyieHHe:
fl 3 H K £ y, H e M o a e T d n T B n o p o a c a e HHC - F p a M l i a T H K O f i J~" , E J I H K O T O p o K I I 0 -
p H f l O K p 0 C T a $ y H K II H M 2^6^M e H L /Z-2 *'20KA3ATEJIBCTBO. flonyciHM npoTHBHoe
— //C - rpaMMaiHKa, Taxan,~ no Jiewue 3 MH Hueeu Ha_
3TO*npaBO - ITO y"' cqenjieHa H Kaaaufl coficTseHHuft BHBOH BHM66T eflHHCTBeHHblM CnOCOd BHnOJIH6HHH.
BseaeM iiejio^HCJieHHue napaueipH z^^e. zf sceraa fiyaei Kpai-HO st.2- ; dyfleM nojiaraiB = r/ ^g- = r = . . Eyseii , Kpo-Me Toro, CMHiaTB, qio scerja < . >^" » rae ^*- - MaKCHMyufljiHH npasux lacieJi npasaji y^ .
IlycTL X - uenoqKa Has {"a./, G£ J gjiHHH «? <f . Ho-juaaai */=-ycX)=x£&CX) £ X . npeaciasHM ^CA>> BBHfle ^A; -^ <:x; . . . ^+y CX; (BMBCTO ^-TO 6yaeM nucaiB npocio */^ )"
A x H X." - cooTBeTCTseHHO, Jiesan H npasan HOJIOBHHH X
H3 O. B
juodoro £ > <9 npw socTaToqno dojiBiiinx
£tf5. . . (2)
nioSoro^" =<?,..., ueno^Ka ^ '-•*/* CX)CTaBJtHeTCH B
/ CX) - npeaoK ^CX) H aJiana Kaaaoro^f'trA'^ He COJIB-rae /
IlycTB jo - HaHiieHBinee MS IHCBJI /' , «JIH Koiopux
I) HaflflyrcH CKOJIB yroano <5ojiBinMe -^ , Taicne, ^TO decKOHe-1HO MHOrO 1HC6JI t , KpaTHtDC K-& , yaOBJieTBOpHCT yCJIOBHD : H6
iieHee nonoBHHU Bcex iienoweic X XJIKWI 2£ TaKOBH,
aeKOTOpbix & (HanpHwep, - comf) neipyaHo BH -mo L i,- aonycKaei //c - rpaHuaTHicH c CHrHajiHSHpyiomeJi no-
0 CJIO&HOCTH BHBoaa B rpauwaTHKax HenocpescTseHHo cocTaBJifflonwx 37
OTpesKOB J> °^X))....,y> dX) , TSK H cpeflH oipesKosCX );-.., tyf Z-H (*•> HMeiDTCfl OTpeSKH flJIHHH >O, . (Co-TBynimie n. H <f dyaeu HasusaTB a o n y c T H M U i i n ) .2) jCtna Kamaoro flocTaioiHo doJiBmoro ?-£. Bee aocTaioiHO OOJIB-
, KpaTHue ^e*2 , TaKOBH, qio no HpaMneK Mepe BJIHscex aenoieK A SJHIHU ^rf rai<5o BJUIHH scex oipesKos,...,y£° (_X) , JlHfio flJIHHH B06X OTP63KOB
CX;,..., ^ CX; , MeHBine ^ .CJiyiAft I. IlyciB i.jj i-^ - cooraeTCTBeHHO HaadoJiBmee as qn -
<L =/,... , ^z- H HanMeHLmee as iHcen i.—n.+s^..BMM £Cij£°CX.)J > c? a^H aaHHOfi iteno^jKH A- MHomecTso Bcex ueno^ieK Haa{^c2./v <2.a }
HH c^tf H '27?^, - HawdojiBiaee no MOIUHOCTH nofltiHoxecTBo ??Z0 •nioCSbK asyx uenoieK icoioporo £ , H 6^ cooTBeTCTseHHO cosna -. MonmocTB MnosecTsa ^^ B asuiBHeitineM scerja
.Ilpa aocTaToqno CSOJIBEHX aonyciHMHx tfIlOJIOSilM
HOKy /*- >
IlyciB P&ZQ^ - HaHdo^Bmee no MOIUHOCTM noaMHoaceciBOycnoBHio: A^X^ ^ ^K^-^CX^)—^CX^) • B CH-
(3) npa socTaTo^HOSojiiinHx aonycraMux n H «f. Odmee
HaiHHan c aioro uoueHTa, TOCJIO /z Syaew ciHiaiB $HKCHPO -T3K WTO ^ H ^ 6yayT pacra nponopiyioHaJiBHO <f
OdognaiHu qepes \*/x oipesoK Btmoaa \y\ HHMHHaninHH-CH c ys° , H q e p e a ^ - fljiHHy cjie^a susoaa Xv^c B ioq-Ke c uenoiKH
r;ne oc - KOHCTama, saBHCHuian TOJIBKO OT rpaMMaTHKH / . B CH-Jiy (2) H (^) SJIH jirodoro nojiosHTejiBHoro qacjia o~ H jmdoro Haiy-pajiBHoro wcjia /C npw aocTaToiHO dojiBmax aonyciiiMnx o B
HepaseHCTBy
38
dyaei He ~~< (5)
^ eciB TIHCJIO AenoyeK e ^2^ , JJIH Koiopux BBunoJIHHeTCH (5), H Q*CX £ fflZa.) ecT*> ^MCJIO Toieic, B KOTOptDC (5) BHnOJIHH6TCH flJIH UeHOIKH A .
HO . . e . =^j x - H o•
HM66M C ^ •£ y<''4~~ • nOBTOMy B {/ u
XOTH (5H OflHS TOIKa e « 3JIH KOTOpOfi
3iy ToiKy dy^eM odosHaiaTB 6s/ npn ^/=<i / ^ <?£ npa<^=/2+/ H ^3 npu <Lt =-<l&
IlycTB ^^3 - noflMHOsecTBO ^^"2 , cocTOHmee as scexqeK, BJIH KOTOPUX B Kaacaoa as ToieK e/f e& , e3
CH (5). Ha (6) cjieayeavqio npa aociaToqHO dojiBramc aonycrauiix
IlyciB TenepB ^?^ - HaadojiBmee no MonmocTHJiiodtix asyx qenoqeK Koioporo A/ , A,g cneflti COOT-
BHBOBOB \Vx , \V^- B KaKflOH H3 TOleK^^, <?<e ,
cooTBeTCTBeHHO cosnaaaBT. B cwjiy (5) npa aocTaToiHOif GyaeT y : C???*
A €i
conpMKocHOBeHHH g £ cX} H6CTL <?j . IlOCKOJIBKy ^?^ ^ W^ M BCe
Jieacai B jZ? , oipesKM Z& CX) H Z3C/<) SJIH B.cex A co-cosnaflaioT; dyaeii odosHaiaTB HX ^5 H Z*HOTOMOK oipesKa Z^C-\) (£=^^3^4.^ Bdysei odosHaqaiBCH <i/^ (TX^)
IlycTB 2VZ.f - HaadojiBiuee no uomHOCTM noauHosecTBOflsyx e^oqeK KOioporo X, , A^ npaoxpesKOB Xj CX/ ) H <^A* C X£ ) coBEaaaioT. Ilpa
T01HO dOJIBDIHX flOnyCTHUHX £ dyflBT '(_ '7?Z.f- •; '> 2.^*- . 06 -
mee sHaqeHHe nww&£ CX)
4 , < (7)
0 CJIOIHOCTH BUBosa B rpauuaTHKax HenocpeacTBeHHO cocTaBJiflromax
Kpoue Toro, mieei uecio XOTH (5bi O^HO as asyx HepaseHCTB:
(9)
onpeaeJieHHOCTH dyaeu B aaJiLHeftmeM cqHTais, qio BunoJiHHeTCH (9)., flajiee, 2WS - Han6ojn>mee no MODIHOCTHjuodbix flsyx uenoqeK Koioporo A/ , X.&
cosnaaaioT. OqeBHflHO, jif(^y^e)^2. ^~^f . 0(5-
qio B 2W.g HaiisyTCH flse uenoqKH X.f H X.^ t
; . do)B cawoii sejie, ecjtH X/ H A^ - paajm^HHe uenoiKH HB ^92^ , TOpaBeHCTBO
B03MOKHO TOJILKO Toraa, Korga zf^+<f^ < 2. £ — £ , , Tax ITO
X, -Uj* T'U,H npn 9TOM T7 ^T". Ho pasJOWHiix uenoqeK KWB&£-£— £,-£.?-£+HweeiCH <2 2e~^'~^3~£* < ^ "^ (B cany (8) ). Hoa-To«y B 2tt,6 HaaaeicH He Menee ^^^^^uenoieK A < ae yaoBne-TBOpfflOIUHX yC^OBHD £/3CX.)U4 CX.) =Lf.
IIycTi> X., X2 - qenoqKH H3 ?7ZG , yaoBfleTBOpffloiuHe (10).Ms uenoqeK
BUBOflHilH COOTBCTCTBeHHO
no aeifflje o sauemeHHH us ^°CXf) - a 3HaiHT, H HSana duTL BUBoamia Tarate uenoqKa ^-^^.^CX^L/jCX^LHO ona-B CHJiy (10) H (9) - He npHHaflJieatHT L y .
2. nycTL, TIJIH onpeaeJieHHOCTH, nafiayrcH CKOJIL, TaKHe, qio fiecKOHeqHO MHOPO qHcen zf ,
T?.2- , yaoBneiBopHBT ycjiOBHB: no KpaHneft iiepe JJHH qeisepiH, BcexuenoqeK A ajmrnf 2<f aJiHHH scex
O . Paccysjaji coBepineHHo aHajiormrao cjiy^aio I, MOSHOflocTaioiHo dojiBinoro £. naMra sse iienoiKH A/ H XA, ia-
ITO ^0CX/^ H ° LXg} npeflciaBMuu B
a) Cjieau OTPCSKOB BUBOBOB Vv^. , Ha^HHaroimixcH cB T01K8X COnpHKOCHOBCHMH ^/ H Zg_ CX^)nfS/l C "J H HpH £=2.
(5) ECJW ^/CX<^)/ L£SCX,£ ) - ToiHtie HOTOMKH cooiBeTCT-OTpesKOB £L* , C^i.) B uenoqnax
TO C^H npa 3TOM
B)
IIo JieiiMe o sawemeHiiH HS C^ - a snaqiiT, H H3duTB BHBOflHMa itenoiKa £/,CX&) ^z CX, } , KOiopan B
B) ne npHnaflJiesHT Z,
I. IIpHMep HC - O£ - HSBIKa, H6 HBJIHBmerOCH
AC - S3HKOM
PaccMOipHM rpaMMaiMKy JT c OCHOBHUM cjiosapeM I CL, S\cxeuoM (CoJiBinHe JiaiHHCKHe dyKBti o<5o3HaiaioT Bcnouoraie -
CHMBOJM):
TTp. —
f i f i ' 3
fl, — CL
B icawow npaBHJie rpaMMarwiui f npasan laciB TIHSOt, nado ae coflepawi scnoMoraTejitHux CHMBOJIOB. flo3TOMy
eciB HC. - o^- - rpaMwainKa.flsiiKt nopoH^aeMua F* , COCTOHT HS sceBOsaosHbix
&Q?- & £^1=0,1,2., ... ) . nojiBsynci, TeopeMoH 4.1 as
0 OJIOIHOCTH BHBoaa B rpaMMaiHKax aenocpeacTBeaao cociaBJiflioiuHx 41
[2 J , Jierno BnaeiB, ITO STOT HSUK HC MOKBT dtiTt nopoaaeaKC - rpaMMaiHKoit *'.
17. EyjiescKHe onepaunn Has HC - o. - z >cc -
sceraa JIM aonojiHeaiie K //c - asmcyHC - H3UKOU (3TOT BOllpOC C$OpMyJIHpOBaB, HanpHMCp, B [6] ). MOX-
HO, OflHaKO, yiBepsflaTB, RTO aonojineHHe K HC - oz, - H3HKy HB-JIH6TCH HC - HSUKOM. 3xo Henocpe^cTBeHHO BbireKaei 113
JEMMA 5. fl Ji H K a a c a o H tic - 0$ - r p a i i u a i H -K H / w o i e i C H T B n o c i p o e H a M a m H H aT i i o p H H r a , p a c n o 3 H a » m a H H S U K I, CF) cJ i H H e H H o t t n a M H T B B ( onpeaejieHHe cu. [4] , cip. 53).
.HOKA3ATEJI&CTBO. B ciwiy jieuuu 3 MII uosew c^HTaTB rpauuaTHKy-j •$ > caenaeHRofl H c eaMHCTBeHHHM cnocodoM Bunoraie-
HHH Kaaworo codCTBenHoro BHiBoaa. IlycTi, y~ - MaKCHMyu B^HH npa-BUX lacTefl npaBHJi 7" u. c - KOHCTaHia, uaKopupyiDnaH ^fc^J •
codciBeHHOMy mxojsj(/Z>Jtf,,---J/!7n) *r nociaBHM B cooTBei-e nocneaoBaienBHocTB napfcx, ,{/,},..., (K^l/n) ]• _, rae /r^jf ;
npn ^->/ A"t- ecTB paccTuHHHe cHMBOJia, saMeHneuoro aa c -Mmare, OT nesoro Koima uenoyKH, BCTasneHHoft aa <:" — / M inare(STO paocTOHHHe onpeaejineTCfl, RBK B n.I npa onpeaeaeHHK cneaa ;OHO orpaHHieao IHCJIOU ^*- ); u^ CL =/,... ,/^ ) - aowep npasiuia,
aa i. M inare (npasHJia npeanoJiaraioTCH sapaaee nepe-. SaKoaHpoBaB BceBosMoaatie paajiHiane napn siwa
CXt'jUt) , rae K < y-,1 <,u^ </? ( /^ - IHCJIO npaBO/^ ) dyicsauH Q3i^9wa^U^{u./f...lU^} Cx -f/2 ) , ae nepe -
ceKannerocn c \/ U V/ . MH eciecTBeHHtiM odpasoti nociaBiiu BcooTBeiciBHe KasaoMy codCTBeanoMy BHBoay(^7, /?/, ...,tfn.)
L(.st ... L£j^ ^ KOTopyn aasoseu K o a o M aioro Busoaa.aenycTOfl uenoiKe X —t£*' • • • /^ naa <^ co-o^,-A' **+js'K**+-~'*' f\ Houep A
c aouepou m. dyaeM odosaaiaiB X^.Heipyaao nocipoHTB MamHay TiopHara Tt , nepeBoanmyw KBK-
ay» Henyciyn uenoiKy Xm aaa U B uenoiicy
*' Kaa ciajio HssecTBo BBiopy nocjie caaiw aacTOHmeflB neiaiB, aaajiorHiaua npmiep iweeTCfl B padoie: Parikh.R.J.Languagegenerating deviceso - Quarterly Progress Report Wo.60. Researchlaboratory of Electronics, M.I.T. January (1961), 199 - 212.
ecTt KOS codciBeHHoro Bsreoaa B H BnenoiKa BHBOfla c KOSOH XT??,- B HPOTHBHOH cnyiae. HCHO,
ITO itaEHHa Tt uoiei dniB nocipoeHa TaE,irodH see jraeBKH.ncncua, -syeiwe B npoiiecce padoiu, He donee ien wa^fX^) ' (2*+l) OTCTOHHHor Jiesoro icpan SOHH, r^e B naiajie padora 6ujia sanHcana X^ •
IIo Mamime 7^ MOXHO nocipoHTi. ManiHHy 7^ , nepepadami-Ba»myro Kaajyio HenyciryB ueno^Ky /? aaa V eneayioipii odpaaoM.Caaiajia K tf npraHCUBaeTCH cnpasa Xy ; saieM nocjieaoBaTejii.HO
nenoiKH S?XS, S?X3i ,.., noKa He dyaei noay^e-/f X m . yflosjieTBOpHromaH oflHouy H3 asyx
I) Xm ecTB HOB codcraeHHoro BHsosa c nocjiemneft>£){'(Xm7> c£ C S? ) . KaK ToatBKO OSHO H3 BTHXBIBIOJIHHTCH (HCHO, 1TO HepBOB yCJIOBHe JIHdO HHKOraa H6 BUnOJIHHTCfl,
jrado BHnoOTHTCH paHBffle BToporo), MaHHHHa ocTaHaBaHBaeTCH,pHxexBHO nepepadoTSB see co^epxmioe ^CHTK B o B nepsouH B /— BO BTOpOM. HeipyflHO SaMBTHTB, HTO UaffiHHa 7 MOK6T
nocipoeHa TEK, qiodH see HCHOJiBsyeuHe OTeBiCH OTCTOSEHH ne doaeeIBM aa <?(/7)+c^'(rS7J(^~t~l)~*~l °T Jiesoro icpan SOHH, rae B Ha-iane padoKi diaa sanacaHa /^ . UamHHa T^ H ecit ia, KOTOpanHan HyiHa.5^
HiaK, aonojiHeHHe K f-fc - 02 - asmcy sceraa HBJIHBTCH //c -H3UKOM. B TO ae BpeMH flonojiHeHne K //c - og, - nauKy - H flameK KC - HSHKy - MOS6T H6 dBITB/VC - O£ - H3HKOM. HM6HHO,
scex ^e^oqeK Haa \ct.,,K HSHKy £ (n.n), r«e ^0 (X)
nycToa ^e^oMKe. 1,yr ecis /re - HSUK. liodn noKaaaiiLgU^jL/^f e
{&./, a.^, S j-V,^ - qe
arc, npeacTaBHM L/y B Biwe L,0L ~ MHosecTBO BcefosMoacHHX uenoieK naa &./, a. , HO
X &•&!:/ , rae -V, - qenoiKH
- MHOKecTBO BceBOSMOKHHX ijenoqeK BHaa A SS ^/X , ^/ - aeno^KH naa •|<2./,a.<2| H tf^A; <£,2 - TO ace c nepeweHoa 3Haica HepaseHCTBa;
BC6B03MOKHHX
- TO ae c nepeweHoS MeciaiiH a/ HecTB aase aBTouaTHHfi HSHK. HSHKH /
OqeBHflHO, $aKTiwecKii aoKasaHO doaee CHiiBHoec$opnyjinpoBaHo, a nueHHo: scflKHtt HSHK, nopoaaaeuHfi //c -
c BpeiieHHOfi cHrHajrasHpyiomefi /^ TZ,? , pacnosHaeiCHTsiopHHra c eMKocTHOfi CHTHajmsHpyDnefl
A' - KOHCTaHia.
0 CJIOKHOCTH BHBOfla B rpauuaTHKax HenocpeacTBeHHO cocTaBJiHroiptx 43
noposflaiDTCH KC* - rpaimaTHKaMH , cxeuu asyx H3 KOTOpnxmote, a cxeuu ^Byx ocTaJitHhtx CTPOHTCH CHHMeTpHiHO nepsuu. CxeiiarpauuaTHKH
TTp. — ae
TTp. —RCLZ a t =1,2.B — -Bo.? Cc =1,2 ;
CxeMa rpainjaMKH JJIH [_, 3 :
.aicc =1,2 •> ,
B - a c Bo.; &,/ -/, 2. ),B —
IlepeceqeHHe flByx KC - HSHKOB Taiace uomei ae CHIB^ - H3HKOM. Se8cTBHTeJi£HO , nycTB ysdX') - odpameHHe A (eoX-jr/.. . o;e , rae.JTj - 3JieueHTapittie CHMBOJIU, TO
. . . a:, ; ^ C A ^ — A ) . HsHK ^ HB^HeiCH neC - HBHKOB "
X H ^/ npotferaro3AME1AHHE. Chomsky H Schutzenberger [3] BHCKasajQl
^TO aonosneHHe K HSHKy, nopox^aeMoiiy JiHHeflHofl /cc- rpau*' MOX6T H6 (5HTL /fC - H3HKOU. npHMep C H3HKOM £, y flO
STO npeanoaoieHHe , TOK KBK yicasaHHue HauH rpamiaTHKHH3HKOB Z / / , / j 2 > L, 3 , Lf 4
HocTynHJia BI3.XI.I964 r.
/Cc - rpauuaTKEa nasusaeTCH jiHHeflHOfl, ecim npasasee npaBHia coaepim He Coaee oanoro sxo«aeHHH scnoiioracmiBoia.
44
I. TpaxieHdpoi B.A.
2. Bar-Hillel Y.,
3. Chomsky N. ,
4. rjia«KHfl A.3.
5. A.B.
6. Landweber P.S.
J l H i e p a i y p a
TBBPHHTOBU C JIOrapH$MHieCKHM
. Aaredpa M jiorHica. CeMHHap,HoBOCHdupCK, 1964 r., 3, 4, 33-48.
Perles M., Shamir E. On formal properti-es of simple phrase structure grammars.-Z. fur Phonetik, Sprachwis.senschaft undKommunikatonsforschung. 1961, 14, 2,143-172.
Schiitzenberger M.P. The algebraic theoryof context-free languages. B KHHFe: P.Braffort, D.Hirschberg (eds), Computerprogramming and formal systems, Amster -dam, 1963.
c JiHHeteoa naMHTtro. AnredpaM Jiorinca. CeuHHap, HOBOCHOMPCK, 1963 r.2, 5, 43-55.
npnpo«a HHBapnaHTHtixrpaiiMaTHK HenocpescTBenHO cocia-
c. Ajiredpa H JiorHKa. CeMHHap, Ho -BOCHdupcic, 1964, 3, 2, 17-32.
Three theorems pn phrase structure gram-mars of type 1.- Jnformation and Control,1963, 6, 2, 131-136.