Синхрондық автоматқа сияқты екілік кіріс сигналдарын қарастырумен шектелеміз. Және бұл жағдайда асинхрондық автомат моделі потенциал түріндегі элементтерден құрылған кестелерді мазмұндау үшін қолданылуы мүмкін. Айтарлық кіріс сигналының іс-әрекетінен синхронды автомат күйіне ауысады. Потенциалды түрдегі сигналдардың келтірілген қасиеттеріне сәйкес автомат кірісінде болады және аяқталуы алдын ала белгілі болмайтын ауысым орындалған соң ғана. Осыған сәйкес бұндай ауысым орындалған соң автомат келесі кірісте сигнал өзгерісі болғанға дейін күйінде қалу керек. Мазмұндалған жайды келесі анықтама түрінде қорытуға болады. Егер автомат күйінен іс-әрекет астында күйіне ауысым жасаса, яғни , және іс-әрекеті астында күйінде қалса, онда бұндай күй тұрақты деп аталады.
Асинхрондық автомат жұмысы да синхронды түрдегі автомат сияқты ауысым кестесі мен шығыс немесе граф көмегімен мазмұндалынады. Бірақ нөлдік емес ұзақтығы бар сигналдарға ауысу бұндай мазмұндауды қиындата түседі. Алдымен асинхрондық автоматты графты құру тәсілін берілген синхрондық автоматты графы бойынша құруға тоқталайық.
Достарыңызбен бөлісу: |