КОНТРОЛЬНАЯ РАБОТА 1. Реализовать машину Тьюринга согласно варианту.4. На вход поступает последовательность из 0 и 1. Машина должна выдать 1, если не встречается комбинация 011 в данной последовательности и 0 – в противном случае. Пример 0001001. Машина выдает 1.КОНТРОЛЬНАЯ РАБОТА 2. Решить задачу ВЫПОЛНИМОСТЬ по варианту.ВАРИАНТЫ ЗАДАНИЙ

А.

1. Методом резолюций Робинсона.

2. Методом отсечения литер.

3. Методом групповых резолюций.

В. Варианты задачи ВЫПОЛНИМОСТЬ.

Прежде всего, договоримся, как кодируются дизъюнкты. Они кодируются последовательностью чисел, например, 1,-2,4,-6. Эта последовательность задает следующий дизъюнкт:  . В Вашем варианте будет представлено несколько дизъюнктов. Из п.А Вы выбираете метод и применяете его к Вашей задаче ВЫПОЛНИМОСТЬ. Вы должны показать работу метода по шагам с разъяснением.Вариант 4. -1,-2,-3

-2,3

3,5

3, -5

-3, -4

5,

4