Я пытаюсь изучить некоторые аспекты Иерархии Хомского, связанные с языками программирования, и мне все еще нужно прочитать Книгу Дракона. Я читал, что большинство языков программирования можно анализировать как контекстно-свободную грамматику...

{WW} — разрешимый, но не свободный от контекста {WW^R} — свободный от контекста, но не в обычном языке Σ* — обычный язык Как определить, к какому классу они принадлежат?

Я много читал о машине Тьюринга и понимаю, как она работает, но чего я не могу понять (и чему ни одна из книг, кажется, не пытается научить), так это как мне подходить к проблеме, которую мне поручено решить? Я имею в виду: например, проверка того,...

Я пытаюсь выяснить временную сложность машины Тьюринга, которая принимает повторяющиеся строки (ww) в трех случаях: детерминированная машина с 1 лентой, детерминированная машина с 2 лентами и недетерминированная машина с 1 лентой. Сейчас мои мысли...

Язык L, состоящий из всех описаний машины Тьюринга M, для которых язык, принятый M, конечен. Я сказал, что L — разрешимый язык, потому что я могу просто запустить M для функции D(M), которая возвращает false, если существует цикл где-то между...

В статье о Прологе Википедии есть этот симулятор машины Тьюринга: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :-...

Докажите, что пересечение двух языков, разрешимых по Тьюрингу, является разрешимым по Тьюрингу. (Зная алгоритмы для определения каждого языка, опишите алгоритм для определения того, принадлежит ли строка пересечению.) Я знаю, что язык разрешим по...

У меня есть язык L1 = {w в {0,1}*| w содержит одинаковое количество единиц и нулей}, и у меня есть TM M, который определяет L1. Я хочу доказать, что L2 = {w в {0,1}*| w содержит больше единиц, чем нулей} является разрешимым по Тьюрингу. Я...

Является ли C++ полным по Тьюрингу языком? Очевидно, что так оно и есть, но как это доказать на практике? Есть ли минимально воспроизводимый пример, который показывает, что это так?