MUSTAQIL ISH

KIRISH Avtomatlarning o'tish va chiqish jadvallarini soddalashtirish muammosi zamonaviy kompyuter fanlari va muhandislik sohalarida tobora ortib borayotgan dolzarblikka ega. Hozirgi kunda raqamli tizimlar, mikroprotsessorlar, dasturlanadigan mantiqiy qurilmalar (FPGA) va kompleks avtomatlashtirish tizimlarining rivojlanishi bilan avtomatlar nazariyasi, ayniqsa chekli avtomatlar, ularning dizayni va optimallashtirilishi markaziy o'rinni egallamoqda. Avtomatlar nafaqat nazariy abstraksiyalar, balki amaliy dasturlarning muhim komponentlari hisoblanadi. Ular dasturiy ta'minotni ishlab chiqishda (masalan, leksik analizatorlar, protokol analizatorlari), apparat ta'minotini loyihalashda (masalan, boshqaruv mantig'i, ketma-ketlik detektorlari) va sun'iy intellekt tizimlarida (masalan, holatga asoslangan modellar) keng qo'llaniladi. Bu tizimlarning murakkabligi oshgani sayin, ularni samarali loyihalash, sintez qilish va tekshirish uchun optimallashtirilgan avtomat modellariga ehtiyoj kuchayib bormoqda. Avtomatning o'tish va chiqish jadvallarini soddalashtirish, ya'ni uning holatlari sonini kamaytirish, apparat resurslarini tejash, quvvat sarfini kamaytirish, ish tezligini oshirish va dizayn jarayonini soddalashtirish imkonini beradi. Shuningdek, soddalashtirilgan avtomatlar tizimlarning ishonchliligini oshiradi va ulardagi xatolarni topish hamda tuzatishni osonlashtiradi. Shu sababli, ushbu mavzu nazariy jihatdan ham, amaliy jihatdan ham yuqori ahamiyat kasb etadi va doimiy tadqiqotlar obyekti bo'lib qolmoqda. [rasm]} Ushbu tadqiqotning asosiy muammosi – murakkab chekli avtomatlarning o'tish va chiqish jadvallarini optimal darajada soddalashtirish usullarini ishlab chiqish va mavjud usullarni takomillashtirishdan iborat. Ko'pgina real tizimlar uchun dastlabki avtomat modellari juda ko'p ortiqcha holatlarga ega bo'lishi mumkin, bu esa ularning samarasiz ishlashiga olib keladi. Misol uchun, dizayn bosqichida yaratilgan avtomatlar ko'pincha keraksiz holatlarni yoki bir-biriga ...