|
Transformatsiyalar quyidagi amallarni o‘z ichiga oladi
|
| bet | 5/5 | | Sana | 20.07.2024 | | Hajmi | 0,72 Mb. | | #268027 |
Bog'liq 3-bilet2. Transformatsiyalar quyidagi amallarni o‘z ichiga oladi: 1) dastlab kichik guruxdagi tuzilmalarning transformatsiyalari doirasi aniklanadi va bu transformatsiyalar jarayonida lug‘aviy tarkib saqlanib, grammatik morfemalar o‘zgarishi mumkinligi sharti qo‘yiladi; 2) hosil bo‘lgan transformatsiya shakllarining guruh ro‘yxati tuziladi (keyinchalik bu ro‘yxat to‘ldirilishi mumkin); 3) barcha turdagi transformatsiyalar matn tarkibida sinovdan o‘tkaziladi va ularning faollashuv imkoniyati anikdanadi; 4) taxlil qilingan tuzilmalar transformatsiya faollashuvi imkoniyatlariga nisbatan ma’lum guruhlarga taqsimlanadilar (Bushuy, Safarov, 2007, b. 155-158). Ushbu amallar transformatsiya sintezi va tahlili uchun birdek amal qiladi ammo sintez jarayonida ba’zi shartlar qo‘yiladi. Masalan, gaplar tuzilishini o‘zgartirishda so‘zlar miqdorining saqlanish talabi, mazmun invariantligi (ifodalanayotgan voqea-hodisaning bir xilligi) zarurati qo‘yilgan.
TMning nozik tomonlari: bevosita lingvistik materialdan kelib chiqmay, empirik asosga quriladi; qo‘llanish doirasi va yadro gaplar miqdori aniq emas; gapning tashkiliy qismlarini yoritib bermaydi; sintaktik transformatsiya va sintaktik derivatsiya o‘rtasidagi farq ochilmaydi. Transformatsiyada yadro gapning gaplik holati saqlanib qolishi zarur. Masalan, Dars boshlandi (transformatsiya). emiotika (yun. semiotikos — belgilar haqidagi taʼlimot), semiologiya — 1) axborot, maʼlumotlarni saqlash va uzatish uchun xizmat qiladigan belgilar va belgi tizimlarining umumiy xususiyatlarini oʻrganadigan fan sohasi; 2) u yoki bu obyektning bir maʼnodagi S. nuqtai nazaridan oʻrganiladigan tizimi (mas, muayyan film yoki badiiy asar S.si, muayyan xalqdagi muomala-murojaat S.si va boshqalar).
Lingvistik S.dagi asosiy tushuncha lisoniy belgi boʻlib, u muayyan matnlardagi va muomala vaziyatidagi shakl va mazmunning dialektik birligi sifatida namoyon boʻladi. Belgi oʻzi shartli ravishda aloqador boʻlgan narsa haqida muayyan jamiyat vakillariga xabar beradi. Belgilarning eng muhim va murakkab tizimi tilshunoslik oʻrganadigan tildir. Belgi tizimlari tabiiy (inson tili, xayvonlarning belgi tizimlari) va sunʼiy (yasama, sunʼiy tillar, dasturlash tili, fizika, kimyo, matematika va mantiqdagi ramzlar tizimi) boʻladi. Belgilar va belgi tizimlarini oʻrganishda sintaktika, semantika va pragmatika oʻzaro ajratiladi. Sintaktika nutq zanjirida yoki muayyan matnda ketma-ket, izchil qoʻllanadigan til birliklari oʻrtasidagi oʻziga xos munosabatlarni oʻrganadi. Semantika belgilarning ular ifodalaydigan obʼyektlar bilan munosabatini oʻrganadi. Pragmatika esa belgilar, ular ifodalaydigan obʼyektlar hamda belgilar tizimidan foydalanuvchilar oʻrtasidagi munosabatni oʻrganadi.
S.ning "belgilar haqidagi fan" sifatida umumiy kridalari, xususiyatlari dastlab amerikalik mantiqshunos Ch.S. Pirs va shveysariyalik tilshunos F. de Sossyur asarlarida bir vaqtning oʻzida va mustaqil ravishda qayd etilgan. Ushbu tushuncha uchun Ch.S. Pirs "S." terminini. F. de Sossyur esa "semiologiya" terminini, qoʻllagan. S. gʻoyasi keyinchalik amerikalik faylasuf Ch. U. Morris tomonidan tartibga solinib rivojlantirildi. Bir qancha yevropa va rus olimlari ham S.ning rivojiga hissa qoʻshganlar. Falsafiy fanlardan hisoblanadigan umumiy S. va maxsus semiotik fanlar, jumladan, til S.si (glottosemiotika yoki lingvosemiotika) farqlanadi. S. taraqqiyoti funksional struktur tilshunoslik taraqqiyoti bilan uzviy bogʻliqdir
3 . Transformatsion semantika konstruktiv tushunishni ta'minlaydi.
dasturlash tilini asosiy vositalariga aylantiradi, bu esa bunga imkon beradi
operatsion semantikani soddalashtirish, shuningdek, asosiy amalga oshirishni tanlash
Eksperimental ego rivojlanishida tizimli dasturlash. Vazifa
transformatsiya semantikasi - dasturlarni normallashtirishga qisqartirish
dasturlarni talqin qilish yoki yaratish uchun qulay shakl
kengaytiriladigan bajariladigan kod. Ko'p bosqichli dasturlarda
oqim tarmog'ining transformatsiyasini kamaytirishga qaratilgan bo'lishi mumkin
berilganga xos tarzda tasvirlangan bir hil oqimlar tizimiga
protsessorlar majmuasi - jarayon yoki topshiriq bo'yicha iplarni joylashtirish
iplarni bajarish uchun protsessorlar.
Bunday "taroqli" shaklda barcha oqimlar to'siqlar bilan boshlanadi va
hodisalarning umumiy miqyosi shunday tartiblanganki, voqealar ketma-ketligi
oqim unga zid emas. Protsessorlar yoqilgan deb taxmin qilishimiz mumkin
o'zingiz. Voqealar xronologiyasi kutilayotgan mavzular ro'yxatini o'z ichiga oladi. Harakatlar,
protsessorlar tomonidan bajariladigan ularning manba iplari bilan bog'liq.
O'zgarishlarning teskariligi va ularning natijalarining sezgirligi
dastur fragmentlari orasidagi axborot aloqalarini talab qiladi
transformatsiyalarni qo'llash mezonlarini rasmiylashtirish va tanlash
mos variant.
Nosozliklarni tuzatish jarayonida bir qator kontekstlar hosil bo'ladi, ularda
to'liq dastur yig'iladigan fragmentlarning individual xususiyatlari.
Bular individual ish zarralari uchun, sinxronlashtirilgan iplar juftligi uchun kontekstlar,
ip bilan birlashtirilgan dastur uchun va qo'shimcha ravishda kontekstlar uchun
o'rtasida axborot aloqalarining mavjudligi yoki yo'qligini sertifikatlash
parchalar.
Maxsus boshqaruv sxemasini o'zgartirish mumkin
jarayonlar, bu nafaqat "qo'lda" ni minimallashtiradi
parallellashtiriladigan dasturlarni tartibga solish, balki asos bo'ladi
dastur sxemalarini konvertatsiya qilish uchun kutubxonalarni shakllantirish. Nazariy jihatdan
bunday o'zgarishlar qisman dalillar bilan birga bo'lishi kerak
ularning qo'llanilishi chegaralarini tushunish uchun ekvivalentlik.
Shu fonda tilning transformatsion semantikasining vazifasi
parallel dasturlash - dasturni qisqartirish
normallashtirilgan shakl, dasturlarni talqin qilish uchun qulay, ularning
moslashtirilgan ob'ekt kodini parallellashtirish va yaratish. O'xshash
texnikasi tilning grammatikasini qulay narsaga qisqartirish uchun ishlatiladi
shakl analizatorini qurish va optimallashtirishni avtomatlashtirish
dasturlari.
Dasturni o'zgartirish yo'nalishi odatda bog'liq
qo'llanilishi va optimallikning ma'lum mezonlari;
mantiqiy va axborot aloqalarini tahlil qilish natijalarini hisobga olgan holda.
Parallel jarayonlarni tashkil qilishda bunday mezonlar mavjud
o'ziga xoslik,
ko'p yadroli operatsion xususiyatlarini aks ettiruvchi
arxitektura Xususan, kirish vaqtini hisobga olishning roli
heterojen xotira va statik protsessor yukini rejalashtirish
ma'lumotlarni qayta ishlashning teskariligini va dinamikligini ta'minlash bilan birga
hisoblash samaradorligini boshqarish. Bunday semantikani qo'llab-quvvatlash
hisoblash an'anaviy amalga oshirish echimlaridan tashqariga chiqadi
yuqori darajadagi tillar.
Parallel tilning transformatsion semantikasini parchalashda
dasturlash, normallashtirilganlar to'plami
jarayonlarni boshqarishning individual jihatlarining funktsional modellari.
Modellarni normallashtirish ularni tahlil qilishning murakkabligini cheklashga qaratilgan;
boshqa modellar bilan integratsiyaga moslashish, tezkorlikni qo'llab-quvvatlash
ko'p tarmoqli dasturlarni prototiplash, turli xillarni tekshirish
dasturiy ta'minot tizimlarining xossalari va ularni ishlab chiqish jarayonida faktorizatsiyalash va yaxshilanishlar. Bunday mexanizmlarni tizimga kiritish mumkin
parallel dasturlash. Ko'p sonli turli omillarni muvofiqlashtirish zarurati
parallel tillar semantikasining ko‘p qatlamli tavsifiga olib keladi
mavhum sxemalar darajalari ajratilgan dasturlash (LPP).
hisob-kitoblarni boshqarish va aniq hisob-kitoblar bilan sxemalarni to'ldirish.
Sxemani tanlash bo'yicha muzokaralar olib borilayotganda qayta kompilyatsiya qilishning oldini olish uchun maqsadli arxitektura bilan boshqaruv, ichki shakllantirilganda
ko'p bosqichli dasturlarni ifodalash usullari odatda qo'llaniladi
aralash hisoblash va makrogeneratsiya texnikasi. Bundaylarning amaliyligi
usullar juda aniq, ko'pincha buyuriladi uskunalar, bilan bog'liq kontent fragmentlari uchun talablar disk raskadrovka fragmentlarining yakuniyligiga erishishning maqsadga muvofiqligi (harakatlarning yaxlitligi, bir martalik topshiriqlar, bir o'lchovli vektorlar,
rekursiyasiz funktsiyalar, statik aniqlangan ko'plik bilan tsikllar,
ma'lumotlar tayyor bo'lganda bajariladigan harakatlar oqimi - qachon bo'lgani kabi
arifmetik ifodalarni hisoblash).
|
| |
