Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:matlogika_iva_VSE_varianty__33__33__33.doc
X
- •Доказательство
- •15 Задание №1
- •16 Задача №1.
- •Задача №2.
- •Задача №3.
- •Задача №4.
- •Задача №6.
- •Задача №7.
- •Задание №8.
- •Задание №1
- •Решение:
- •Задание №5
- •Решение:
- •Задание №6
- •Решение:
- •Задание №7
- •Задание №8
- •1 7 Задача №1.
- •Задача №2.
- •Задача №3.
- •Задача №4. Установить, выполнима ли следующая формула и если выполнима, то построить модель этой формулы .
- •Задача №5.
- •Задача №6. Методом резолюций проверить, противоречиво ли множество предложений
- •Задача №10.
- •Задача №11.
- •Задание №1
- •Решение:
- •Решение:
- •Задание №7
- •Решение:
- •Задание №1
- •Решение:
- •Решение:
- •Решение:
- •Решение:
- •Задание №5
- •Решение:
- •Решение:
- •Задание №8
Задание №8
Построить машины Тьюринга для вычисления функций.
x-y, при x>y
F(x,y) =
0, при xy
|
q1 |
q2 |
q3-qx-1 |
qx |
qy |
qy+1 |
qy+2-qy+n-1 |
qy+n |
0 |
|
Lq0 |
|
Rqy |
Lq0 |
Lqx-1q0 |
|
Lqy+n-1 |
1 |
Rq2 |
Rq3 |
Rq3-Rqx |
|
Rqy+1 |
Rqy+2 |
Rqy+2-Rqy+n |
|
|
qy+n-1 |
qx-1 |
qy+n-2 |
qx-2 |
… |
qy+1 |
qx-n+1 |
qx-n |
|
0 |
|
|
|
q0 |
|
|
q0 |
|
|
1 |
0Lqx-1 |
0Rqy+n-2 |
0Lqx-2 |
0Rqy+n-3 |
… |
0Lqx-n+1 |
0Lqx-n |
q0 |
|
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]