7 Olmoshlar va o’zgaruvchilar
Download 339.01 Kb.
|
Gutzmann 99-146 Seite
tiplar ziddiyatini bildiradi.
Muammo shundaki, ikkinchi Vpda t tipidagi ifodani hosil qilish uchun subyekt yo’q, keyinchalik u bog’lovchi bilan birlashtirilishi mumkin. Bizga haqiqatan ham kerak bo’lgan narsa bu ikkita Vpni birgalikda muvofiqlashtirish usulidir, shunda biz mavzuga bog’laydigan yangi, murakkab predikat sifatida döst va schnarcht ni olamiz. Shunday qilib, biz (5b) emas, balki (4) dagi tuzilishga mos keladigan (5a) kabi tuzilmani xohlaymiz. (5) a. Deniz (döst und schnarcht). b. (Deniz döst) und schnarcht. Ushbu muammoni hal qilish va (5a) kabi tuzilmani yoqish uchun biz l operatoridan foydalanamiz. Ushbu operator nima qilishini ko’rsatish uchun, avvalo, bizning rasmiy tilimizdagi kompozitsiyaning oldingi imkoniyatlari turlarning murakkabligi bilan qanday bog’liqligi haqida ba’zi mulohaza yuritamiz. Tiplarning kompozitsiyasi va kompleksligi: Bizning rasmiy tilimizda LTyp+Var funksional dastur bilan faqat bitta qoidani beradi, unga ko'ra ikkita ifodani birlashtirish mumkin. V aziyatni aniqroq qilish uchun biz ushbu qoidani semantik struktura daraxti orqali ham ifodalashimiz mumkin. Agar ushbu qoida turlarga nisbatan yaqindan ko'rib chiqilsa, argumentga ulanganda funktsional iboralardagi argumentlar soni aynan shu argument pozitsiyasiga kamayganligi sababli turlarning "oddiy" bo'lib borayotganini sezasiz. Download 339.01 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling