Конечный автомат и его описание

Сентябрь 2, 2022

Главная
Алгебра
Конечный автомат и его описание

Содержание

2. 7.1 Автомат с памятью До сих пор рассматривались устройства, не обладающие памятью. Такие устройства в любой
3. Общепринятой моделью поведения такого устройства является система булевых функций. Комбинации двоичных сигналов иногда удобно обозначать абстрактными
4. Пример задания комбинационного автомата ,где bij∈ В
5. Часто алгоритм функционирования устройства бывает таким, что простым соответствием вида таблицы его задать невозможно. Для его
6. Пусть, например, на вход устройства с входным и выходным алфавитами А = {a1, a2, а3, a4}
7. В первый момент времени устройство на входной сигнал а1 реагировало выходным сигналом b2, а во второй
8. Эта неоднозначность устраняется, если ввести понятие внутреннего состояния или просто состояния. Тогда то, что устройство реагирует
9. Состояния образуют множество Q = {q1, q2, … , qγ}. Тогда алгоритм функционирования устройства можно представить
10. Соответствие (ai, qj) → (qs, bt) можно задать таблицей, где фактически представлены две функции, определенные на
11. Моделью описанного устройства является конечный автомат, представляющий собой совокупность следующих объектов: А = {a1, a2, …
12. Для конечного автомата используется обозначение (A, B, Q, Ψ, Φ). Слово «конечный» подчеркивает, что все три
13. Значением функции Ψ(a, q) является состояние q+, в которое переходит автомат из состояния q, если на
14. Конечный автомат является абстрактной математической моделью дискретного устройства. Поведение, описанное данной моделью, может быть по-разному реализовано
15. При асинхронной реализации указанные моменты времени не фиксированы. Они связаны с моментами, в которые происходит изменение
16. В асинхронном автомате переход из состояния в состояние происходит за некоторый конечный промежуток времени, в течение
17. При этом должно выполняться требование прямого перехода, которое формально выражается следующим образом: если Ψ(a, qi) =
70. Скачать презентацию

Слайд 2

7.1 Автомат с памятью
До сих пор рассматривались устройства, не обладающие памятью.

Такие устройства в любой момент времени на любую комбинацию входных двоичных сигналов реагируют однозначно, т. е. каждой комбинации двоичных сигналов на входе устройства соответствует определенная комбинация двоичных сигналов на выходе независимо от того, какие сигналы приходили на вход раньше. Отсюда происходят названия «комбинационный автомат» или «комбинационная схема».

Слайд 3

Общепринятой моделью поведения такого устройства является система булевых функций. Комбинации

двоичных сигналов иногда удобно обозначать абстрактными символами или буквами некоторого заданного алфавита. Пусть имеется входной алфавит А = {a1, a2, … , aα} и выходной алфавит В = {b1, b2, … , bβ}. Тогда общий вид описания поведения комбина-ционного автомата можно представить таблицей. Эта таблица является аналогом таблицы истинности. Она полностью определяет алгоритм функционирования заданного устройства.

Слайд 4

Пример задания комбинационного автомата
,где bij∈ В

Слайд 5

Часто алгоритм функционирования устройства бывает таким, что простым соответствием вида таблицы

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

Слайд 6

Пусть, например, на вход устройства с входным и выходным алфавитами А = {a1, a2, а3, a4}

и В = {b1, b2, b3} пришла последовательность сигналов
a1 a1 а3 a2 a2 а4 a3,
а на выходе наблюдается последователь-ность сигналов
b2 b3 b2 b1 b3 b2 b1.

Слайд 7

В первый момент времени устройство на входной сигнал а1 реагировало выходным

сигналом b2, а во второй момент на тот же сигнал – сигналом b3. На сигналы а2 и а3 в разные моменты оно реагировало также по-разному, т. е. поведение устройства нельзя описать тем же способом, что использовался для описания поведения комбинационного автомата.

Слайд 8

Эта неоднозначность устраняется, если ввести понятие внутреннего состояния или просто

состояния. Тогда то, что устройство реагирует на один и тот же сигнал в разные моменты по-разному, можно объяснить так, что оно находится при этом в разных состояниях. Приняв входной сигнал, устройство выдает выходной сигнал и может перейти в другое состояние.

Слайд 9

Состояния образуют множество Q = {q1, q2, … , qγ}. Тогда алгоритм функционирования устройства можно представить

совокупностью строк вида
(ai, qj) → (qs, bt),
где ai ∈ А, bt ∈ В, qj, qs ∈ Q. Устройство, поведение которого можно задать в таком виде, носит название «автомат с памятью» или «последовательностный автомат». Последний термин заключает в себе смысл отображения входной последовательности в другую.

Слайд 10

Соответствие (ai, qj) → (qs, bt) можно задать таблицей, где фактически представлены две функции, определенные

на множестве A × Q. Областью значений одной функции является множество Q, другой функции – множество В.

Слайд 11

Моделью описанного устройства является конечный автомат, представляющий собой совокупность следующих объектов:
А = {a1, a2, … , aα}

– множество входных символов, или входной алфавит;
В = {b1, b2, … , bβ} – множество выходных символов, или выходной алфавит;
Q = {q1, q2, … , qγ} – множество состояний, или внутренний алфавит;
Ψ : A × Q → Q – функция переходов;
Φ : A × Q → В – функция выходов.

Слайд 12

Для конечного автомата используется обозначение (A, B, Q, Ψ, Φ). Слово «конечный» подчеркивает, что все

три множества, входящие в состав данной модели, конечны. В том виде, в каком эта модель здесь представлена, она носит название «автомат Мили». Другой разновидностью данной модели является автомат Мура, отличающийся от автомата Мили только тем, что функция выходов не зависит от входного символа, т. е. представляет собой отображение Φ : Q → В.

Слайд 13

Значением функции Ψ(a, q) является состояние q+, в которое переходит автомат из

состояния q, если на вход его подан символ а. Значением функции Φ(a, q) является выходной символ, выдаваемый автоматом в состоянии q при поступлении на его вход символа а, а значением функции Φ(q) автомата Мура – выходной символ b, который выдает автомат, находясь в состоянии q. Если значения функций Ψ(a, q) и Φ(a, q) определены для любой пары значений аргументов а и q, а в модели Мура функция Φ(q) определена для всех значений q, то автомат является полностью определенным, или полным автоматом. Иногда приходится иметь дело с не полностью определенным, или частичным автоматом, у которого эти функции могут быть определены не везде.

Слайд 14

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

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

Слайд 15

При асинхронной реализации указанные моменты времени не фиксированы. Они связаны с

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

Слайд 16

В асинхронном автомате переход из состояния в состояние происходит за

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

Слайд 17

При этом должно выполняться требование прямого перехода, которое формально выражается

следующим образом: если Ψ(a, qi) = qj, то Ψ(a, qj) = qj. Иногда допускается выполнение следующей цепочки переходов:
Ψ(a, qi) = qr, Ψ(a, qr) = qs, … , Ψ(a, qt) = qj, Ψ(a, qj) = qj.

Слайд 18