Найханова Л.С. Методы и алгоритмы трансляции естественно-языковых запросов к базе данных в SQL запросы

Подождите немного. Документ загружается.

Словарь готовых словоформ содержит слова, которые отнесены нами к неизменяемым

частям речи. В настоящее время объем словаря составляет 486 словоформ, но за счет возможности

пополнения, его объем может быть увеличен. Словарь имеет структуру: [номер ФК] [словоформа]

(табл. 10).

Таблица 10 - Словарь готовых словоформ

ФК Словоформа ФК Словоформа ФК Словоформа ФК Словоформа

7100 точь-в-точь … … 7103 если 7110 за

7100 по-ученически 7100 по-домашнему 7103 чтобы 7110 на

7100 по-пролетарски 7100 всегда 7103 о котором 7110 по

7100 по-французски 7100 наизнанку 7103 которое 7110 под

7100 по-китайски 7100 на смех 7103 что 7110 сквозь

7100 по-моему 7100 наугад 7103 потому что 7110 через

7100 по-старому 7100 отроду 7103 который 7110 про

7100 по-весеннему 7100 наперевес 7103 которые … …

7100 исподлобья 7100 наперебой 7103 которая 7111 за

7100 издали 7100 напрокат 7103 где 7111 перед

7100 навыворот 7100 назло 7103 так как 7111 пред

7100 наотрез 7100 набок 7103 которого … …

7100 то 7100 насилу 7103 которую 7112 при

7100 наперекор 7100 вбок 7103 которым 7112 по

7100 наперечет 7100 вслух 7103 когда … …

7100 навзрыд 7100 вдаль 7103 то есть 7115 о

7100 наудачу 7100 всмятку 7103 которому … …

7100 наперед 7100 впредь 7103 которых 7116 :

7100 навстречу 7100 вскачь 7103 которыми 7116 %

7100 вверх 7100 слишком … … 7116 (

7100 ввек 7100 вдали 7104 да 7116 ...

7100 вразброд 7100 взаперти 7104 разве 7116 }

7100 вширь 7100 наверху 7104 неужели 7116 .

7100 врасплох 7100 наперегонки 7104 ли 7116 -

7100 вкось … … 7104 бы 7116 ?

7100 заполночь 7101 будто … … 7116 "

7100 вверху 7101 так сказать 7105 нет 7116 ]

7100 внутри 7101 вообще говоря 7105 не … …

7100 втайне 7101 одним словом 7105 ни 7117 1

7100 на четвереньки 7101 полно 7106 понимашь 7117 2

7100 взапуски 7101 что ли 7106 кажется 7117 3

7100 поделом 7101 несомненно 7107 ах 7117 4

7100 в бегах 7101 понятно 7107 ай 7117 5

7100 на цыпочках 7101 по-видимому 7107 ой 7117 6

7100 сколько 7101 разумеется 7107 уй 7117 7

7100 видно 7101 действительно 7107 ба 7117 8

7100 по-всегдашнему 7101 видимо … … … …

7100 иногда 7101 очевидно 7108 от 1700 я

7100 набекрень 7101 безусловно 7108 из 1700 ты

7100 на диво 7101 как-никак 7108 изо 1700 он

7100 это 7101 вероятно 7108 после 1700 они

7100 наповал 7101 небось 7108 кроме … …

7100 напролет 7101 пожалуй 7108 мимо 7203 эскимо

7100 наутек 7101 словом 7108 возле 7203 пианино

7100 нараспашку 7101 слышно 7108 подле 7203 амплуа

7100 назад 7101 буквально … … 7203 манто

7100 наверх … … 7109 ко 7203 лассо

7100 наудачу 7102 и 7109 по 7203 сальто

7100 вмиг 7102 а 7109 вопреки 7203 метро

7100 взасос 7102 но 7109 наперекор 7203 пальто

7100 ввысь 7102 хоть 7109 назло … …

7100 втихомолку 7102 или 7109 согласно 7206 действуя

7100 вкривь 7102 хотя 7109 подобно 7206 заклеймив

7100 зараз … … 7109 сообразно 7206 паяя

7100 совсем 7103 которой … … … …

Таблица совместимости «основа слова - флективный класс» предназначена для сопоставления

основы с флективным классом, объем таблицы – 22077 сопоставления и имеет структуру вида:

[номер основы] [номер ФК]. В таблице 11 каждой основе таблицы 9, поставлен соответствующий

ей флективный класс.

Таблица 11 - Таблица совместимости «основа слова - флективный класс»

№ основы Номер ФК № основы Номер ФК № основы Номер ФК № основы Номер ФК

1 7201 59 7207, 5200, 2000 188 7207, 5200, 2000 2354 7206

2 7201 60 7207, 5200, 2000 … … 2356 7206

3 7202 61 7207, 5200, 2000 224 7207, 5200, 2000 2357 7206

4 7203 62 7207, 5200, 2000 225 7207, 5200, 2000 2358 7206

5 7203 … … 226 7207, 5200, 2000 2359 7206

6 7207, 5200, 2000 127 7207, 5200, 2000 227 7207, 5200, 2000 2360 7206

7 7207, 5200, 2000 128 7207, 5200, 2000 228 7207, 5200, 2000 2361 7206

8 7207, 5200, 2000 129 7207, 5200, 2000 229 7207, 5200, 2000 2362 7206

9 7207, 5200, 2000 130 7207, 5200, 2000 230 7207, 5200, 2000 2363 7206

10 7207, 5200, 2000 131 7207, 5200, 2000 231 7207, 5200, 2000 2364 7206

11 7207, 5200, 2000 132 7207, 5200, 2000 232 7207, 5200, 2000 2365 7206

12 7207, 5200, 2000 133 7207, 5200, 2000 233 7207, 5200, 2000 2366 7206

13 7207, 5200, 2000 134 7207, 5200, 2000 234 7207, 5200, 2000 2367 7206

14 7207, 5200, 2000 135 7207, 5200, 2000 235 7207, 5200, 2000 2368 7206

15 7207, 5200, 2000 136 7207, 5200, 2000 236 7207, 5200, 2000 2369 7206

16 7207, 5200, 2000 137 7207, 5200, 2000 237 7207, 5200, 2000 2370 7206

17 7207, 5200, 2000 138 7207, 5200, 2000 238 7207, 5200, 2000 2371 7206

18 7207, 5200, 2000 139 7207, 5200, 2000 239 7207, 5200, 2000 2372 7206

19 7207, 5200, 2000 140 7207, 5200, 2000 240 7207, 5200, 2000 2373 7206

20 7207, 5200, 2000 141 7207, 5200, 2000 241 7207, 5200, 2000 2374 7206

21 7207, 5200, 2000 142 7207, 5200, 2000 242 7207, 5200, 2000 2375 7206

22 7207, 5200, 2000 143 7207, 5200, 2000 243 7207, 5200, 2000 2376 7206

23 7207, 5200, 2000 144 7207, 5200, 2000 244 7207, 5200, 2000 2377 7206

24 7207, 5200, 2000 145 7207, 5200, 2000 245 7207, 5200, 2000 2378 7206

25 7207, 5200, 2000 146 7207, 5200, 2000 246 7207, 5200, 2000 … …

26 7207, 5200, 2000 147 7207, 5200, 2000 247 7207, 5200, 2000 7197 1401

27 7207, 5200, 2000 148 7207, 5200, 2000 248 7207, 5200, 2000 7198 1401

28 7207, 5200, 2000 149 7207, 5200, 2000 249 7207, 5200, 2000 7199 1401

29 7207, 5200, 2000 150 7207, 5200, 2000 250 7207, 5200, 2000 7200 1401

30 7207, 5200, 2000 151 7207, 5200, 2000 251 7207, 5200, 2000 7201 1401

31 7207, 5200, 2000 152 7207, 5200, 2000 252 7207, 5200, 2000 7202 1401

32 7207, 5200, 2000 153 7207, 5200, 2000 253 7207, 5200, 2000 7203 1401

33 7207, 5200, 2000 154 7207, 5200, 2000 254 7207, 5200, 2000 7204 1401

34 7207, 5200, 2000 155 7207, 5200, 2000 255 7207, 5200, 2000 7205 1401

35 7207, 5200, 2000 156 7207, 5200, 2000 256 7207, 5200, 2000 7206 1401

36 7207, 5200, 2000 157 7207, 5200, 2000 257 7207, 5200, 2000 7207 1401

37 7207, 5200, 2000 158 7207, 5200, 2000 258 7207, 5200, 2000 7208 1401

38 7207, 5200, 2000 159 7207, 5200, 2000 259 7207, 5200, 2000 7209 1401

39 7207, 5200, 2000 160 7207, 5200, 2000 260 7207, 5200, 2000 7210 1401

40 7207, 5200, 2000 161 7207, 5200, 2000 261 7207, 5200, 2000 … …

41 7207, 5200, 2000 162 7207, 5200, 2000 262 7207, 5200, 2000 19014 4100

42 7207, 5200, 2000 163 7207, 5200, 2000 263 7207, 5200, 2000 19015 4100

43 7207, 5200, 2000 164 7207, 5200, 2000 264 7207, 5200, 2000 19016 4100

44 7207, 5200, 2000 165 7207, 5200, 2000 265 7207, 5200, 2000 19017 4100

45 7207, 5200, 2000 166 7207, 5200, 2000 266 7207, 5200, 2000 19018 4100

46 7207, 5200, 2000 167 7207, 5200, 2000 267 7207, 5200, 2000 19019 4100

47 7207, 5200, 2000 168 7207, 5200, 2000 … … 19020 4100

48 7207, 5200, 2000 169 7207, 5200, 2000 281 7207, 5200, 2000 19021 4100

49 7207, 5200, 2000 170 7207, 5200, 2000 282 7207, 5200, 2000 19022 4100

50 7207, 5200, 2000 171 7207, 5200, 2000 283 7207, 5200, 2000 19023 4100

51 7207, 5200, 2000 172 7207, 5200, 2000 284 7207, 5200, 2000 19024 4100

52 7207, 5200, 2000 173 7207, 5200, 2000 285 7207, 5200, 2000 19025 4100

53 7207, 5200, 2000 174 7207, 5200, 2000 286 7207, 5200, 2000 … …

54 7207, 5200, 2000 175 7207, 5200, 2000 … … 19316 1404

55 7207, 5200, 2000 176 7207, 5200, 2000 2350 7206 19317 3000

56 7207, 5200, 2000 177 7207, 5200, 2000 2351 7206 19318 1101

57 7207, 5200, 2000 … … 2352 7206 19319 2000

58 7207, 5200, 2000 187 7207, 5200, 2000 2353 7206 19321 2003

Таблица совместимости «флективный класс - окончание - морфологическая информация» (табл. 12)

предназначена для проверки корректности разбиения слова на основу и окончание, а также для

определения правильно выделенным основе и окончанию соответствующего набора

морфологической информации. Таблица совместимости имеет структуру: [номер флективного

класса] [окончание] [закодированный набор морфологической информации]. Расшифровка набора

осуществляется согласно таблице 13.

Таблица 12 - Таблица совместимости «флективный класс - окончание - морфологическая

информация»

ФК Ок.

ФК Ок

ФК Ок.

ФК Ок

ФК Ок МИ

1500 о 11 1402 е 13 1206 ей 24 1113 у 13 1112 _ 14 1107 ах 26 2005 им 135

1500 о 14 1402 е 16 1206 ям 23 1113 ом 15 1112 а 12 1507 е 11 2005 ом 116

1500 а 12 1402 у 14 1206 ями 25 1113 е 16 1112 у 13 1507 е 14 2005 ом 136

1500 а 21 1402 ой 15 1206 ях 26 1113 ам 23 1112 ом 15 1507 е 16 2005 ая 121

1500 а 24 1402 _ 22 1110 я 12 1113 ами 25 1112 е 16 1507 я 12 2005 ую 124

1500 у 13 1402 ам 23 1110 ю 13 1113 ах 26 1112 я 21 1507 я 21 2005 ое 131

1500 ом 15 1402 ами 25 1110 ям 23 1202 _ 11 1112 я 24 1507 я 24 2005 ое 134

1500 е 16 1402 ах 26 1110 ями 25 1202 а 12 1112 ев 22 1507 ю 13 2005 ие 201

1500 _ 22 1102 _ 11 1110 ях 26 1202 а 14 1112 ям 23 1507 ем 15 2005 ие 204

1500 ам 23 1102 _ 14 1303 я 11 1202 у 13 1112 ями 25 1507 ий 22 2005 их 202

1500 ами 25 1102 а 12 1303 и 12 1202 ом 15 1112 ях 26 1507 ям 23 2005 их 206

1500 ах 26 1102 у 13 1303 и 21 1202 е 16 1117 _ 11 1507 ями 25 2005 ими 205

1403 а 11 1102 ом 15 1303 е 13 1202 и 21 1117 _ 14 1507 ях 26 2004 ой 111

1403 и 12 1102 е 16 1303 е 16 1202 ей 22 1117 и 12 2000 ый 111 2004 ой 122

1403 и 21 1102 и 21 1303 ю 14 1202 ей 24 1117 и 13 2000 ый 114 2004 ой 123

1403 и 24 1102 и 24 1303 ей 15 1202 ям 23 1117 и 16 2000 ого 112 2004 ой 114

1403 е 13 1102 ей 22 1303 й 22 1202 ями 25 1117 ю 15 2000 ого 132 2004 ой 125

1403 е 16 1102 ам 23 1303 й 24 1202 ях 26 1601 ий 11 2000 ому 113 2004 ой 126

1403 у 14 1102 ами 25 1303 ям 23 1505 о 11 1601 его 12 2000 ому 133 2004 ого 112

1403 ей 15 1102 ах 26 1303 ями 25 1505 о 14 1601 его 14 2000 ым 203 2004 ого 132

1403 _ 22 1504 е 11 1303 ях 26 1505 а 12 1601 ему 13 2000 ым 115 2004 ому 113

1403 ам 23 1504 е 14 1406 е 13 1505 у 13 1601 им 15 2000 ым 135 2004 ому 133

1403 ами 25 1504 е 16 1406 е 16 1505 ом 15 1601 им 23 2000 ом 116 2004 ым 203

1403 ах 26 1504 а 12 1207 _ 11 1505 е 16 1601 ем 16 2000 ом 136 2004 ым 115

1309 а 11 1504 а 21 1207 я 12 1505 я 21 1601 ие 21 2000 ая 121 2004 ым 135

1309 и 12 1504 а 24 1207 я 14 1505 я 24 1601 их 22 2000 ой 111 2004 ом 116

1309 и 21 1504 у 13 1207 я 21 1505 ев 22 1601 их 24 2000 ой 122 2004 ом 136

1309 е 13 1504 ем 15 1207 ю 13 1505 ям 23 1601 их 26 2000 ой 123 2004 ая 121

1309 е 16 1504 _ 22 1207 ем 15 1505 ями 25 1601 ими 25 2000 ой 114 2004 ую 124

1309 у 14 1504 ам 23 1207 е 16 1505 ях 26 1607 ий 11 2000 ой 125 2004 ое 131

1309 ей 15 1504 ами 25 1207 ей 22 1305 а 11 1607 ий 14 2000 ой 126 2004 ое 134

1309 _ 22 1504 ах 26 1207 ей 24 1305 и 12 1607 ого 12 2000 ую 124 2004 ые 201

1309 _ 24 1411 а 11 1207 ям 23 1305 и 21 1607 ому 13 2000 ое 131 2004 ые 204

1309 ам 23 1411 ы 12 1207 ями 25 1305 е 13 1607 им 15 2000 ое 134 2004 ых 202

1309 ами 25 1411 ы 21 1207 ях 26 1305 е 16 1607 им 23 2000 ые 201 2004 ых 206

1309 ах 26 1411 ы 24 1116 _ 11 1305 у 14 1607 ом 16 2000 ые 204 2004 ыми 205

1108 _ 11 1411 е 13 1116 _ 14 1305 ой 15 1607 ие 21 2000 ых 202 3000 ю 11

1108 _ 14 1411 е 16 1116 я 12 1305 _ 22 1607 ие 24 2000 ых 206 3000 ешь 12

1108 а 12 1411 у 14 1116 я 21 1305 _ 24 1607 их 22 2000 ыми 205 3000 ет 13

1108 а 21 1411 ей 15 1116 я 24 1305 ам 23 1607 их 26 2002 ий 111 3000 ем 21

1108 а 24 1411 _ 22 1116 ю 13 1305 ами 25 1607 ими 25 2002 ий 114 3000 ете 22

1108 у 13 1411 ам 23 1116 ем 15 1305 ах 26 1600 ый 11 2002 его 112 3000 ют 23

1108 ом 15 1411 ами 25 1116 е 16 1202 ам 23 1600 ого 12 2002 его 132 3001 ю 11

1108 е 16 1411 ах 26 1116 ей 22 1202 ами 25 1600 ого 14 2002 ему 113 3001 ишь 12

1108 ов 22 1510 е 11 1116 ям 23 1202 ах 26 1600 ому 13 2002 ему 133 3001 ит 13

1108 ам 23 1510 е 14 1116 ями 25 1506 я 11 1600 ым 15 2002 им 203 3001 им 21

1108 ами 25 1510 е 16 1116 ях 26 1506 я 14 1600 ым 23 2002 им 115 3001 ите 22

1108 ах 26 1510 я 12 1410 я 11 1506 и 12 1600 ом 16 2002 им 135 3001 ят 23

1215 _ 11 1510 я 21 1410 и 12 1506 и 13 1600 ые 21 2002 ем 116 3003 у 11

1215 а 12 1510 я 24 1410 и 21 1506 и 16 1600 ых 22 2002 ем 136 3003 ишь 12

1215 а 14 1510 ю 13 1410 и 24 1506 ем 15 1600 ых 24 2002 ая 121 3003 ит 13

1215 а 21 1510 ем 15 1410 е 13 1513 е 11 1600 ых 26 2002 ей 122 3003 им 21

1215 у 13 1510 ей 22 1410 е 16 1513 е 14 1600 ыми 25 2002 ей 123 3003 ите 22

Продолжение таблицы 12

ФК Ок.

ФК Ок

ФК Ок.

ФК Ок

ФК Ок МИ

1215 ом 15 1510 ям 23 1410 ю 14 1513 е 16 1603 ое 11 2002 ей 125 3003 ат 23

1215 е 16 1510 ями 25 1410 ей 15 1513 а 12 1603 ое 14 2002 ей 126 3004 у 11

1215 ов 22 1510 ях 26 1410 _ 22 1513 а 21 1603 ого 12 2002 ую 124 3004 ишь 12

1215 ов 24 1109 _ 11 1410 ям 23 1513 а 24 1603 ому 13 2002 ее 131 3004 ит 13

1215 ам 23 1109 _ 14 1410 ями 25 1513 у 13 1603 ым 15 2002 ее 134 3004 им 21

1215 ами 25 1109 а 12 1410 ях 26 1513 ем 15 1603 ым 23 2002 ие 201 3004 ите 22

1215 ах 26 1109 у 13 1401 _ 11 1513 ев 22 1603 ом 16 2002 ие 204 3004 ут 23

1511 о 11 1109 ем 15 1401 _ 14 1513 ам 23 1603 ые 21 2002 их 202 3002 у 11

1511 о 14 1109 е 16 1401 и 12 1513 ами 25 1603 ых 22 2002 их 206 3002 ешь 12

1511 а 12 1109 ы 21 1401 и 13 1513 ах 26 1603 ых 24 2002 ими 205 3002 ет 13

1511 у 13 1109 ы 24 1401 и 16 1514 и 21 1603 ых 26 2001 ий 111 3002 ем 21

1511 ом 15 1109 ев 22 1401 ю 15 1514 и 25 1603 ыми 25 2001 ий 114 3002 ете 22

1511 е 16 1109 ам 23 1401 и 21 1514 ей 22 1604 ее 11 2001 его 112 3002 ут 23

1511 и 21 1109 ами 25 1401 и 24 1514 ей 24 1604 ее 14 2001 его 132 3006 у 11

1511 и 24 1109 ах 26 1401 ей 22 1514 ям 23 1604 его 12 2001 ему 113 3006 ишь 12

1511 _ 22 1409 я 11 1401 ям 23 1514 ях 26 1604 ему 13 2001 ему 133 3006 ит 13

1511 ам 23 1409 и 12 1401 ями 25 1214 _ 11 1604 им 15 2001 им 203 3006 им 21

1511 ами 25 1409 и 21 1401 ях 26 1214 _ 22 1604 им 23 2001 им 115 3006 ите 22

1511 ах 26 1409 и 24 1306 _ 11 1214 _ 24 1604 ем 16 2001 им 135 3006 ят 23

1200 _ 11 1409 е 13 1306 _ 14 1214 а 12 1604 ие 21 2001 ем 116 3005 у 11

1200 а 12 1409 е 16 1306 и 12 1214 а 14 1604 их 22 2001 ем 136 3005 ешь 12

1200 а 14 1409 ю 14 1306 и 13 1214 у 13 1604 их 24 2001 яя 121 3005 ет 13

1200 у 13 1409 ей 15 1306 и 16 1214 ом 15 1604 их 26 2001 ей 122 3005 им 21

1200 ом 15 1409 ей 22 1306 и 21 1214 е 16 1604 ими 25 2001 ей 123 3005 ите 22

1200 е 16 1409 ям 23 1306 ю 15 1214 е 21 1602 ой 11 2001 ей 125 3005 ят 23

1200 ы 21 1409 ями 25 1306 ей 22 1214 ам 23 1602 ого 12 2001 ей 126 7200 ть

1200 ов 22 1409 ях 26 1306 ей 24 1214 ами 25 1602 ого 14 2001 юю 124 7200 ти

1200 ов 24 1304 я 11 1306 ям 23 1214 ах 26 1602 ому 13 2001 ее 131 7200 чь

1200 ам 23 1304 и 12 1306 ями 25 1501 о 11 1602 ым 15 2001 ее 134 4100 _ 11

1200 ами 25 1304 и 21 1306 ях 26 1501 о 14 1602 ым 23 2001 ие 201 4100 а 12

1200 ах 26 1304 е 13 1401 ам 23 1501 а 12 1602 ом 16 2001 ие 204 4100 о 13

1101 _ 11 1304 е 16 1401 ами 25 1501 а 21 1602 ые 21 2001 их 202 4100 и 20

1101 _ 14 1304 ю 14 1401 ах 26 1501 а 24 1602 ых 22 2001 их 206 5200 _ 11

1101 а 12 1304 ей 15 1308 _ 11 1501 у 13 1602 ых 24 2001 ими 205 5200 а 12

1101 у 13 1304 _ 22 1308 _ 14 1501 ом 15 1602 ых 26 2003 ий 111 5200 о 13

1101 ом 15 1304 _ 24 1308 и 12 1501 е 16 1602 ыми 25 2003 ий 114 5200 ы 20

1101 е 16 1304 ям 23 1308 и 13 1501 ов 22 1605 ая 11 2003 ого 112 5202 _ 11

1101 ы 21 1304 ями 25 1308 и 16 1501 ам 23 1605 ой 12 2003 ого 132 5202 а 12

1101 ы 24 1304 ях 26 1308 и 21 1501 ами 25 1605 ой 13 2003 ому 113 5202 о 13

1101 ов 22 1110 _ 11 1308 ью 15 1501 ах 26 1605 ой 15 2003 ому 133 5202 и 20

1101 ам 23 1110 _ 14 1308 ей 22 1209 _ 11 1605 ой 16 2003 им 203 5201 _ 11

1101 ами 25 1110 а 12 1308 ей 24 1209 а 12 1605 ую 14 2003 им 115 5201 а 12

1101 ах 26 1110 у 13 1308 ям 23 1209 а 14 1605 ые 21 2003 им 135 5201 е 13

1208 _ 11 1110 ем 15 1308 ями 25 1209 у 13 1605 ые 24 2003 ом 116 5201 и 20

1208 а 12 1110 е 16 1308 ях 26 1209 ем 15 1605 ых 22 2003 ом 136 2008 й 111

1208 а 14 1110 и 21 1204 й 11 1209 е 16 1605 ых 26 2003 ая 121 2008 й 114

1208 у 13 1110 и 24 1204 я 12 1209 ы 21 1605 ым 23 2003 ой 111 2008 его 112

1208 ом 15 1110 ей 22 1204 я 14 1209 ев 22 1605 ыми 25 2003 ой 122 2008 его 132

1208 е 16 1110 ам 23 1204 ю 13 1209 ев 24 1606 ая 11 2003 ой 123 2008 ему 113

1208 и 21 1110 ами 25 1204 ем 15 1209 ам 23 1606 ой 12 2003 ой 114 2008 ему 133

1208 ов 22 1110 ах 26 1204 е 16 1209 ами 25 1606 ой 13 2003 ой 125 2008 им 115

1208 ов 24 1216 _ 11 1204 и 21 1209 ах 26 1606 ой 15 2003 ой 126 2008 им 135

1208 ам 23 1216 а 12 1204 ев 22 1219 _ 11 1606 ой 16 2003 ую 124 2008 им 203

1208 ами 25 1216 а 14 1204 ев 24 1219 а 12 1606 ую 14 2003 ое 131 2008 ем 116

1208 ах 26 1216 у 13 1204 ям 23 1219 а 14 1606 ие 21 2003 ое 134 2008 ем 136

1106 _ 11 1216 ем 15 1204 ями 25 1219 у 13 1606 ие 24 2003 ие 201 2008 я 121

1106 _ 14 1216 е 16 1204 ях 26 1219 ом 15 1606 их 22 2003 ие 204 2008 ей 122

1106 а 12 1216 я 21 1105 й 11 1219 е 16 1606 их 26 2003 их 202 2008 ей 123

1106 у 13 1216 ей 22 1105 й 14 1118 а 21 1606 им 23 2003 их 206 2008 ей 125

1106 ом 15 1216 ей 24 1105 я 12 1118 _ 22 1606 ими 25 2003 ими 205 2008 ей 126

1106 е 16 1216 ям 23 1105 ю 13 1118 _ 24 1115 _ 11 2011 ий 111 2008 ю 124

1106 и 21 1216 ями 25 1105 ем 15 1118 ам 23 1115 _ 14 2011 ий 114 2008 е 131

1106 и 24 1216 ях 26 1105 е 16 1118 ами 25 1115 _ 22 2011 его 112 2008 е 134

1106 ов 22 1503 е 11 1105 и 21 1118 ах 26 1115 а 12 2011 его 132 2008 и 201

1106 ам 23 1503 е 14 1105 и 24 1212 я 11 1115 у 13 2011 ему 113 2008 и 204

1106 ами 25 1503 я 12 1105 ев 22 1212 и 12 1115 ом 15 2011 ему 133 2008 их 202

Продолжение таблицы 12

ФК Ок.

ФК Ок

ФК Ок.

ФК Ок

ФК Ок МИ

1106 ах 26 1503 ю 13 1105 ям 23 1212 и 21 1115 е 16 2011 им 203 2008 их 206

1404 а 11 1503 ем 15 1105 ями 25 1212 е 13 1115 ы 21 2011 им 115 2008 ими 205

1404 и 12 1503 и 16 1105 ях 26 1212 е 16 1115 ы 24 2011 им 135 2009 _ 111

1404 и 21 1503 я 21 1105 и 16 1212 ю 14 1115 ам 23 2011 ем 116 2009 _ 114

1404 и 24 1503 я 24 1204 и 16 1212 ей 15 1115 ами 25 2011 ем 136 2009 его 112

1404 е 13 1503 й 22 1512 е 11 1212 ей 22 1115 ах 26 2011 я 121 2009 его 132

1404 е 16 1503 ям 23 1512 е 14 1212 ей 24 1201 _ 11 2011 ей 122 2009 ему 113

1404 у 14 1503 ями 25 1512 е 16 1212 ям 23 1201 _ 22 2011 ей 123 2009 ему 133

1404 ой 15 1503 ях 26 1512 я 12 1212 ями 25 1201 _ 24 2011 ей 125 2009 им 115

1404 _ 22 1406 я 11 1512 ю 13 1212 ях 26 1201 а 12 2011 ей 126 2009 им 135

1404 ам 23 1406 и 12 1512 ем 15 1219 _ 22 1201 а 14 2011 ю 124 2009 им 203

1404 ами 25 1406 и 13 1512 я 21 1219 _ 24 1201 у 13 2011 е 131 2009 ем 116

1404 ах 26 1406 и 16 1512 я 24 1219 а 21 1201 ом 15 2011 е 134 2009 ем 136

1300 а 11 1406 и 21 1512 ев 22 1219 ам 23 1201 е 16 2011 и 201 2009 а 121

1300 ы 12 1406 и 24 1512 ям 23 1219 ами 25 1201 ы 21 2011 и 204 2009 ей 122

1300 е 13 1406 ю 14 1512 ями 25 1219 ах 26 1201 ам 23 2011 их 202 2009 ей 123

1300 е 16 1406 ей 15 1512 ях 26 1220 _ 11 1201 ами 25 2011 их 206 2009 ей 125

1300 у 14 1406 й 22 1412 и 21 1220 а 12 1201 ах 26 2011 ими 205 2009 ей 126

1300 ой 15 1406 ям 23 1412 и 24 1220 а 14 1107 _ 11 2005 ой 111 2009 у 124

1300 ы 21 1406 ями 25 1412 ей 22 1220 у 13 1107 _ 14 2005 ой 122 2009 е 131

1300 _ 22 1406 ях 26 1412 ям 23 1220 ом 15 1107 _ 22 2005 ой 123 2009 е 134

1300 _ 24 1206 _ 11 1412 ями 25 1220 е 16 1107 а 12 2005 ой 114 2009 и 201

1300 ам 23 1206 я 12 1412 ях 26 1220 я 21 1107 у 13 2005 ой 125 2009 и 204

1300 ами 25 1206 я 14 1113 _ 11 1220 ев 22 1107 ом 15 2005 ой 126 2009 их 202

1300 ах 26 1206 ю 13 1113 _ 14 1220 ев 24 1107 е 16 2005 ого 112 2009 их 206

1402 а 11 1206 ем 15 1113 _ 22 1220 ям 23 1107 и 21 2005 ого 132 2009 ими 205

1402 ы 12 1206 е 16 1113 а 12 1220 ями 25 1107 и 24 2005 ому 113 7207 е

1402 ы 21 1206 и 21 1113 а 21 1220 ях 26 1107 ам 23 2005 ому 133 7207 о

1402 ы 24 1206 ей 22 1113 а 24 1112 _ 11 1107 ами 25 2005 им 203 2201 _

Таблица 13 - Таблица расшифровки набора морфологической информации

Части речи (основные цифры ФК)

Морфологическая

характеристика

Значение

морфологичес-

кой

характеристики

Первая цифра

набора МИ

Вторая цифра

набора МИ

Третья цифра

набора МИ

Существи-

тельное

(1***)

Прилага-

тельное

(2***)

Глагол в

личной

форме

(3***)

Глагол

прошед-

шего

времени

(4***)

Краткие

прилага-

тельные

(5***)

единственное 1 + + + + +

Число

множественное 2 + + + + +

именительный 1 + +

родительный 2 + +

дательный 3 + +

винительный 4 + +

творительный 5 + +

Падеж

предложный 6 + +

мужской 1* 1 + +* +*

женский 2* 2 + +* +*

средний 3* 3 + +* +*

Род

нет рода 0 +

первое 1 +

второе 2 +

Лицо

третье 3 +

Приложение Б. Правила синтаксического анализа

Система продукций синтаксического анализа включает в себя множество продукций: P

{pr

59,1=i

}, где pr

=<q

>, которые объединены по категориям правил, приведенных ниже.

Первая подсистема правил

1. Правило построения группы ПС (предлог+существительное). Возможные падежи

существительных имеют непустое пересечение с множеством падежей, которыми управляет

предлог. Предлог может стоять перед самим существительным или перед прилагательным

(прилагательными), после которых следует согласуемое существительное, например, на совещании,

в международной научной конференции. В результате формируется группа ПС, предлог удаляется

из исходного множества лексем. Данное правило позволит удалить избыточную морфологическую

информацию о лексеме, основываясь на свойстве примыкания падежей с предлогами.

Тогда правило можно представить в виде ситуации: пара лексем х

и х

образует

синтаксическую группу ПС тогда и только тогда, когда имеет место закономерность, описываемая

конъюнкцией следующих фактов:

1) х

имеет характеристику v

∈V

со значением «предлог» - (∃х

:X) Р(x

, t(v

, предлог));

2) х

имеет характеристику v

со значением «существительное» - (∃x

:X) Р(x

, t(v

существительное));

3) х

имеет характеристику v

со значением сорта «падеж» - (∃x

:X) Р(x

, t(v

, v

));

4) лексема х

принадлежит сорту b

∈B - P

(х

), y

, f

), где f

– ссылка на процедуру F

определения названия категории предлога х

, а переменная y

может принимать значения:

«родительный», «дательный», «винительный», «творительный» или «предложный»;

5) у

равен v

- Р

(у

, v

);

6) лексема х

стоит раньше х

лексемы - P

(i,j), y

, f

), где f

– ссылка на процедуру F

проверки условия i>j, а переменная y

может принимать значение: «раньше» или «позже»;

7) у

имеет значение «раньше» - Р

(у

, раньше).

Предикат (

∃х

:X) (∃x

:X) Р

(ПС, t(х

, x

)) соответствует утверждению, что существуют лексемы

и x

, которые образуют синтаксическую группу с именем ПС, а областью значений переменных х

является множество Х лексем запроса g (х

, x

∈Х).

Необходимо также отметить, что факты 2) и 3) можно описать в одном предикате, т.к.

рассматривается одна и та же лексема x

, следовательно, имеет место параметрический предикат

par

, t(v

, существительное), t(v

, v

)).

В этом случае продукция записывается в виде: pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, предлог) ∧ (∃x

:X) Р

par

, t(v

, существительное), t(v

, v

)) ∧ P

(х

), y

) ∧ Р

(у

, v

) ∧ P

(i, j), y

, f

) ∧ Р

(у

, раньше) ↔ (∃х

:X) (∃x

:X) Р

(ПС, t(х

, x

));

= add [P

(ПС, t(x

, x

))]; elim[(X, {x

})].

2. Правило построения группы ФИО (фамилия+имя+отчество). Правило ищет два или три

контактно стоящих слова х

, х

i+1

и х

i+2

, которые представляют собой имена собственные ИС.

Правило собирает группу ФИО по схемам ИС

-ИС

или ИС

-ИС

, например, Иванов Петр

Сергеевич, Иванов Петр. По ограничению на естественный язык первой всегда должна идти

фамилия человека, поэтому в результате формируется группа ФИО через объединение ИС

-ИС

ИС

или ИС

-ИС

и удаляются из исходного множества лексем лексемы х

i+1

и х

i+2

или только х

i+1

Правило можно представить в виде двух ситуаций. Первая ситуация описывает схему ИС

ИС

-ИС

, вторая – схему ИС

-ИС

Ситуация первая: лексемы х

i+1

и х

i+2

образуют синтаксическую группу ФИО тогда и только

тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов:

1) х

имеет характеристику v

∈V

со значением «существительное» - (∃x

:X) Р(x

, t(v

существительное));

2) х

имеет характеристику v

∈V

со значением сорта «ИС» - (∃x

:X) Р(x

, t(v

, v

));

3) v

имеет значение s

- Р

, s

4) х

i+1

имеет характеристику v

(i+1)1

∈V

i+1

со значением «существительное» - (∃x

i+1

:X) Р(x

i+1

t(v

(i+1)1

, существительное));

5) х

i+1

имеет характеристику v

(i+1)8

∈V

i+1

со значением сорта «ИС» - (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)8

));

6) v

(i+1)8

имеет значение s

- Р

(i+1)8

, s

);

7) х

i+2

имеет характеристику v

(i+2)8

∈V

i+2

со значением сорта «ИС» - (∃x

i+2

:X) Р(x

i+2

, t(v

(i+2)8

));

8) v

(i+2)8

имеет значение s

- Р

(i+2)8

, s

Тогда предикат (

∃х

:X) (∃x

i+1

:X) (∃x

i+2

:X) Р

(ФИО, t(х

, x

i+1

, x

i+2

)) соответствует утверждению,

что существуют лексемы х

, x

i+1

и x

i+2

, которые могут образовать синтаксическую группу с именем

ФИО и х

, x

i+1

, x

i+2

∈Х, а продукция записывается в виде: pr

=<q

, r

>, где

= Р

par

, t(v

, существительное), t(v

, v

)) ∧ Р

par

i+1

, t(v

(i+1)1

, существительное), t(v

(i+1)8

)) ∧ Р

par

i+2

, t(v

(i+2)1

, существительное), t(v

(i+2)8

, v

(i+2)8

)) ∧ Р

, s

) ∧ Р

(i+1)8

, s

) ∧ Р

(i+2)8

) ↔ (∃х

:X) (∃x

i+1

:X) (∃x

i+2

:X) Р

(ФИО, t(х

, x

i+1

, x

i+2

));

= add [P

(ФИО, t(х

, x

i+1

, x

i+2

)]; elim [(X, {х

i+1

, x

i+2

}].

Во второй ситуации рассматриваются две лексемы х

и х

i+1

, которые удовлетворяют фактам 1)-

6) первой ситуации, и третья х

i+2

, которая не должна удовлетворять фактам 7) и 8). Продукция

описывается в виде двойки: pr

=<q

, r

>, где

= Р

par

, t(v

, существительное), t(v

, v

)) ∧ Р

par

i+1

, t(v

(i+1)1

, существительное), t(v

(i+1)8

)) ∧ Р

, s

) ∧ Р

(i+1)8

, s

) ∧ ),(

338)2(

svP

iE +

↔ (∃х

:X) (∃x

i+1

:X) Р

(ФИО, t(х

, x

i+1

));

= add [P

(ФИО, t(х

, x

i+1

)]; elim [(X, {х

i+1

}].

3. Правило для построения групп ОЧ (однородных членов предложения). Правило ищет два,

три или четыре контактно стоящих слова х

, х

i+1

, х

i+2

, х

i+3

, одно их которых может быть

сочинительным союзом «и» либо «или» и которые должны относиться к одной и той же части речи,

а их морфологические характеристики должны совпадать. К таким группам относятся группы

однородных членов существительных, прилагательных, числительных, глаголов, наречий,

например, электротехнического, экономического и строительного; студенты и преподаватели,

630 и 631, учиться и заниматься, хорошо и очень хорошо. В результате формируется

соответствующая группа ОЧ, слова х

i+1

, х

i+2

, х

i+3

удаляются из исходного множества лексем. Далее

для поиска пары будет анализироваться только слово х

, а для остальных по умолчанию

сформируются пары со словом, которое будет согласовано с х

словом. Нахождение однородных

членов предложения для каждой части речи можно представить в виде шести ситуаций.

Ситуация первая - правило первое: лексемы х

, х

и х

образуют синтаксическую группу

ОЧС (однородные члены существительные) тогда и только тогда, когда имеет место

закономерность, описываемая конъюнкцией следующих фактов:

1) х

имеет характеристику v

∈V

со значением «существительное» - (∃х

:X) Р(x

, t(v

существительное));

2) х

имеет характеристику v

∈V

со значением сорта «падеж» - (∃х

:X) Р(x

, t(v

, v

)) ;

3) х

имеет характеристику v

∈V

со значением «существительное» - (∃х

:X) Р(x

, t(v

существительное));

4) х

имеет характеристику v

∈V

со значением сорта «падеж» - (∃х

:X) Р(x

, t(v

, v

));

5) х

имеет характеристику v

∈V

со значением сорта «часть речи» - (∃х

:X) Р(x

, t(v

, v

));

6) v

имеет значение «союз» - P

, союз);

7) лексема х

стоит раньше х

лексемы - P

(i, t), y

, f

);

8) у

имеет значение «раньше» - Р

(у

, раньше);

9) х

имеет характеристику v

∈V

со значением «существительное» - (∃x

:X) Р(x

, t(v

существительное));

10) х

имеет характеристику v

∈V

со значением сорта «падеж» - (∃х

:X) Р(x

, t(v

, v

));

11) v

, v

и v

должны быть эквивалентны - Р

, v

Тогда продукция записывается в виде: pr

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

, существительное), t(v

, v

)) ∧ (∃х

:X) Р

par

, t(v

, существительное),

t(v

, v

)) ∧ (∃х

:X) Р(x

, t(v

, v

)) ∧ P

, союз) ∧ P

(i, t), y

, f

) ∧ Р

(у

, раньше) ∧ (∃х

:X) Р

par

t(v

, существительное), t(v

, v

)) ∧ Р

, v

) ↔ (∃х

:X) (∃x

:X) Р

(ОЧС, t(x

, x

, х

));

= add [P

(ОЧС, t(х

, x

)]; elim [(X, {х

, x

}].

Правило второе первой ситуации рассматривает четыре лексемы х

, х

и х

, две из которых х

и х

удовлетворяют фактам 1)-4) первого правила, третья х

удовлетворяет фактам 5)-8), а четвертая

не должна удовлетворять факту 9. Тогда продукция для данного правила описывается в виде

двойки: pr

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

, существительное), t(v

, v

)) ∧ (∃х

:X) Р

par

, t(v

, существительное),

t(v

, v

)) ∧ (∃х

:X) Р(x

, t(v

, v

)) ∧ P

, союз) ∧ P

(i, t), y

, f

) ∧ Р

(у

, раньше) ∧

)),(,(

льноесуществитеvtxP

∧ Р

, v

) ↔ (∃х

:X) (∃x

:X) Р

(ОЧС, t(x

, х

));

= add [P

(ОЧС, t(х

, x

)]; elim [(X, {х

, x

}].

Правило третье первой ситуации рассматривает три лексемы х

и х

, а продукция

описывается в виде двойки: pr

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

, существительное), t(v

, v

)) ∧ (∃х

:X) Р

par

, t(v

, существительное),

t(v

, v

)) ∧

)),(,(

льноесуществитеvtxP

∧ Р

, v

) ↔ (∃х

:X) (∃x

:X) Р

(ОЧС, t(x

, х

));

= add [P

(ОЧС, t(х

, x

)]; elim [(X, {х

}].

Ситуация вторая - правило первое: лексемы х

, х

и х

образуют синтаксическую группу

ОЧП (однородные члены прилагательные) тогда и только тогда, когда имеет место закономерность,

описываемая конъюнкцией следующих фактов:

1) х

имеет характеристику v

∈V

со значением «прилагательное» - (∃х

:X) Р(x

, t(v

прилагательное));

2) х

имеет характеристику v

∈V

со значением сорта «число» - (∃х

:X) Р(x

, t(v

, v

));

3) х

имеет характеристику v

∈V

со значением сорта «падеж» - (∃х

:X) Р(x

, t(v

, v

));

4) х

имеет характеристику v

∈V

со значением «прилагательное» - (∃х

:X) Р(x

, t(v

прилагательное));

5) х

имеет характеристику v

∈V

со значением сорта «число» - (∃х

:X) Р(x

, t(v

, v

));

6) х

имеет характеристику v

∈V

со значением сорта «падеж» - (∃х

:X) Р(x

, t(v

, v

));

7) -10) совпадают с фактами первого правила первой ситуации;

11) х

имеет характеристику v

∈V

со значением «прилагательное» - (∃x

:X) Р(x

, t(v

прилагательное));

12) х

имеет характеристику v

∈V

со значением сорта «число» - (∃х

:X) Р(x

, t(v

, v

));

13) х

имеет характеристику v

∈V

со значением сорта «падеж» - (∃х

:X) Р(x

, t(v

, v

));

14) v

, v

и v

должны быть эквивалентны - Р

, v

);

15) v

, v

и v

должны быть эквивалентны - Р

, v

Тогда продукция записывается в виде: pr

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

, прилагательное), t(v

, v

), t(v

, v

)) ∧ (∃х

:X) Р

par

, t(v

прилагательное), t(v

, v

), t(v

, v

)) ∧ (∃х

:X) Р(x

, t(v

, v

)) ∧ P

, союз) ∧ P

(i, t), y

, f

) ∧ Р

(у

раньше)

∧ (∃х

:X) Р

par

, t(v

, прилагательное), t(v

, v

), t(v

, v

)) ∧ Р

, v

) ∧ Р

, v

)

↔ (∃х

:X) (∃x

:X) Р

(ОЧП, t(x

, x

, х

));

= add [P

(ОЧП, t(х

, x

)]; elim [(X, {х

, x

}].

Построение других правил второй ситуации аналогично построению второго и третьего

правил первой ситуации, которым в результате соответствуют следующие продукции:

Второе правило – pr

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

, прилагательное), t(v

, v

), t(v

, v

)) ∧ (∃х

:X) Р

par

, t(v

прилагательное), t(v

, v

), t(v

, v

)) ∧ (∃х

:X) Р(x

, t(v

, v

)) ∧ P

, союз) ∧ P

(i, t), y

, f

) ∧ Р

(у

раньше)

∧

)),(,(

ьноеприлагателvtxP

∧ Р

, v

) ∧ Р

, v

) ↔ (∃х

:X) (∃x

:X) Р

(ОЧП, t(x

, x

));

= add [P

(ОЧП, t(х

, x

)]; elim [(X, {х

, x

}].

Третье правило – pr

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

, прилагательное), t(v

, v

), t(v

, v

)) ∧ (∃х

:X) Р

par

, t(v

прилагательное), t(v

, v

), t(v

, v

)) ∧

)),(,(

ьноеприлагателvtxP

∧ Р

, v

) ∧ Р

, v

) ↔ (∃х

:X)

(

∃x

:X) Р

(ОЧП, t(x

, x

));

= add [P

(ОЧП, t(х

, x

)]; elim [(X, {х

}].

Ситуация третья - правило первое: лексемы х

i+1

, х

i+2

и х

i+3

образуют синтаксическую

группу ОЧЧ (однородные члены числительные) тогда и только тогда, когда имеет место

закономерность, описываемая конъюнкцией следующих фактов:

1) х

имеет характеристику v

∈V

со значением «числительное» - (∃х

:X) Р(x

, t(v

числительное));

2) х

i+1

имеет характеристику v

(i+1)1

∈V

i+1

со значением «числительное» - (∃х

i+1

:X) Р(x

i+1

t(v

(i+1)1

, числительное));

3) х

i+2

имеет характеристику v

(i+2)1

∈V

i+2

со значением «союз» - (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

союз));

4) х

i+3

имеет характеристику v

(i+3)1

∈V

i+3

со значением «числительное» - (∃х

i+3

:X) Р(x

i+3

t(v

(i+3)1

, числительное)).

Тогда продукция записывается в виде: pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, числительное)) ∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, числительное)) ∧ (∃х

i+2

:X)

Р(x

i+2

, t(v

(i+2)1

, союз)) ∧ (∃х

i+3

:X) Р(x

i+3

, t(v

(i+3)1

, числительное))↔ (∃х

:X) (∃x

i+1

:X) (∃x

i+3

:X) Р

(ОЧЧ,

t(x

, x

i+1

, х

i+3

));

= add [P

(ОЧЧ, t(х

, x

i+1

, x

i+3

)]; elim [(X, {х

i+1

, x

i+2

, x

i+3

}].

Второе правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, числительное)) ∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, союз)) ∧ (∃х

i+2

:X) Р(x

i+2

t(v

(i+2)1

, числительное)) ∧

)),(,(

1)3(3

оечислительнvtxP

ii ++

↔ (∃х

:X) (∃x

i+2

:X) Р

(ОЧЧ, t(x

, x

i+2

));

= add [P

(ОЧЧ, t(х

, x

i+2

)]; elim [(X, {х

i+1

, x

i+2

}].

Третье правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, числительное)) ∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, числительное)) ∧

)),(,(

1)2(2

оечислительнvtxP

ii ++

↔ (∃х

:X) (∃x

i+1

:X) Р

(ОЧП, t(x

, x

i+1

));

= add [P

(ОЧЧ, t(х

, x

i+1

)]; elim [(X, {х

i+1

}].

Ситуация четвертая - правило первое: лексемы х

i+1

, х

i+2

и х

i+3

образуют синтаксическую

группу ОЧН (однородные члены наречия) тогда и только тогда, когда имеет место закономерность,

описываемая конъюнкцией следующих фактов:

1) х

имеет характеристику v

∈V

со значением «наречие» - (∃х

:X) Р(x

, t(v

, наречие));

2) х

i+1

имеет характеристику v

(i+1)1

∈V

i+1

со значением «наречие» - (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

наречие));

3) х

i+2

имеет характеристику v

(i+2)1

∈V

i+2

со значением «союз» - (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

союз));

4) х

i+3

имеет характеристику v

(i+3)1

∈V

i+3

со значением «наречие» - (∃х

i+3

:X) Р(x

i+3

, t(v

(i+3)1

наречие)).

Тогда продукция записывается в виде: pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, наречие)) ∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, наречие)) ∧ (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

союз))

∧ (∃х

i+3

:X) Р(x

i+3

, t(v

(i+3)1

, наречие))↔ (∃х

:X) (∃x

i+1

:X) (∃x

i+3

:X) Р

(ОЧН, t(x

, x

i+1

, х

i+3

));

= add [P

(ОЧН, t(х

, x

i+1

, x

i+3

)]; elim [(X, {х

i+1

, x

i+2

, x

i+3

}].

Второе правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, наречие)) ∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, союз)) ∧ (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

наречие))

∧

)),(,(

1)3(3

наречиеvtxP

ii ++

↔ (∃х

:X) (∃x

i+2

:X) Р

(ОЧН, t(x

, x

i+2

));

= add [P

(ОЧН, t(х

, x

i+2

)]; elim [(X, {х

i+1

, x

i+2

}].