Deskret tuzilmalar fanidan amaliy topshiriq

2.2. Chekli avtomat haqida umumiy tushunchalar
Ta’rif. - uzunlikdagi ikkilik majmualarning biror to’plami bo’lsin. Agar argumentli ta qisman aniqlangan mantiq algeb-rasining funksiyalaridan iborat majmui ko’rsatilgan bo’lsa, u holda ruxsat etilgan holatlar to’plamida kirishga ega bo’lgan avtomat berilgan deb aytamiz.
Bu yerda funksiyalar shunday uzunlikdagi ikkilik majmualarda aniqlanganki, ulardan ta elementi kiruvchi majmua bo’ladi va shu majmuadagi funksiyalarning qiymati ga kiradi. to’plamdagi elementlar soniga avtomatning xotirasi deb aytiladi. Agar avtomatning boshlang’ich holati , biror natural son (ushlab turish vaqti deb aytiladi) va har bir vaqt momentida uzunlikdagi kirish signallar majmui berilgan bo’lsalar, u holda avtomatning ish jarayoni aniqlangan deb aytiladi.
Agarda avtomatning ish jarayoni aniqlangan bo’lsa, u vaqtda lar uchun uning ketma-ket holatlari
= ,
formula orqali aniqlanadi. Bu formulaga avtomatning holatlar tenglamasi deb aytiladi. Ravshanki, avtomatning har qanday vaqt momentidagi holati bo’ladi. ketma-ketligiga avtomatning chiqishi (ishning natijasi) deb aytiladi. Agar va faqatgina ga bog’liq bo’lsa, u holda avtomat mantiq algebrasining funksiyasiga aylanadi.
Qabul qilingan belgilashlarda birtaktli funksional elementlardan yasalgan teskari bog’lanishli sxema quyidagi xarakteristikaga ega bo’lgan avtomatni ifodalaydi: ; momentdagi sxema elementlar chiqishla-ridagi signallari; -hamma mumkin bo’lgan elementlar chiqishidagi signallar majmui.
Shunday qilib ushlab turish vaqtiga ega bo’lgan chekli avtomatni birtaktli funksional elementlardan yasalgan teskari bog’lanishli sxema orqali ifodalash mumkin.