#03_1 Конечные автоматы | Автоматы и динамика | Математика для схемотехника

Математика для схемотехника — Блок 3. Автоматы и динамика Тема: Конечные автоматы В предыдущих блоках курса мы рассматривали цифровые схемы как функции: набор входных сигналов однозначно определяет выход. Такие схемы называются комбинационными, потому что их поведение зависит только от текущих входов. Но многие реальные цифровые устройства обладают памятью. Их поведение зависит не только от входов, но и от того, в каком состоянии система находилась раньше. Именно такие системы описываются математической моделью конечного автомата. Конечный автомат — это абстрактная машина, которая: • находится в одном из конечного числа состояний • получает входные сигналы • переходит между состояниями • формирует выходные сигналы Формально автомат можно описать как структуру [ A = (S, X, Y, \delta, \lambda) ] где • (S) — множество состояний • (X) — множество входов • (Y) — множество выходов • (\delta) — функция переходов между состояниями • (\lambda) — функция выходов. С инженерной точки зрения любая синхронная цифровая система состоит из двух частей: Память (триггеры, регистры) — хранит текущее состояние системы. Комбинационная логика — вычисляет следующее состояние и выходы системы. Таким образом система развивается во времени по правилам: [ s_{t+1} = \delta(s_t, x_t) ] [ y_t = \lambda(s_t, x_t) ] Это делает цифровую систему дискретной динамической системой. В видео мы также разберём две классические модели автоматов: • автомат Мили — выход зависит от состояния и входа • автомат Мура — выход зависит только от состояния. Вы увидите, что конечные автоматы лежат в основе практически всех устройств последовательной логики: • контроллеров • счетчиков • протоколов связи • процессоров • цифровых алгоритмов управления Главная идея этого блока: если комбинационная схема — это функция, то схема с памятью — это автомат. Именно язык конечных автоматов позволяет формально описывать динамику цифровых систем.