Пусть машины M_1 и M_2 вычисляют ф-ции f_1 : B -> {0, 1} и f_2 : B -> {0, 1}. Докажите, что существует МТ М, которая вычисляет дизъюнкцию f_1 ∨ f_2 этих функций.

задан 11 Мар 18:56

изменен 11 Мар 18:59

Что такое B? Сколько здесь переменных у функции?

(11 Мар 19:04) falcao
  • не отображается над B почему-то. B^*
(11 Мар 19:10) Икс

В принципе, этот факт также вытекает из более общих утверждений теории. Например, в курсах теории алгоритмов иногда вводят многоленточные машины Тьюринга, и доказывают, что они эквивалентны одноленточным. Тогда всё просто: на одной ленте вычисляем f1, на другой f2, а потом берём дизъюнкцию значений.

В принципе, возможно более прямое рассуждение, но оно всё равно будет содержать элементы предыдущего доказательства для частного случая.

(12 Мар 0:08) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×40

задан
11 Мар 18:56

показан
166 раз

обновлен
12 Мар 0:08

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru