Реализации автомата по булевым функциям

     Цель лабораторной работы - изучение метода программной реализации автомата по булевым функциям.

     Программная реализация автомата по булевым функциям предполагает, что построение блок-схемы программы происходит по структурной схеме автомата Мили 1 рода (рис. 1). Только структурная схема показывает, почему не происходит мгновенной передачи значений Y1(t),Y2(t),Y₃(t) на вход логического преобразователя (ЛП) и, следовательно, исключаются критические состязания. Очевидно, что эта особенность должна быть учтена на блок-схеме алгоритма автомата.

                         Рис. 1

     На структурной схеме автомата (см. рис.1)задачи исключения критических состязаний решаются следующим образом: вычисленные в ЛП новые значения Yi(t),Y2(t),Y3(t) по линиям обратных связей поступают на вход ЛП не сразу, а задерживаются в блоке памяти (БП), тем самым снимая проблему критических состязаний.

Общий алгоритм работы Automat Bool (рис. 2) и функции Timer1Timer (рис.3) 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

                                                 Рис.2                                                                                                     Рис.3              

Задание по варианту №15:

Граф перехода состояний  конечного автомата (рис. 4)

Рис. 4

Задание алгоритма  работы способом составления таблицы переходов (таблица 1) и выходов (таблица 2).

Таблица 1                                                          Таблица 2

     При аппаратной реализации автомата производится кодирование его состояний, составляются кодированные таблицы переходов (табл. 3) и выходов (табл.4).

Таблица 3                                                                                   Таблица 4

     Затем вычисляются булевы функции для цепей включения элементов памяти и выходных цепей. На рис.5 представлены карты Карно для функций Y1, Y2, Y3, Z .  
 
 

Автомат будет задан следующей системой функций:

Y1=X·y1·y3˅X·y1·y2·y3˅X·y2·y3˅X·y1·y3;

Y2=y1·y3˅X·y2˅X·y1˅X·y1·y2·y3;    

Y3= X·y1·y2˅X·y1·y2˅X·y1·y2˅y1·y2·y3;

Z=y1·y2˅X·y1·y2˅y1·y2·y3.