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

оформление, викификация
м (Перемещение 20 интервики-ссылок в Викиданные (d:Q173245))
(оформление, викификация)
'''Секвенциальная логика''' — это [[Логика в информатике|логика]] памяти [[цифровые устройстваЦифровая техника| цифровых устройств]]. Название «секвенциальная» восходит к ''англ''. {{lang-en|sequential}}. Соответствующая логика может именоваться также как ''последовательностная'', хотя последний термин по преимуществу употребляется в связи с логическими автоматами.
 
Секвенциальная логика отличается от [[Комбинационная логика|комбинационной логики]] тем, что моделирует цифровые устройства с учётом предыстории их функционирования (т. е. предполагается наличие [[Память|памяти]], которая в комбинационной логике не предусмотрена).
 
== Характеристика ==
Секвенциальная логика является разделом [[дискретная математика | дискретной математики]]. Она развивается в рамках теории цифровых схем в тесной связи с [[комбинационная логика | комбинационной логикой]], [[булева алгебра | булевой алгеброй]] и [[конечный автомат | конечными автоматами]].
В зависимости от регламента функционирования цифровые устройства подразделяются на синхронные и асинхронные. Соответственно их поведение подчиняется либо синхронной, либо асинхронной логике.
 
== Синхронная секвенциальная логика ==
При логическом моделировании устройств с памятью особая роль отводится фактору времени, который в синхронных схемах естественным образом учитывается тактами конечного автомата. Такты определяют моменты смены состояний автомата, то есть, синхронизируют соответствующую функцию.<br/>
 
[[Математический аппарат]] синхронной логики задают автоматные модели Мили и Мура.<ref>[[Классификация абстрактных автоматов]]</ref>
 
== Асинхронная секвенциальная логика ==
 
== Ссылки ==
* [http://asynlog.balticom.lv/ ASYNCHRONOUS LOGIC and NEW ALGEBRA FOR DIGITAL CIRCUITS]
* [http://www.mathnet.ru/php/getFT.phtml?jrnid=intv&paperid=28&what=fullt&option_lang=rus Теория автоматов] // mathnet.ru
 
[[Категория:Дискретная математика]]