Mavzu: Chekli avtomatlar. Mur va Mili avtomatlari

4.2. Chekli avtomat haqida umumiy tushunchalar.
Ta’rif. to‘plam uzunlikdagi ikkilik majmualarning biror to‘plami bo‘lsin. Agar argumentli ta qisman aniqlangan mantiq algebrasining funksiyalaridan iborat majmua ko‘rsatilgan bo‘lsa, u holda ruxsat qilingan holatlar to‘plamida kirishga ega bo‘lgan avtomat berilgan deb ataladi.
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 soni avtomatning xotirasi deb ataladi. Agar avtomatning boshlang‘ich holati biror natural son (ushlab turish vaqti deb aytiladi) va har bir vaqt momentida uzunlikdagi kirish signallar majmui berilgan bo‘lsa, u holda avtomatning ish jarayoni aniqlangan deb ataladi.
Agar avtomatning ish jarayoni aniqlangan bo‘lsa, u holda uchun uning ketma-ket holatlari
, ,
formula orqali aniqlanadi. Bu formula avtomatning holatlar tenglamasi deb ataladi. Ravshanki, avtomatning har qanday vaqt momentidagi holati bo‘ladi. ketma-ketlik avtomatning chiqishi (ishning natijasi) deb ataladi. Agar va faqatgina ga bog‘liq bo‘lsa, u holda avtomat mantiq algebrasining funksiyasiga aylanadi.
Qabul qilingan belgilashlarda bir taktli funksional elementlardan yasalgan teskari bog‘lanishli sxema quyidagi xarakteristikaga ega bo‘lgan avtomatni ifodalaydi: ; momentdagi sxema elementlar chiqishlaridagi signallari; – hamma mumkin bo‘lgan elementlar chiqishidagi signallar majmui.
Shunday qilib ushlab turish vaqtiga ega bo‘lgan chekli avtomatni bir taktli funksional elementlardan yasalgan teskari bog‘lanishli sxema orqali ifodalash mumkin.