Сучкова Л.И. Абстрактный и структурный синтез автоматов
Подождите немного. Документ загружается.
131
2)
⎪
⎩
⎪
⎨
⎧
≤++
−
>++
=
.3,
2
,3,
),,,(
tzy
y
x
tzyx
tzyxf
№15
1) f(x, y, z, t) = ?
1 → 1
R
∗ → 1
R
ε →
1
L
1
→
1E
ε
→
1
L
2)
⎪
⎩
⎪
⎨
⎧
>+
≤
=
.2,
,2,
),(
yyx
y
y
x
yxf
№16
1) f(x, y, z, t) = ?
1 → ε
R
ε → 1
L
1
→
ε
R
1
→
ε
R
∗
→
∗Ε
∗ → ∗
L
ε
→
ε
E
∗
→
ε
R
132
2)
⎪
⎩
⎪
⎨
⎧
>>++
≤>
−
≤
=
.3&1,
,3&1,
2
,1,1
),,(
zxzyx
zx
z
x
x
zyxf
№17
1) f(x, y, z) = ?
∗ → ε
R
ε
→
ε
E
∗
→
1
R
1 → ε
R
1 →
1
R
1
→
1
E
2)
⎪
⎩
⎪
⎨
⎧
=
<−
>−
=
.3,0
,3,2
,3,1
),(
x
xxy
xy
yxf
№18
1) f(x, y, z) = ?
ε
→
ε
L
∗
→
1
R
∗ → 1
R
1
→
1
R
1 → ε
R
1
→
1
R
∗
→
1
R
133
2)
⎪
⎪
⎩
⎪
⎪
⎨
⎧
<
−
≤≤+
>
=
.3,
1
,43,
,4,
),(
y
y
x
yyx
yx
yxf
№19
1) f(x, y, z, t) = ?
∗ → 1
R
ε
→
1
E
1 →
1
R
1 → ε
R
∗ →
1
R
2)
⎪
⎩
⎪
⎨
⎧
>+++
≤
−
+
=
.3,2
,3,
2
),,(
zzyx
z
z
yx
zyxf
№20
1) f(x) = ?
1 → ε
R
1
→
ε
R
ε → 1
L
ε
→
1
E
ε
→
1
E
2)
⎩
⎨
⎧
>−
≤+
=
.1,
,1,
),,(
yzx
yzx
zyxf
134
№21
1) f(x, y) = ?
1 → ε
R
∗ → ε
R
ε →
1E
2)
⎩
⎨
⎧
≤−
>+
=
.2,
,2,3/
),,(
yyx
yyx
zyxf
№22
1) f(x, y, z) = ?
ε →
1
L
1
→
ε
R
1
→
1
R
ε
→
ε
E
1
→
ε
L
∗
→
1
R
∗ →
∗
L
2)
⎪
⎩
⎪
⎨
⎧
>++
≤
=
.2,1
,2,
),(
yyx
y
y
x
yxf
№23
1) f(x, y, z) = ?
135
1 → ε
L
1 →
1
R
∗ →
1Ε
∗ → 1
R
ε
→
1E
ε → 1
E
2)
⎪
⎪
⎪
⎩
⎪
⎪
⎪
⎨
⎧
<
⎭
⎬
⎫
⎩
⎨
⎧
>+
=
=
.2,
,2,2
2,/
),(
y
y
x
yyx
yyx
yxf
№24
1) f(x, y) = ?
ε
→
ε
L
∗
→
1
R
∗ → 1
E
1
→
1
R
1 → ε
R
1 → 1
R
∗
→
∗
Ε
2)
⎪
⎪
⎩
⎪
⎪
⎨
⎧
>−
=
≤
−
+
=
.5,
,5,
,4,
3
2
),,(
yyx
yxy
y
y
x
zyxf
№25
1) f(x) = ?
136
1 → 1
R
∗ → ∗
R
ε →
1E
2)
⎪
⎪
⎩
⎪
⎪
⎨
⎧
<>+
≤
++
=
иначеx
ztyx
t
t
zyx
tzyxf
,
,2&2,
,2,
),,,(
№26
1) f(x, y) = ?
1 → ε
R
1
→
ε
R
∗ → 1
E
∗ → ∗
E
∗
→
1
E
1
→
ε
R
2)
⎪
⎪
⎩
⎪
⎪
⎨
⎧
≤>
≤
−
−
=
иначеx
xyxy
y
y
x
yxf
,
,2&3,
,3,
2
2
),(
137
№27
1) f(x, y) = ?
1 → ε
R
ε
→
ε
E
1
→
1
R
∗
→
ε
R
∗ → 1Ε
∗
→
∗Ε
ε
→
1
E
1
→
1
R
2)
⎪
⎪
⎩
⎪
⎪
⎨
⎧
>>++
≤
≤>
=
.2&4,
,4,
,2&4,
),,(
txtyx
x
x
y
txyt
tyxf
№28
1) f(x, y) = ?
1 → ε
R
∗ → 1
R
ε
→
ε
E
1
→
1
E
2)
⎪
⎪
⎩
⎪
⎪
⎨
⎧
≥≤
≥>÷
<
−
=
.3&,
,3&,
,3,
),,(
tyxx
tyxyx
t
t
yx
tyxf
138
№29
1) f(x, y, z) = ?
ε
→
ε
E
∗ →
ε
R
∗ →
ε
R
1 → ε
R
1
→
ε
R
1
→
ε
R
∗ →
∗
E
2)
⎪
⎩
⎪
⎨
⎧
≥>−
≤
=
иначеx
xyyx
yyx
yxf
,
,1&3,
,3,
),(
№30
1) f(x, y, z, t) = ?
1 → ε
R
∗ → ∗Ε
1
→
ε
R
1 →
ε
R
1
→
1Ε
∗
→
1
R
ε
→
ε
L
ε
→
1
E
∗
→
ε
R
∗
→
ε
R
∗
→
1
R
1
→
1
R
1
→
1
R
∗
→
ε
R
139
2)
⎪
⎩
⎪
⎨
⎧
≤+
>
−
=
.3,
,3,
log2
),(
2
xyx
x
y
x
yxf
№31
1) f(x, y) = ?
ε
→
1
Ε
∗ → 1
R
1 → ε
R
1
→
1
R
∗
→
∗
Ε
1
→
ε
R
1 → ε
R
∗ → ε
R
2)
⎪
⎪
⎩
⎪
⎪
⎨
⎧
>÷+
=+
≤
−
++
=
.5,
,5,)(
.4,
3
2
),,(
zzyx
zzyx
z
z
yx
zyxf
№32
1) f(x, y, z, t) = ?
∗ → ε
R
1 → 1Ε
1
→
ε
R
1
→
ε
R
∗ →
∗Ε
ε
→
1
L
∗
→
ε
R
140
2)
⎪
⎩
⎪
⎨
⎧
++
≤≤
>>÷
=
иначеyx
xyxy
xyxy
zyxf
,1
,2&2,
,2&2,
),,(
№33
1) f(x, y) = ?
∗ → 1
R
1 → 1
E
1
→
1Ε
1 →
1
L
ε
→
1
L
ε
→
1
L
2)
⎪
⎪
⎪
⎩
⎪
⎪
⎪
⎨
⎧
>>+
≤>
+
≤
−
++
=
.3&3,
,3&3,
,3,
1
2
),,(
yzzx
yz
y
zx
z
z
yx
zyxf
8.4 Синтез автоматов Мили и Мура
Задание.
Выполнить синтез абстрактного автомата Мили, реали-
зующего задание. Преобразовать построенный автомат в ав-
томат Мура.
Варианты заданий:
1. Построить конечный автомат, продающий квас и вы-
дающий сдачу. Автомат может принимать монеты достоин-
ством 1, 2, 5 рублей. Стакан кваса стоит 7 рублей. Кроме от-
верстий для приема
монет и выдачи сдачи у автомата есть
кнопки «Налить» и «Сброс». При нажатии кнопки «Сброс»
осуществляется возврат монет.
2. Построить конечный автомат, выдающий остаток от
деления вводимого десятичного числа на 3.