Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

sutkova-mlta

.pdf
Скачиваний:
11
Добавлен:
14.02.2015
Размер:
318.55 Кб
Скачать

№ 7.

1)f(x, y, z, t) = ?

→ 1R

→ 1Rε → 1E

1 → εR 1 → 1R

№ 8.

1) f(x) = ?

ε → 1L ε → 1E

1 → εR ε → 1E 1 → εR

№ 9.

1) f(x, y) = ?

1 → εR

2)

 

x + y

 

 

,z 3,

 

f (x, y,z) =

z 2

x + y + z + 2,z > 3.

2)

x + z,y 1, f (x, y, z) =

x z,y > 1.

2)

ε → 1E

x + y / 3,y > 2,

f (x, y, z) =

x y,y 2.

 

 

 

 

 

→ εR

21

№ 10.

1) f(x, y, z) = ?

1 → εL → 1Ε

→ 1Rε → 1E

ε → 1E 1 → 1R

№ 11.

1) f(x, y) = ?

2)

 

 

 

 

 

 

 

 

x / y, y = 2

 

 

 

 

f (x, y) = x + 2y,y > 2,

 

x

, y < 2.

 

 

 

 

y

 

 

 

 

 

2)

→ Ε

1 → εR

→ 1E

1 → 1R

 

1→ 1R → 1R

12.

1)f(x) = ?

1 → 1R

ε → 1E

R

 

x + 2

,y 4,

 

 

 

 

y 3

 

 

 

ε → εL

f (x, y, z) = xy,y = 5,

x y,y > 5.

 

 

 

 

 

 

2)

 

 

 

x + y + z

,t 2,

 

 

t

 

f (x, y, z,t) = x + y,t > 2&z < 2,

 

x,иначе

 

 

 

 

22

№ 13.

 

 

 

 

1) f(x, y) = ?

2)

 

 

 

1 → εR

 

 

 

→ 1E

→ 1E

 

x 2

 

 

, y 3,

 

 

 

 

 

 

1 → εR

 

y 2

1 → εR

 

 

f (x, y) = xy, y > 3&x 2,

 

 

 

x,иначе

 

 

 

 

 

 

 

 

 

 

E

 

 

 

№ 14.

 

 

 

 

1) f(x, y) = ?

 

 

 

 

ε → εE

→ εR

 

 

1 → εR 1 → 1R ε → 1E

→ 1Ε → Ε

1 → 1R

2)

 

yt,x > 4&t 2,

 

 

y

 

 

 

 

f (x, y,t) =

 

 

 

 

 

,x 4,

 

 

 

 

 

 

 

 

 

 

 

x

 

№ 15.

x + y + t,x > 4&t > 2.

1) f(x, y) = ?

 

2)

 

 

 

 

 

 

 

1 → εR

→ 1R 1 → 1E

 

 

 

 

 

f (x, y,t) = x

 

 

ε → εE

 

 

x y ,t < 3, t

÷ y,x > y&t 3, x,x y&t 3.

23

№ 16.

 

 

 

 

 

 

 

 

 

1) f(x, y, z) = ?

2)

 

 

 

 

E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x y, y 3,

 

 

 

 

 

 

 

 

 

 

1 → εR

1 → εR

f (x, y) = x y, y > 3&x 1,

 

x,иначе

 

 

 

 

 

 

 

 

→ εR 1 → εR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε → εE→ εR

№ 17.

1) f(x, y) = ?

2)

→ Ε

1 → εR

→ εR

1 → εR

ε → 1Ε

 

→ 1R 1 → 1R

18.

f(x, y,z,t)=?

 

x

 

 

,x > 3,

 

 

 

 

 

 

log

 

 

f (x, y) = 2

2

y

 

 

 

 

x + y,x 3.

 

1 → 1Ε

1 → εR

→ εR 1 → εR ε → 1L

→ Ε

→ εR

 

24

2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x + y + 2

,z 4.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x, y, z) = (x + y)z,z = 5,

 

 

 

 

 

 

 

 

x + y ÷ z,z > 5.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

№ 19.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) f(x, y, z, t) = ?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 → 1Ε

 

 

 

1 → εR

1 → 1R

→ 1R

1 → εR

 

 

→ εR

 

 

 

 

 

 

 

 

1

→ 1R

 

 

 

→ 1R

→ Ε

 

 

 

 

 

 

→ εR

→ εR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε → 1E

 

 

 

1 → εR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε → εL

 

 

 

 

 

 

y ÷ x, y > 2&x > 2,

 

 

 

 

 

 

 

 

 

2&x 2,

 

 

 

 

 

 

 

 

 

 

f (x, y, z) = y x, y

 

 

 

x + y +1,иначе

№ 20.

f(x, y) = ?

1 → 1E 1 → 1L 1 → 1Ε → 1Rε → 1L ε → 1L

25

2)

 

x + y + 2

,z 3,

 

 

 

 

 

 

 

 

 

z 1

 

 

 

 

x + z

 

f (x, y, z) =

 

 

 

 

,z > 3&y 3,

 

 

 

 

 

 

 

 

 

 

 

y

x + z,z > 3&y > 3.

Б. Задания с низким уровнем сложности

№ 21.

1)f(x, y, z) = ?

ε→ 1L 1 → 1R

1 → εRε → εR 1 → εR

R

→ 1R

 

 

 

 

 

x + y 3,x + y < 5,

f (x, y, z) =

 

 

 

2)

x + y + 2z,x + y 5.

№ 22.

1) f(x, y, z) = ?

→ 1R

→ 1R 1 → 1Rε → 1E

1 → 1R

E 1 → 1R

26

2)

 

 

 

 

 

x + y + 2,y > 3,

 

 

 

 

 

 

 

 

 

 

 

 

 

y

1,0 < y 3,

 

 

 

 

 

 

 

 

f (x, y) = x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1, y = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

№ 23.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) f(x) = ?

 

 

2)

 

 

 

 

 

ε → 1L

1 → 1R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y + z

,x < 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 → εR ε → 1R ε → 1E

 

 

x t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(x, y, z,t) = y + z + t,x 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y,x = 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

№ 24.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) f(x, y, z) = ?

 

 

 

 

 

 

 

2)

 

 

 

 

 

1 → 1R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε → 1L 1 → 1L

ε → 1E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

1 → 1E

 

 

 

 

 

 

 

1 → 1L

 

 

,y+ z

2,

 

 

 

 

 

 

 

→ 1R

 

 

 

 

 

 

 

 

f (x, y,z) = y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x,y+ z > 2.

 

 

 

 

 

 

 

 

ε → 1L

 

 

 

 

 

 

 

№ 25.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) f(x, y, z) = ?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε → εL → εL

 

1 → εR

 

 

 

 

 

 

 

 

1 → εR 1 → εR ε → εE

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→ 1L ε → εL

 

→ εR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

 

 

 

 

2)

 

 

 

 

 

 

 

0, x 1,

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

f (x, y, z) =

 

 

,x > 1&z

3,

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

x + y + z,x > 1&z > 3.

 

 

№ 26.

 

 

 

 

 

 

 

 

 

 

 

 

 

1) f(x, y, z) = ?

 

 

 

 

2)

 

 

1 → 1R

 

ε → εE

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→ 1R → 1R 1 → 1E

 

y 2,x 3,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x, y, z) = xy 1,x < 2,

 

 

 

 

 

 

 

 

 

 

 

1 → 1R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,x = 2.

№ 27.

 

 

 

 

 

 

 

 

 

 

 

 

 

1) f(x, y, z) = ?

 

 

 

 

2)

 

 

1 → εR

 

 

 

 

 

 

 

→ εR

 

 

 

 

→ εR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x +1,y > 4,

 

 

 

 

 

 

 

ε → εE

 

 

 

1 → εR

→ 1R

 

 

 

 

f (x, y) = x + y,3 y 4,

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

,y < 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 → 1R

 

 

 

 

 

y 2

 

 

 

 

 

 

 

 

 

 

№ 28.

1)f(x, y, z, t) = ?

→ 1R

→ 1R ε → εE

1 → 1R

1 → 1R

2)

x + y + 1

=

f (x, y, z) z 2x + y + z

,z 3,

2,z > 3.

28

№ 29.

1) f(x) = ?

ε → 1L ε → 1L

1 → εR

1 → εR

 

 

ε → 1L

№ 30.

1) f(x, y) = ?

1 → εR

ε → 1L ε → 1L

→ εR

31.

1)f(x, y, z, t) = ?

1 → 1R

ε → 1L ε → 1L

1 → 1E

→ 1R

32.

1)f(x, y, z) = ?

2)

x + y + 1,y 1, f (x, y, z) =

x + y z,y > 1.

2)

x + 2y + 1,y > 2, f (x, y, z) =

x y 1,y 2.

2)

 

x

 

 

,y 2,

 

f (x, y) =

y

+ >

x y,y 2.

29

ε → 1L 1 → 1R

1 → εRε → εE 1 → εL

 

L

 

→ 1R

 

 

 

2)

 

 

 

 

x

 

 

 

 

 

 

 

 

 

,y 2,

 

 

 

 

 

 

 

 

 

 

 

 

f (x, y) =

 

y

 

 

 

 

 

 

 

+ y +1,y > 2.

 

 

 

 

 

 

x

 

 

 

№ 33.

 

 

 

 

 

 

 

 

 

1) f(x, y, z) = ?

 

 

 

2)

 

 

 

1 → 1R

 

 

 

 

 

 

→ 1R → 1R

 

 

 

 

x, y > 4,

 

 

 

 

 

 

 

 

 

 

 

 

 

ε → εL

 

 

 

 

 

 

 

 

 

1 → εR

→ 1R

 

 

 

f (x, y) = x + y,3 y 4,

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,y < 3.

 

 

 

 

 

 

 

 

 

 

 

1 → 1R

 

y 1

 

 

 

 

 

 

2.4 Лабораторная работа № 4

Тема: Алгоритм Маркова. Синтез. Доказательство вычислимости функции по Маркову.

Цели и задачи работы: изучение логики работы алгоритма Маркова, разработка алгоритма Маркова, выполняющего вычисление функции.

Теоретические сведения о работе приведены в конспекте лекций, литературе [1-3].

Описание используемых средств для выполнения работы : операционная система Windows ХР/7, Visual Studio 2008-2010,

30

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]