Введение
Глава 1. Формализация как метод теоретического исследования в языкознании 12
1. Понятие формализации в лингвистике и научном познании 12
2. Формализация в отечественном и зарубежном языкознании 17
3. Формализация и моделирование лингвистических процессов 27
4. Формализация и алгоритмизация лингвистических процессов 33
5. Новые тенденции формализации с точки зрения процесса автоматизации лингвистических знаний 37
6. Формализация синтаксического уровня языка и ее применение в системе пунктуации 53
Выводы 66
Глава 2. Формализация постановки тире в пунктуационной системе языка 68
1. Формализация постановки тире в предложении со словом это» 68
2. Моделирование простого предложения и автоматизация его структурной организации 86
3. Структура простого предложения с формантом «это» (и его эквивалентами) между главными членами 91
Выводы 106
Глава 3. Автоматизация процесса постановки тире в простом предложении между главными членами перед словом «это» (и его эквивалентами) 108
1. Решение задачи автоматизации процесса постановки тире в простом предложении между главными членами перед словом «это» (и его эквивалентами) 108
2. Вопросы построения лингвистического алгоритма «Тире в простом предложении между главными членами перед словом «это» (и его эквивалентами)», ориентированного на ЭВМ 113
3. Автоматизация процесса постановки тире в простом предложении между главными членами перед словом «это» (и его эквивалентами) 129
3.1. Инвариантные и вариантные структурные схемы простых предложений как основа алгоритмизации процесса постановки
4 тире 129
3.2. Алгоритмы для автоматизации процесса постановки тире 136
Алгоритм№ 1 NI-3TONI 137
Алгоритм № 2 Ni - это N2-6 138
Алгоритм № 3 Ni -это Adv-o 139
Алгоритм № 4 Ni -это Inf. 140
Алгоритм № 5 Ni - это когда Р [KaK,Ni, Adj і; одно из; (и) есть, (и) значит Ni, Adj і, Inf] 141
Алгоритм № 6 Ni - это Part-но 142
Алгоритм № 7 Ni - это то, что 143
Алгоритм № 8, Ni - это Adj і 144
Алгоритм № 9 Inf- это ((и) значит, (и) есть) Inf [одно из N2-6, AdJ2-6; как№, Adji, Inf] 145
Алгоритм № 10 Inf-это Adv-o 146
Алгоритм № 11 Inf - это N2-6 147
Алгоритм № 12 Inf- это Ni 148
Алгоритм № 13 Inf- это Part-но 149
Алгоритм № 14 Inf - это Adj і. 150
Алгоритм № 15 Inf—это то, что 151
Алгоритм № 16 Adj і - это Ni 152
Алгоритм № 17 Adj і - это N2-6 153
Алгоритм № 18 Adj і - это Inf. 154
Алгоритм № 19 Adji - это когда Р[как Ni, Adj і;одно из N2-6, AdJ2-6; (и)есть (и) значит Ni, Adj і, Inf; то, что] 155
Алгоритм № 20 Adj і - это Adv-o (Part-но) 156
Алгоритм № 21 Adji- это Adji 157
3.3. Комментарии к алгоритмам 158
Выводы 165
Заключение 167
Литература 171
