Гладкий - Формальные грамматики и языки - 1973 (947381), страница 59
Текст из файла (страница 59)
Упорядоченную тройку (С, ()У, гр), где С вЂ” система составляющих, йУ вЂ” множество меток и 91 — отображение С в 2"', мы будем называть р аз меченной си с те мой с о ставя я ю щи х. 104 СИСТЕМЫ СОСТАВЛЯЮЩИХ 4 П!ЛЯ 293 ПРЕ)))) либо таким! !)РЕДЛ предл муи,»у,»!»шл НА Еиум,мне»я'Ем»н,»д, ,ее»» дмум,»фй» емулс,ее,ин Ануа,»а,ин 292 системы состАВляющих и де ввья подчинения !п. ! Пример.
Пусть множество !)Р содержит, в частности, следующие элементы (одновременно с их пере. числением приводится содержательная интерпретация):: ПРЕДЛ вЂ” «предложение»; (4,у, — «группа непереходного глагола в роде х, . числе у, времени о и лице и»; — «непереходный глагол в роде х, числе и, ' !. времени о и лице ео»; (4„у„„— «группа переходного глагола в роде х, ' числе у, времени о и лице ю»; (4'„уа — «ПЕрЕХОдНЫй ГЛаГОЛ В рОдЕ Х„ЧИСЛЕ О, ВрЕ.
мени о и лице и»; 3„„, — «группа с)кцествительного рода х в числе у и падеже г»; 8 „, — «существительное рода х в числе у и падеже г»; А„„, — «прилагательное в роде х, числе у и паде. же г»; ЙА — «предложная группа с предлогом на»; НА — «предлог на». Тогда система составляющих (4) предложения (3) допускает следующую «естественную» разметку (в записи каждая составляющая А снабжена акколадой, около которой выписаны все элементы множества !Р(А)) ! (нежен» (дайомф р мао Чу«ее»~ИЩ(радова» (еа ( демме двги))) Одна и та же «естественная» система составляющих может допускать более одной «естественной» разметки. Так, система (16) может быть размечена либо таким образом.
Омуж,мн,им вмуж,мн,пени,д омуж,ед,дин омуж,ед,род омуж,ед,рад и» омуж»мн,им "муж,ин,прми,З амуж,ед,дин Смуж,ед,рад имуж,ед,рад Студенты Встретили ( бог»ного (Врача в(беноба)), В»~„, »',„, »А „» еев,и»„»,,»», Студенты Встретили (больного ( Врача Иданода ) ). Заметим, что в последнем примере каждая из двух Разметок по смыслу совместима только с одной из приведенных иерархизаций. Однако вполне возможны 994 СИСТЕМЫ СОСТАВЛЯЮЩИХ И йЕРЕВЪЯ ПОДЧИНЕНИЯ )П. ДЕРЕВЬЯ ПОДЧИНЕНИЯ, различные разметки, совместимые с одной и той же и рархизацией — например, в системе Я (сел (в метро)' составляющей метро можно приписать либо мет 'Чср, ел, внн Чср, ел, внн Ли О 'Чср, ед, предл И 'Сер, ед, предл и оба варианта совместимы с иерархизацией Д (сел в метро)).
5 П1.2. Деревья подчинения Пусть х — произвольная непустая цепочка в слова )д и Х вЂ” множество всех точек х. Произвольное бина ное отношение — на Х такое, что граф (Х; — ) являетс деревом, мы будем называть отнош ением сннта сического подчинения (или просто отнош ни ем подчи не ни я)ч для х. Само дерево (Х; — ) б дет называться деревом (синтаксического и о д ч и н е н и я для х. При графическом изображении дерева подчинени мы будем помещать точки цепочки х на горизонтально прямой так, как условлено в 5 1.1, и для всякой пар ' точек а, р, для которой а — р, будем проводить из а р стрелку, причем таким образом, чтобы все стрелк были по одну сторону от прямой. Для дерева подчинения обычным образом опред ляются подчинение, зависимость, группа зависимости ширина куста узла, ширина дерева, ранг узла, высот узла и дерева (см.
стр. !8 — 19). Сверх того всякое мно жество, полученное из группы зависимости точки а вы брасыванием групп зависимости некоторых (нли всех точек, подчиненных а, мы будем называть у с е ч е н н о группой зависимости точки а. Пример. На 'рис. 15 изображено несколько раз личных деревьев подчинения для одной и той же цепоч ки аЬседе)к. Деревья подчинения могут быть использованы ка один из способов изображения синтаксической структу ры предложения. Именно, информация о синтаксическо строении предложения может представлять собой набо сведений о «главенствойанни» одних слов (точнее, вхож дений слов) В предложении над другими; задать тако набор — значит задать некоторый граф на множеств точек цепочки (предложения).
Иэ интуитивных соображений, обсуждать которые мы здесь не будем, вытекает, что этот граф можно считать деревом. а Ь с ~У е б у и Ь и а' е Р р а) б) а Ь с ет' в Я д а Ь с с) е Я )) 3) е) и Ь с е( е Я )д й) Рис. )з. Пример. Следующее дерево подчинения для предложения (3) может считаться «естественнымдн (17) Онееин, дайрый ыпй приятель, рпдийся на Срееах Иейы. Аналогичным образом можно строить деревья подчинения для выражений формализованных языков. Так, для формулы (5') (стр.
284) «естественное» дерево подчинения будет иметь вид Понятие «правильного» дерева подчинения для предложения естественного языка зависит, вообще говоря, дпэввья подчинения ь псэс (19) Сту д %ася71у (А) Гасспроли (Б') 298. систпмы состлвляющих н днэввья подчннания 1п; от некоторых лингвистических соглашений (ср. анал гичное замечание о системах составляющих в $1). Н ' пример, дерево (17) отвечает современной точке эрен на сказуемое как на корень (или, как говорят некот рые лингвисты, «вершину») предложения. Более трад ционной концепции отвечало бы дерево с корнем в по лежащем: (18) Онегин, добрый мой приятель, рсдйлся на брегах Не При описании предложес(ий с помощью деревьев по чинения мы можем, как и й(эи использовании систем с ставляющих, столкнуться с явлением синтаксическ омонимии.
Так, следующие два дерева одного и того предложения: (20) Студенты иэ Тюмени цехали д Иослду соответствуют двум его разным смыслам (ср. стр. 285) . Аналогично для предложений (11) и (12) «естестве ' ные» деревья будут иметь внд балета но Наднаээ прохо~япь цспешно Гастроли балета на льву проходят успешно; однако, не располагая полным набором необходимых внеязыковых фактов (ср. стр.
286), мы должны бы были допустить также деревья (А') Гастроли балета на Кадлаэе проходят цспешно (Б) Гастроли балета на льду проходялс успешно. При этом возможны случаи, когда бесспорно синтаксически омонимичное — с содержательной точки зрения — предложение допускает различные «естественные» описания с помощью деревьев подчинения, но только од. но с помощью системы составляющих, и наоборот. Например, двум различным смыслам предложения, допу. екающего лишь одну «естественную» систему составляющих (16), отвечают соответственно деревья (21) Р ч ~ « « с Студэнпсы бстретили больного дроча И1анодо и о» ".~~ г~ ~~~;.
Студенты дстреспили больного драчо Идонода. В то же время предложение (23) Он только подписывает эти бумаги допускает по меньшей мере два смысла («эти бумаги он только подписывает, а не составляет их сам» и «он ничего вообще не делает, кроме как подписывает эти бумаги»), и этим смыслам отвечают разные системы со- ставляющих (24) Он ((только подписывает) (эти бумаги)) н (25) Он (только (подписьсвает (эти бумаги))), а Ш.21 зоб СИСТЕМЫ СОСТАВЛЯЮЩИХ И ДЕРЕВЬЯ ПОДЧИНЕНИЯ 1П ДЕРЕВЬЯ ПОДЧИНЕНИЯ йб! и у- 6 следует, что пары я, й и у, 6 не разделяют др друга.
При нашем способе графического изображения д ревьев подчинения слабая проектнвность равносиль ' воэможности провести все стрелки так, чтобы никак две из них не пересекались «). Деревья рис. 15, а) — г) слабо проективны, дере ' рис. 15, д) не является слабо проективным. Все прив денные на стр. 295 †2 деревья предложений слаб проективны. Укажем простые необходимые и достаточные услови проективности и слабой проективности. Будем называть циклическим отрезком ц почки х всякое множество точек это~ цепочки, котор является либо отрезком, либо объединением двух отре ков, прилегающих к концам цепочки (иначе говоря, л бое множество, которое при «склеивании» начала конца цепочки — цепочка при таком склеивании оказ вается «записанной на окружности» вЂ” переходит в о резок).
Теорема П1.1, Дерево подчинения для цепочки тогда и только тогда проективно, соответственно сла проективно, когда группы зависимости всех узлов этог' дерева являются отрезками, соответственно циклическ ми отрезками, цепочки х. Доказательство. а) Если дерево подчинения н является слабо проективным, то существуют четыр точки а, р, у, 6 такие, что а- б, у- 6 и пары а, б у, 6 разделяют друг друга. Из точек а, у хотя бы одн' не зависит от другой; пусть для определенности у не з висит от а. Тогда и 6 не зависит от а, так что и внутр интервала, ограниченного точками а и 6, и вне е имеются точки, не принадлежащие группе зависимост точки а. Но если множество М точек цепочки х содер жит такие две точки, что и внутри и вне ограниченно ими интервала имеются точки, не входящие в М, то не может быть циклическим отрезком. Если дерево ие проективно, то существуют три то ки а, б, у такие, что а — б, у лежит между я и В и «) Доказательство »того Ггометрического факта выходит рамки настоящего изловгенин..















