Секвенциальная логика: различия между версиями

[[Математический аппарат]] синхронной логики задают [[автомат Мили|автоматные модели Мили]] и [[автомат Мура|Мура]].<ref>[[Классификация абстрактных автоматов]]</ref>

 

Асинхронная секвенциальная логика для выражения эффекта запоминания использует моменты смены состояний, которые задаются не в явном виде, а исходя из сопоставления логических величин по принципу «раньше-позже». Для асинхронной логики достаточно установить очерёдность смены состояний безотносительно каких-либо привязок к реальному или виртуальному времени.

Теоретический аппарат секвенциальной логики составляют математические инструменты секвенции и венъюнкции, а также логико-алгебраические уравнения на их основе.