initsial va initsialmas (noinitsial). Initsial avtomatlarda boshlang’ich holat tayinlangan (mahkamlangan) bo’ladi. Noinitsial avtomatlarda boshlang’ich holat sifatida istalgan holatni olish mumkin.
Ixtiyoriy sondagi kirish va chiqishga ega bo’lgan avtomat ishini aniqlash masalasi 1 ta kirish va 1 ta chiqishga ega bo’lgan avtomatning ishini aniqlash masalasiga keltiriladi. Shuning uchun asosiy model sifatida 1 ta  kirishga va 1 ta  chiqishga ega bo’lgan avtomatlarni ko’ramiz. Bunday avtomatlar quyidagi kanonik tenglama bilan ifodalanadi:
 ,  .
Bunday turdagi avtomatga
Do'stlaringiz bilan baham: |
