Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекции по теории автоматов.doc
Скачиваний:
105
Добавлен:
01.05.2014
Размер:
3.35 Mб
Скачать

Типы памяти.

Триггер – это двоичный элемент памяти. В качестве элементов памяти используется двоичные элементы – триггеры, которые имеют два устойчивых состояния.

Элемент памяти как правило имеет два выхода: прямой и инверсный.

Значение на прямом выходе соответствует коду состояния триггера и как правило выходному сигналу триггера.

Элементом памяти в автомате будем называть автомат Мура, обладающий полной системой переходов и выходов.

Автомат обладает полной системой переходов, если любых пар SiиSjможно указать сигнал вызвавший переход изSiвSj.

Автомат обладает полной системой выходов, если каждому состоянию автомата можно приписать выходной сигнал, отличный от выходных сигналов других состояний.

Основные типы триггеров.

Существует 4 основных логических типа триггера:

два одновходовых :«D»,«T»

два двухвходовых :«RS»,«JK»

  1. «D» триггер или триггер задержки (delay)

Графическое обозначение:

это автомат Мура (дуги – значения D)

Выходные значения во всех значениях будут совпадать с кодом состояния и будут обозначаться буквой q.

W(q)

P(D)

0

1

S(q)

0

0

0

1

1

1

0

1

Для триггеров удобно использовать иную форму таблицы переходов.

qt  qt+1

D

0  0

0

0  1

1

1  0

0

1  1

1

Эта таблица упрощается и приводится к виду:

0

0 0 т.е. значениеDпишется над стрелкой.

1

0  1

0

1  0

1

1  1

  1. «T» триггер (Toggle - кувыркаться)

Триггер меняет свое состояние (Т = 1)

q / T

0

1

0

0

1

1

1

0

qt  qt+1

T

0  0

0

0  1

1

1  0

1

1  1

0

0

0 0

1

0  1

1

1  0

0

1  1

  1. «RS» триггер

R–reset– сбрасывает в 0 (00 – хранение предыдущего состояния)

S–set– установка в 1 (11 - запрещена)

R= 1 – сброс

S= 1 – установка

R=S= 0 – хранение

R=S= 1 – запрещена.

* - безразлично чему равен сигнал

q / RS

00

01

10

11

0

0

1

0

--

1

1

1

0

--

«--» - запрещенные комбинации

qt  qt+1

RS

0  0

*0

0  1

01

1  0

10

1  1

0*

*0

0 0

01

0  1

10

1  0

0*

1  1

  1. «JK» триггер (jump– установка 1,kill- сброс)

J= 1K= 0 – установка

J= 0K= 1 – сброс

J=K= 0 - хранение

J=K= 1 – инверсия

  1. 0

    0*

    0 – хранение

01 - сброс

  1. 0 1

1

1*

0 – установка

11 - инверсия

  1. 1 1

*0

  1. 1 0

*1

q / JK

00

01

10

11

0

0

0

1

1

1

1

0

1

0

qt  qt+1

JK

0  0

0*

0  1

1*

1  0

*1

1  1

*0

0*

0 0

1*

0  1

*1

1  0

*0

1  1