Формальные языки, грамматики и автоматы1 / Konspekt / SECTION9 / part92~1

Асинхронные автоматы Пред.Страница След.Страница Раздел Содержание Согласно изложенному способу, припишем узлам графа связей коды с одной единицей. В результате получаем граф, в котором каждом переходе изменяются внутренние переменные, что создает необходимые условия для состязаний. Чтобы построить граф связей, гарантирующий отсутствие состязаний, введем дополнительные состояния в каждое ребро и припишем коды с двумя единицами, как показано на рис. 4,в. Дополнительные состояния обозначены на этом рисунке темными кружочками. Таблица переходов, соответствующая построенному графу связей, может быть представлена в виде табл. 3.

Заканчивая описание универсального способа кодирования, следует отметить, что он позволяет значительно упростить процедуру построения функций возбуждения. Нетрудно показать, что в силу большого числа используемых кодовых комбинаций, каждое состояние при построении функций возбуждения определяется не элементарной конъюнкцией, а одной внутренней переменной. При этом, в случае использования в качестве элeмента памяти триггера

типа D (элемента задержки), для каждого перехода из сосояния, опреджеляемого переменной yi, под действием входного сигнала xk в состояние, определяемое переменной yj, соответствующий дизъюнктивный член функции возбуждения yj’ имеет вид: yixk V yiyjxk V xjxk = yixk V yixk. Следовательно, если в автомате определены переходы в состояние yj из состояний yi1, yi2, ...,yil,соответственно под действием входных сигналов х1, x2, ..., xl, то функция возбуждения yj’ может быть записана так: yj’ = V lk=1xk(yjk V yj). В последнем выражении не учитывается ситуации, в которых автомат должен оставаться в том же самом устойчивом состоянии при изменении входных сигналов. Построение функций возбуждения для рассматриваемого способа удобно выполнять непосредственно по диаграмме переходов автомата. Например, для диаграммы переходов, приведенной на  рис. 4,г, после преобразования имеем:

                                      _          _ _                                                                                        _ y1'=x1y1 V x1x2(y2 V y3) ;    y2'=x1x2y1 V (x1 V x2)y2 V x2y3 ;    y3'=x1x2(y1 V y3)   Пред.Страница След.Страница Раздел Содержание