Автомат без выходного преобразователя

Автомат без выходного преобразователя – это следующая совокупность четырех объектов: A = <P, S, s₀, φ>, где:

P = {p₁, p_2, …, p_n} – входной алфавит;

S = {s₀, s₁, s₂, …, s_k} – множество состояний, в которых может находиться автомат;

s₀ – начальное состояние автомата, s₀ S;

φ – функция перехода автомата, которое представляет собой отображение декартова произведения множеств P и S на множество S, т.е. P × S S.

Это значит что каждой паре: входной символ p_i и состояние s_j ставится в соответствие новое состояние s_k. Функция перехода записывается следующим образом:

s_k = φ(p_i, s_j), где:

p_i – входной символ;

s_j – текущее состояние автомата;

s_k – новое состояние автомата.

 

Aбстрактный автомат называется конечным, если все его алфавиты конечны.

Автомат называется инициальным, если перед началом работы он должен быть установлен в начальное состояние s_0.

Так как работа автомата рассматривается в дискретные моменты времени то функцию перехода можно представить в виде:

s_k (t+1) = φ(p_i(t), s_j(t)), где:

p_i(t) и s_j(t) – входной символ и состояние автомата в текущем автоматном такте (t);

s_k (t+1) – новое состояние автомата в следующем автоматном такте (t+1).

Теория конечных автоматов не оперирует с такой величиной как время и символ t в приведенной формуле функции перехода обозначает текущий автоматный такт, а t+1 обозначает следующий автоматный такт.

Обычно в теории автоматов обозначения автоматных тактов при записи функций не указываются

Способы задания автомата без выходного преобразователя.

Пусть заданы: P – входной алфавит, S – множество состояний и s₀ – начальное состояние автомата.

Существует три способа задания функций перехода:

1. перечислением;

2. табличный;

3. графический.

При перечислении приводятся все функции перехода:

s₁ = φ(s₀, p₁),

s₂ = φ(s₁, p₁),

......

s_k = φ(s_k-1, p_n).

В табличном способе строится таблица переходов, столбцы которой помечаются входными символами, а строки – символами состояний из которых осуществляется переход. Внутри таблицы на пересечении i-той строки и j-того столбца указывается состояние, в которое переходит автомат из состояния s_i под воздействием входного символа p_j.

Таблица 2.1

 

pj si	p1	p2	…..	pn
s0	s1	s2	…..	s1
s1	s2	s2	…..	sk
…..	…..	…..	…..	.…
sk			…..

 

В графическом способе каждому состоянию автомата ставится в соответствие вершина графа, которая помечается символом этого состояния. Если из состояния s_i существует переход в состояние s_j под воздействием входного символа p_k, то вершины s_i и s_j соединяются дугой, исходящей из s_i, а сама дуга помечается символом p_k под воздействием которого осуществляется данный переход (рис.2.2). Направление дуги указывает направление перехода, поэтому граф автомата является ориентированным графом.

 

si

sj

pk

 

Рис. 2.2

Пример задания автомата без выходного преобразователя:

Пусть P = {p1, p2}, S = {s0, s1, s2}

Функцию перехода зададим тремя различными рассмотренными способами:

Перечислением: s0 = φ(s0, p1), s1 = φ(s0, p2), s1 = φ(s1, p1), s2 = φ(s1, p2),

s2 = φ(s2, p1), s0 = φ(s2, p2).

Таблицей переходов: (табл. 2.2).

Таблица 2.2

 

pj si	p1	p1 p1 p1
s0	s0	p2 s1
s1	s1	s1 s0 s2
s2	s2	p2 s0

 

 

p2

Графом переходов: (рис. 2.3).

s2

p1

 

 

Рис. 2.3

 

В табл.2.3 приводится моделирование работы автомата, приведенного в примере, по переработке входного слова p₁p₂p₂p₁p₂. В процессе работы происходит следующая смена состояний автомата: s₀ s₀ s₁ s₂ s₂ s₀, т.е. работа автомата без выходного преобразователя состоит в получении последовательности состояний.

Таблица 2.3

 

Автоматный такт tk	t0	t1	t2	t3	t4	t5
Состояние автомата si	s0	s0	s1	s2	s2	s0
Входной символ pj	p1	p2	p2	p1	p2

 

 

2.4. Автомат с выходным преобразователем

Автомат с выходным преобразователем это есть совокупность следующих шести объектов:

A = <P, S, s₀, φ, W, ψ>, где:

P = {p₁, p_2, …, p_n} – входной алфавит;

S = {s₀, s₁, s₂, …, s_k} – множество состояний;

s₀ – начальное состояние автомата, s₀ S;

φ – функция перехода автомата;

W = {w₁, w_2, …, w_m}– выходной алфавит;

ψ – функция выхода.

Определение объектов P, S, s₀, φ совпадает с определением тех же объектов в автомате без выходного преобразователя.

Существует две математические модели автомата с выходным преобразователем: автомат Мура и автомат Мили. Определение функции выхода ψ различно в каждой из этих моделей. Оба автомата можно представить в виде композиции автомата без выходного преобразователя A* и выходного преобразователя L.

Автомат Мура приведен на рис. 2.4, где: , , слова из соответствующих алфавитов.

 

A*   A*   A*   A*

L   L   L   L

Рис.2.4

 

В автомате Мура функция выхода ψ осуществляет отображение множества S на множество W, т.е. S W. Это означает что каждому состоянию s_i ставится в соответствие выходной символ w_i. Функция перехода записывается следующим образом:

w_i = ψ(s_i), где:

s_i – текущее состояние автомата;

w_i – выходной символ.

Существенным в определении функции выхода автомата Мура является то что новый выходной символ w_i(t+1) в такте (t+1) определяется следующим состоянием s_i(t+1)) в которое переходит автомат. т.е. -

w_i(t+1)= ψ(s_i(t+1)).

Автомат Мили приведен на рис. 2.5, где: A^* – автомат без выходного преобразователя, L – преобразователь, , , , – слова из соответствующих алфавитов.

 

 

A*

L

 

 

Рис.2.5

 

В автомате Мили функция выхода ψ осуществляет отображение декартова произведения множеств Pи S на множество W, т.е. P × S W. Это значит что каждой паре: входной символ p_i и состояние s_j ставится в соответствие выходной символ w_k. Функция выхода записывается следующим образом:

w_k = ψ(p_i, s_j),), где:

p_i – входной символ;

s_j– текущее состояние автомата;

w_k – выходной символ.

В функции выхода автомата Мили новый выходной символ w_k(t+1) в такте (t+1) определяется входным символом p_i(t) и состоянием s_i(t) в текущем такте (t).

w_k(t+1) = ψ(p_i(t), s_j(t)).

 

Способы задания автомата Мура.

Пусть заданы: P – входной алфавит, S – множество состояний, s₀ – начальное состояние автомата и W – выходной алфавит.

Функции перехода и функции выхода могут быть представлены тремя способами:

1. перечислением;

2. табличный;

3. графический.

При перечислении приводятся все функции перехода и выхода:

s₁ = φ (s₀, p₁), w₁ = ψ (s₁),

s₂ = φ (s₁, p₁), w₂ = ψ (s₂),

............

s_o = φ (s_k, p_n). w₀ = ψ (s₀).

В табличном способе строится таблица переходов, которая слева дополняется столбцом, в котором для каждого состояния s_j указывается соответствующий ему выходной символ w_j (табл.2.3).

В графическом способе каждому состоянию автомата ставится в соответствие вершина графа, которая помечается символом этого состояния s_i и выходным символом w_i, соответствующим этому состоянию. Если из состояния s_i существует переход в состояние s_j под воздействием входного символа p_k, то вершины s_i и s_j соединяются дугой исходящей из s_i, а сама дуга помечается символом p_k под воздействием, которого осуществляется данный переход (рис.2.6).

Таблица 2.3

 

wj	pi sj	p1	p2	…..	pn
w0	s0	s1	s2	…..	s1
w1	s1	s2	s2	…..	sk
…..	…..	…..	…..	…..	.…
wk	sk			…..	s0

 

sj/wj

si/wi

pk

 

Рис. 2.6

 

Пример автомата Мура.

Пусть P = {p_1, p₂}, W = {w₀, w₁}, S = {s_0, s_1, s_2, s₃}.

Функции перехода: Функции выхода: s₀ = φ (s_0, p₁), w₀ = ψ (s₀),

s₁ = φ (s_0, p₂), w₁ = ψ (s₁),

s₂ = φ (s_1, p₁), w₀ = ψ (s₂),

s₂ = φ (s_2, p₁), w₀ = ψ (s₃).

s₃ = φ (s_1, p₂),

s₃ = φ (s_2, p₂),

s₃ = φ (s_3, p₁).

 

Таблица переходов и выхода заданного автомата Мура (табл.2.4).

 

Таблица 2.4

 

wi	pi si	p1	p2
w0	s0	s0	s1
w1	s1	s2	s3
w0	s2	s2	s3
w0	s3	s3	s0

 

Граф заданного автомата Мура (рис.2.7).

s0 / w0

s1 / w1

s3 / w0

s2 / w0

p2

p2

p1

p1

p1

p1

p2

p2

 

 

Рис.2.7

 

В табл.2.5 приводится моделирование работы автомата Мура, приведенного в примере, по преобразования входного слова p₁p₂p₂p₁p₂. В процессе работы происходит следующая смена состояний автомата: s₀ s₀ s₁ s₃ s₃ s₀ и формируется следующая последовательность выходных символов w₀w₁w₀w₀w_0, т.е. работа автомата Мура состоит в преобразования входного слова в выходное.

 

Таблица 2.5

 

tk	t0	t1	t2	t3	t4	t5
si	s0	s0	s1	s3	s3	s0
pj	p1	p2	p2	p1	p2
wq	w0*	w0	w1	w0	w0	w0

 

В момент t₀ значение w_o* не учитывается, т.к. не является реакцией на входной символ, а определяется s_{0 -} начальным состоянием автомата Мура еще до подачи на вход первого символа входной последовательности.

 

Способы задания автомата Мили

Пусть заданы: P – входной алфавит, S – множество состояний, s₀ – начальное состояние автомата и W – выходной алфавит.

Функции перехода и функции выхода могут быть представлены тремя способами, как и в автомате Мура:

1. перечислением;

2. табличный;

3. графический.

При перечислении приводятся все функции перехода и выхода:

s₁ = φ (s₀, p₁), w₁ = ψ (s₀, p₁),

s₂ = φ (s₁, p₁), w₂ = ψ (s₁, p₁),

............

s_o = φ (s_k, p_n). w₀ = ψ (s_k, p_n).

Функция перехода задается как в автомате Мура. Отличие состоит в задании функции выхода.

В табличном способе строится таблица переходов (табл.2.6) и аналогичная ей таблица выходов (табл.2.7), на пересечении i - той строки и j - того столбца которой указывается выходной символ w_k, который выдает автомат при переходе из состояния s_i под воздействием входного символа p_j.

Таблица 2.6 Таблица 2.7

 

pj si	p0	p1	…	pn
s0	s1	s2	…	s3
s1	s2	s3	…	…
…	…	…	…	…
sк	s0	…	…	sк

pj si	p0	p1	…	pn
s0	w0	w1	…	wq
s1	w1	w2	…	…
…	…	…	…	…
sк	w0	…	…	wq

Эти таблицы аналогичны, поэтому обычно они объединяются, и получается совмещенная таблица переходов и выхода (табл.2.8).

 

Таблица 2.8

 

pj si	p0	p1	…	pn
s0	s1/w0	s2/w1	…	s3/wq
s1	s2/w1	s3/w2	…	…
…	…	…	…	…
sk	s0/w0	…	…	sк/wq

В графическом способе каждому состоянию автомата ставится в соответствие вершина графа, которая помечается символом этого состояния s_i. Если из состояния s_i существует переход в состояние s_j под воздействием входного символа p_k, то вершины s_i и s_j соединяются дугой исходящей из s_i, а сама дуга помечается символом p_k, под воздействием которого осуществляется данный переход и выходным символом w_q, который вырабатывается при этом переходе (рис.2.8).

si

sj

pk / wq

 

Рис.2.8

 

Пример автомат Мили.

Пусть P = {p₁, p₂}, W = {w₀, w₁}, S = {s_0, s₁, s₂}.

Функции перехода: Функции выхода:

s_{0 =} φ(s₀, p₁), w₀ = ψ (s₀, p₁),

s_{0 =} φ(s₂, p₂), w₁ = ψ (s₀, p₂),

s_{1 =} φ(s₀, p₂), w₀ = ψ (s₁, p₁),

s_{1 =} φ(s₁, p₁), w₀ = ψ (s₀, p₂),

s_{2 =} φ(s₁, p₂), w₀ = ψ (s₂, p₁),

s_{2 =} φ(s₂, p₁). w₀ = ψ (s₂, p₂).

 

Таблица переходов и выхода для заданного автомата Мили (табл.2.9).

Таблица 2.9

 

pj si	p1	p1/w0 p1/w0 p2
s0	s0/w0	p2/w1 s1/w1
s1	s1/w0	s1 s0 s2/w0
s2	s2/w0	p2/w0 s0/w0

 

s2

p2/w0

 

 

Граф заданного автомата Мили (рис.2.9).

p1/w0

 

 

p1/W0

Рис.2.9

 

В табл.2.10 приводится моделирование работы автомата Мили, приведенного в примере, по преобразования входного слова p₁p₂p₂p₁p₂. В процессе работы происходит следующая смена состояний автомата: s₀ s₀ s₁ s₂ s₂ s₀ и формируется следующая последовательность выходных символов w₀w₁w₀w₀w_0, т.е. работа автомата Мили состоит в преобразовании входного слова в выходное.

 

Таблица 2.10

 

tk	t0	t1	t2	t3	t4	t5
si	s0	s0	s1	s2	s2	s0
pj	p1	p2	p2	p1	p2
wq		w0	w1	w0	w0	w0

 

При сравнении работы автомата Мура (табл.2.5) и работы автомата Мили (табл.2.10) видно, что одно и то же входное слова p₁p₂p₂p₁p₂ оба автомата перерабатывают в одно и то же выходное слова w₀w₁w₀w₀w₀. Разница в работе автомата Мура и автомата Мили в том, что в автомате Мура выходной символ можно считывать сразу после установки его в начальное состояние, но при этом надо учитывать, что этот символ не является реакцией на входной символ, а определяется только начальным состоянием автомата Мура.

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