turing-machines

2зной

1ответ

Я хочу знать, распознана ли проблема корреспонденции (PCP). Я научился демонстрировать неразрешимость PCP. Я думал использовать подобный подход для распознавания, например, для рассмотрения MPCP и пок

-1зной

2ответ

Теория вычислений. Машина Тьюринга

Click here for the answer. Turing Machine Вопрос заключается в том, чтобы построить машину Тьюринга, которая принимает регулярное выражение, L = {а^п б^п | n> = 1}. Я не уверен, что мой ответ правильн

0зной

3ответ

В чем разница между согласованием и параллелизмом?

Я столкнулся с определением Dovetailing, о котором я не слышал раньше, и первое, что мне пришло в голову, было Concurrency. Однако я не мог найти ни одного сообщения, касающегося этих двух концепций.

1зной

1ответ

Не удается понять решение (Тьюринговая машина и ее сокращение)

Please click this to see my problem Hi. Об этом вопросе, я просто не могу понять его решение. Мы знаем дополнение Атм = {<M,W>: М ТМ и М не принимает W} и RTm, как описано в фото = {<M,W>: М Т.М., что

0зной

1ответ

Невозможно создать алгоритм разрешимого языка

L2 = {<M> : M is a TM and there exists an input string w such that M halts within 10 steps on input w} Привет. Я создаю алгоритм, чтобы показать выше L2 разрешима. И подсказка дается следующим образ