Міністерство освіти та науки України Національний університет “Львівська політехніка” Кафедра АСУ Розрахункова робота на тему: “Синтез цифрових автоматів на базі лічильників” Перевірив викладач: Львів - 2003 Технічне завдання: синтезувати цифровий апарат на базі лічильника імпульсів послідовність станів якого відповідає послідовності цифр у заліковій книжці – 2117135. Основні поняття теорії автоматів Автомат називається скінченим [+], якщо множина його внутрішніх станів і множина значенню вхідних сигналів - скінченні множини. Цифровий автомат - це пристрій для перетворення цифрової інформації. В початковий момент часу t0 автомат знаходиться в стані q0. В кожний момент часу t ЦА здатний прийняти вхідний сигнал x(t) і видати відповідний вихідний сигнал y(t). Поняття стан автомату використовується для опису системи, виходи яких залежать не тільки від вхідних сигналів в даний момент часу, але і від деякої передісторії, тобто сигналів, які поступили на входи системи раніше. По відношенню до часу ЦА діляться: а) синхронні, де зміни ЦА пов’язані із генератором синхросигналів, який відає імпульси через рівні проміжки часу; б) асинхронні, де зміни ЦА не визначені строго в часі пов’язані лише до деяких подій. В теорії автоматів найбільш повно описані синхронні автомати. Якщо вихідний сигнал однозначно залежить від вхідного сигналу і попереднього стану ЦА, то такий автомат називається автоматом першого роду або автоматом Мілі. Якщо вихідний стан не залежить від значень вхідних сигналів, а тільки від стану ЦА, то такий автомат називається автоматом другого роду або автоматом Мура. Цифровий автомат: ЦА Reset Q0 Q1 Q2 Q3 Коди станів Лічильник - це скінченний цифровий автомат, внутрішній стан якого визначається тільки кількістю логічних одиниць, які надійшли на його вхід(логічний 0 не змінює стану лічильника). Лічильники, як правило, складаються з кількох T-тригерів, які певним чином з’єднані між собою. Регістри лічильника утворюють виходи тригерів, число яких m визначає розрядність лічильника. Основним параметром лічильника є його модуль лічби (коефіцієнт перерахунку) Mл = 2m, (де m число розрядів лічильника), що визначає число стійких(внутрішніх) станів лічильника(у тому числі і нульовий стан), тобто максимальну кількість імпульсів, яку він може підрахувати. Отже, у m-розрядному лічильнику може бути 2m стійких стани і тому його модуль лічби завжди Mл  EMBED Equation.3 
 2m. Якщо кількість імпульсів, які надійшли на вхід лічильника, дорівнює Mл, він повертається у початковий стан(у підсумовуючих лічильників - нульовий), утворюючи при цьому сигнал(імпульс) переповнення. Це означає, що підрахунок одиниць здійснюється лічильником за модулем лічби Mл, який характеризує місткість лічильника. Для підсумовуючого лічильника це максимальне число одиниць, яке він може підрахувати. Дана характеристика лічильника залежить від його розрядності та основи системи числення. Таблиця станів виходу ЦА: Часова діаграма:  EMBED PBrush 
 Граф переходів станів: 1 7 1 1 3 5 2 1 1 1 1 1 1 1 0 0 0 0 0 0 0