![]() |
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
![]() ![]() ![]() |
Читальный зал --> Программные средства foundation
Назначение данного автомата очевидно из его таблицы переходов: это 2-разрядный двоичный счетчик с входом разрешения EN. Если EN = 1, то с каждым периодом тактового сигнала результат счета увеличивается на 1, переходя к значению 00 по достижении максимальной величины 11. При желании можно присваивать состояниям конечного автомата буквенные имена состояний {state names). В простейшем случае это могло бы иметь такой вид: 00 = А, 01 = В, 10 = С и 11 = D. В результате подстановки имен состояний в табл. 7.2(a) взамен комбинаций Q1 и Q0 (а также Q1* и Q0*) получим таблицу Q0* = DO Q1* = D1. Подставляя DO и D1 из уравнений возбуждения, получаем: Q0* = Q0 EN + Q0- EN Q1* = Q1 EN + Q1- Q0 EN + Q1 QO- EN. Эти соотношения, позволяющие выразить очередные значения переменных состояния в виде функций текущего состояния и выходного сигнала, носят название уравнений переходов {transition equations). Для каждой комбинации текущего состояния и значения входного сигнала уравнения переходов предсказывают следующее состояние. Каждое состояние описывается двумя битами (текущими значениями Q0 и Q1 в данный момент): (Q1 Q0) = 00,01,10 или 11 [Причина, по которой произвольно , на первый взгляд, выбран порядок (Q1 Q0), а не (Q0 Q1), станет очевидной чуть ниже.] В каждом состоянии нашего автомата на его входе возможны только два значения сигнала: EN = О или EN = 1; таким образом, существует 8 комбинаций состояние/вход . (В общем случае у автомата, состояние которого выражаются s битами, а входной сигнал -I битами, имеется 2 комбинаций состояние/вход .) Табл. 7.2(a) представляет собой таблицу переходов {transition table), которая составляется путем вычислений по уравнениям переходов для каждой возможной комбинации состояние/вход . По традиции, состояния перечислены в таблице переходов в левом столбце сверху вниз, а значения входного сигнала -вверху таблицы слева направо, как показано в нашем примере. Табл. 7.2. Таблица переходов, таблица состояний и таблица состояние/выход для конечного автомата, приведенного на рис 7 38. EN EN EN MAXS Табл. 7.3. Таблица состояние/выход для автомата Мура О О О Диаграмма состояний {state diagram) представляет информацию, содержащуюся в таблице состояние/выход фафически. На ней каждому состоянию соответствует кружок [или узел {node)], а стрелками [или направленными дугами {directed arc)] указаны возможные переходы. В нашем примере диафамма состояний имеет вид, показанный на рис. 7.39. Буквы внутри каждого кружка-это имя состояния. Каждая стрелка, выходящая из данного состояния, направлена к одному из следующих состояний в зависимости от входного воздействия; вблизи стрелок указано также значение выходного сигнала, вырабатываемое автоматом в данном состоянии при этом входном воздействии. состояний [state table; табл. 7.2(b)]. Здесь S означает текущее состояние, а S* - следующее состояние автомата. Обычно таблицу состояний бывает легче воспринимать, чем таблицу переходов, поскольку применительно к сложным автоматам мы можем называть состояния именами, имеющими смысловую нафузку. Однако в таблице состояний содержится меньше информации, чем в таблице переходов, так как в ней не указаны двоичные значения переменных состояния в каждом из состояний. После того как таблица состояний записана, остается проанализировать только выходную логику. В рассматриваемом примере выходной сигнал - единственный, и он является функцией как текущего состояния, так и входного сигнала (это - автомат Мили). Таким образом, можно записать единственное уравнение выхода {output equation): MAX = QI QO EN Объединяя поведение выходного сигнала, предсказываемое этим уравнением, с информацией о переходах, можно составить таблицу состояние/выход {state/ output table), представленную в качестве табл. 7.2(c). Для автомата Мура таблица состояние/выход немного проще. Предположим, например, что в схеме нарис. 7.38 сигнал EN не подается на один из входов вентиля И, вырабатывающего сигнал МАХ, и пусть в этом случае сигнал на выходе автомата Мура называется MAXS. Тогда величина MAXS является функцией только состояния и список значений MAXS в таблице состояние/выход будет иметь вид одного столбца независимо от входного сигнала. Этот случай приведен в табл. 7.3. EN = 0 EN = 1 (МАХ = 1) EN = 0 (мах = 0) ![]() (М1АХ = 0) EN = 0 (МАХ=0) £N=1 (МАХ = 0) 01 = 1 { 1*АХ = 0) ![]() <МАХ = 0) Рис. 7.39. Диаграмма состояний шнечного автомата с таблицей состояние/выход 7.2(c) Диаграмма состояний для автомата Мура несколько проще. В этом случае выходные сигналы можно указать внутри кружков, относящихся к отдельным состояниям, поскольку значения этих сигналов зависят только от состояния. Согласно этому правилу диафамма состояний для автомата Мура имеет вид, приведенный нарис. 7.40. EN = 0 ![]() MAXS=0/ £N = 1 Т MAXS=0/ £N=0 EN = 1 EN = 1 EN = 0 ![]() Ш = 1 ![]() EN = 0 Рис. 7.40. Диагрзыняа сосжзяний конечного автомата с таблицей состояние/выход 7 3 уточнение Способ указания выходных значений на диафамме состояний автомата Милн может ввести в заблуждение. Следует помнить, что сигналы на выходе присутствуют в течение всего времени, пока автомат находится в данном состоянии с данным входным воздействием, а не возникают только в момент перехода к следующему состоянию. ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |