Схемотехника цифровых, аналого-цифровых и цифро-аналоговых устройств. Корнев Е.А. - 60 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

60
В асинхронных автоматах длительность интервала времени, в течении
которого остается неизменным состояние входа, является величиной перемен-
ной и определяется только моментами изменений входных состояний.
В классе синхронных конечных автоматов рассматривают два типа авто-
матов: модель Мили и модель Мура.
Автомат Мили описывается функцией переходов и функцией выходов:
h(t
i
+1) =Ф[p(t
i
+1), h(t
i
)],
Y(t
i
) = F[p(t
i
);h(t
i
)]
где: h(t
i
+1) – кодовое слово перехода автомата в новое состояние, которое
зависит от внутреннего состояния автомата h(t
i
) непосредственно перед перехо-
дом и нового воздействия p(t
i
+1) в следующий момент времени
Автомат Мура отличается от автомата Мили функцией выходов, которая
записывается как:
Y(t
i
) =F[h(t
i
)]
Существуют различные способы задания конечных автоматов. Наиболее
известные способы - это таблицы и матрицы переходов, диаграммы переходов
и автоматные уравнения.
5.1.1 Таблицы переходов
Таблицы переходов задают функцию перехода автомата. Каждый столбец
таблицы соответствует внутреннему состоянию автомата, каждая строка -
определенному состоянию входа. Клетка таблицы переходов соответствует со-
стоянию автомата, определяющему внутреннее состояние, в которое автомат
должен перейти в следующий момент времени. Таблица 5.1 является таблицей
переходов полного синхронного автомата. Из таблицы видно, что автомат име-
ет четыре состояния входа p1, p2, p3, p4 и четыре внутренних состояния h1, h2,
h3, h4. В каждой клетке таблицы указывается номер внутреннего состояния, в
которое автомат должен перейти в следующий момент времени. Если в какой-
либо клетке таблицы состояние не указано, то это состояние называется неоп-
ределенным, а такой автомат называется недоопределенным. Недоопределен-
ные автоматы могут существовать только теоретически. Практически же любая
реальная схема автомата, построенная из логических элементов, соответствует
полностью определенному конечному автомату. Для задания функции выходов
автомата в таблицу переходов добавляют дополнительный столбец (автомат
Мили) или выходные состояния указываются дополнительно в каждой клетке
таблицы (таблица 5.2). 
      В асинхронных автоматах длительность интервала времени, в течении
которого остается неизменным состояние входа, является величиной перемен-
ной и определяется только моментами изменений входных состояний.
      В классе синхронных конечных автоматов рассматривают два типа авто-
матов: модель Мили и модель Мура.
      Автомат Мили описывается функцией переходов и функцией выходов:

                            h(ti+1) =Ф[p(ti+1), h(ti)],

                               Y(ti) = F[p(ti);h(ti)]

      где: h(ti+1) – кодовое слово перехода автомата в новое состояние, которое
зависит от внутреннего состояния автомата h(ti) непосредственно перед перехо-
дом и нового воздействия p(ti+1) в следующий момент времени

     Автомат Мура отличается от автомата Мили функцией выходов, которая
записывается как:
                              Y(ti) =F[h(ti)]

      Существуют различные способы задания конечных автоматов. Наиболее
известные способы - это таблицы и матрицы переходов, диаграммы переходов
и автоматные уравнения.

     5.1.1 Таблицы переходов

      Таблицы переходов задают функцию перехода автомата. Каждый столбец
таблицы соответствует внутреннему состоянию автомата, каждая строка -
определенному состоянию входа. Клетка таблицы переходов соответствует со-
стоянию автомата, определяющему внутреннее состояние, в которое автомат
должен перейти в следующий момент времени. Таблица 5.1 является таблицей
переходов полного синхронного автомата. Из таблицы видно, что автомат име-
ет четыре состояния входа p1, p2, p3, p4 и четыре внутренних состояния h1, h2,
h3, h4. В каждой клетке таблицы указывается номер внутреннего состояния, в
которое автомат должен перейти в следующий момент времени. Если в какой-
либо клетке таблицы состояние не указано, то это состояние называется неоп-
ределенным, а такой автомат называется недоопределенным. Недоопределен-
ные автоматы могут существовать только теоретически. Практически же любая
реальная схема автомата, построенная из логических элементов, соответствует
полностью определенному конечному автомату. Для задания функции выходов
автомата в таблицу переходов добавляют дополнительный столбец (автомат
Мили) или выходные состояния указываются дополнительно в каждой клетке
таблицы (таблица 5.2).




                                                                            60

Страницы