Dasturlash texnologiyalarini avtomatlashtirish

Hisoblash algoritmlari
Hozirda hisoblash algoritmlarini amalga oshirish uchun avtomatlashtirilgan yondashuv qo'llaniladi [21-23].

O'zboshimchalik bilan iterativ algoritmni konstruktsiya yordamida amalga oshirish mumkinligi ko'rsatildi, ya'ni "do ... while" sikl operatoriga teng, uning ichida bitta "o'tish" operatori mavjud. Algoritmlarni animatsiya dasturlarini yaratishda yangi bazaga asoslangan yondashuv taklif qilindi. Bunday vizualizatsiya dasturlari Sankt-Peterburg davlat axborot texnologiyalari, mexanika va optika universitetining kompyuter fanlari fakultetida dasturlash va diskret matematikadan dars beruvchi talabalar uchun keng qo'llaniladi [24]. Yondashuv vizualizatsiya dasturlari mantiqini o'zaro ta'sir qiluvchi chekli avtomatlar tizimi sifatida ko'rsatishga imkon beradi. Tizimlar juft avtomatlardan iborat bo'lib, ularning har birida "oldinga" va "orqaga" avtomatlari mavjud bo'lib, ular algoritmlarni oldinga va orqaga bosqichma-bosqich bajarishni ta'minlaydi.
Ushbu maqolaning maqsadlaridan biri avtomatlardan nafaqat tilni
aniqlash [25], balki kir yuvish mashinalarini boshqarish uchun ham foydalanish mumkinligini ko'rsatishdir. Ular faqat diskret matematikaning matematik modellaridan biri emas , balki
murakkab xatti-harakatlarga ega bo'lgan har qanday dasturlarni amalga oshirish uchun ishlatilishi mumkin .
Ochiq Loyiha Hujjatlari Jamg'armasi
2002 yil 27 noyabrda shimoli-g'arbiy mintaqada ACM (Hisoblash mashinalari assotsiatsiyasi)
dasturlash bo'yicha jahon jamoaviy chempionatining yarim final musobaqalarining ochilishida
"Ochiq loyiha hujjatlari uchun fond" deb e'lon qilindi. Ushbu jamg'arma doirasida http://is.ifmo.ru saytida "Loyihalar" bo'limi yaratildi. Tez orada ushbu bo'limda
avtomatlashtirilgan yondashuvdan foydalangan holda dasturiy ta'minotni ishlab chiqish misollari bo'lgan 50 dan ortiq loyihalar joylashtiriladi. Ulardan ba'zilarini sanab o'tamiz:
Macromedia Flash yordamida o‘quv animatsiyasi uchun skriptlarni avtomatlashtirish ;
video pleyerlar ko‘rinishi tavsifi uchun XML formati (www.crystalplayer.com);
nazariya va Switch texnologiyasini ishlab chiquvchi kompilyatorlardan birgalikda foydalanish;
Robocode o‘yini uchun tanklarni boshqarish tizimi (IBM homiyligida) [15]. Ishlab chiqilgan Tank Cynical dunyodagi eng yaxshilaridan biri bo'lishga qaror qilindi .
Shuningdek,
uning refaktorlangan versiyasi ham joylashtiriladi, u yuqorida aytib o'tilganidek,
"ob'ektivlik" dasturlari uchun ishlab chiqilgan;
boshqarish tizimlari (Knuth kabi, lekin yaxshiroq), avtomobillar, perkolyatorlar, turniketlar, semaforlar va boshqalar;
klassik vazifalarning mumkin bo‘lgan, avtomat asosidagi yechimlari:
zanjirini sinxronlashtirish vazifasi;
“faylasuflar kechki ovqati” vazifasi;
Xanoy-minoralarining vazifasi [21];
ritsarlar harakati vazifasi [22];
ko‘plab taniqli klassik algoritmlar (masalan, QuickSort , pastki qatorlarni qidirish va
boshqalar);
davlatga asoslangan ob’ektga yo‘naltirilgan dasturlashning turli yondashuvlarining illyustratsiyasi:
avtomatlar sinflar sifatida;
avtomatlar a’zo funksiyalar sifatida;
Klassik Switch-texnologiyasi yordamida yozilgan obyektga yo‘naltirilgan avtomat dasturlarni dasturlarga aylantirishning rasmiy usuli. Bu shaxsiy kompyuterdan foydalangan holda tizim modellarini ishlab chiqish
va keyin uni mikrokontrollerlar platformasiga rasmiy portlash imkonini beradi;
“holat” qolipi;
“davlat” va “davlatlar guruhi” tushunchalarini amalga oshiruvchi sinflar;
avtomatlar ob’yektga yo‘naltirilgan paradigmada qo‘llaniladigan ob’yektlar xossalariga ega ekanligi ko‘rsatildi;
avtomatlar asosidagi grafik foydalanuvchi interfeysi asboblar to‘plami;
barcha kerakli funksiyalarni qo‘llab-quvvatlaydigan windows menejeri (tortish, tishlash, o‘lchamini o‘zgartirish,
bir-biriga yopish, minimallashtirish/kattalashtirish, yopish va h.k.);
SMTP (Simple Mail Transport Protocol) protokolini amalga oshirish;
ko‘plab kompyuter o‘yinlari:
Lines ;
Avtomatik bombardimonchi ;
dengiz urushlari ;
Zavalinka (bank) va boshqalar.
Xulosa qilib shuni ta'kidlash kerakki, avtomatlardan foydalanish dastur spetsifikatsiyasini rasmiylashtirishni osonlashtiradi. U dasturlarning xatti-harakatlarini belgilaydi va "xatolarni oldini olishda asosiy rol o'ynaydi" [26].
Shuni ta'kidlash kerakki, "davlatga yo'naltirilgan dasturlash" uslubi
mantiqiy nazorat vazifalarini hal qilishda keng qo'llaniladi (dasturlash uslublarining tasnifi kitobda taklif qilingan [27]). Davlatga
asoslangan dasturlash ikki uslubga asoslanadi: “davlatga yoʻnaltirilgan dasturlash” va “voqealarga asoslangan
dasturlash ”. Ob'ektga yo'naltirilgan holatga asoslangan dasturlash ob'ektga yo'naltirilgan uslubni va
yuqorida aytib o'tilgan ikkita uslubni oladi.
Ish Rossiya fundamental tadqiqotlar jamg'armasi ko'magida №02-07-90114 "Avtomatlarga asoslangan dasturlashni ishlab chiqish texnologiyasi" grantiga muvofiq amalga oshirildi.