Контрольная «Теория алгоритмов»

  • ID работы: 18392
  • Добавлена: 2023
  • Посл. изменения: 26-12-2023
  • Тип:  .
  • Предмет: Математика
  • Формат: docx

Цена: 1,000.00

Теория алгоритмов – вариант 03

№1. Перечислите свободные и связанные вхождения каждой из переменных в следующей формуле:

(«х)[(«z)(Р(x,z) → Q(y))Ù($y)(R(x,y,z))].

№2. Выяснить, будут ли равносильны следующие формулы:

(«х)(F(x) → G(x)) и («х)F(x) → («х)G(x).

№3. Привести к п.н.ф. следующую формулу логики предикатов:

В ≡ $х»уР(х,у) Ú $х»уQ(х,у).

№4. Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

F → G, F → (G → H), F ├ H.

№5. Машина Тьюринга задается следующей функциональной схемой:

             Q

A

q1 q2 q3
a0 q3 q1a0Л
1 q2a0Л q2 q3
* q0a0 q2 q3

Определите, в какое слово перерабатывает машина слово 1111*11, исходя из начального стандартного состояния.

№6. Нормальный алгоритм в алфавите А = {a, b} задается схемой:         ba → ab, ab → Λ. Примените его к слову abaabb.

50 ГЕНИАЛЬНЫХ СПОСОБОВ СПИСАТЬ НА ЭКЗАМЕНЕ / ШКОЛЬНЫЕ ЛАЙФХАКИ + КОНКУРС50 ГЕНИАЛЬНЫХ СПОСОБОВ СПИСАТЬ НА ЭКЗАМЕНЕ / ШКОЛЬНЫЕ ЛАЙФХАКИ + КОНКУРС

Отзывы

Отзывов пока нет.

Будьте первым кто оставил отзыв;

Ваш адрес email не будет опубликован. Обязательные поля помечены *


Заказать