У меня есть свободный от контекста язык, для которого мне нужно создать не зависящую от контекста...

Данная машина На самом деле я запутался между двумя вариантами cxa (bcxa + d) x cxa (bc+ d) x здесь...

Я работаю над Генетическим Алгоритмом, написанным на python для моей магистерской диссертации....

Пусть L (G) - язык, генерируемый контекстно-свободной грамматикой G. Является ли разрешимой...

В этом вопросе Может ли машина Тьюринга выполнить быструю сортировку? @ Андреа Асперти упомянула,...

PATH относится к вопросу о том, существует ли направленный путь от s до t в графе G. Я знаю, что...

Меня попросили доказать, является ли следующий набор разрешимым, полуразрешимым или недостижимым:...

Мне нужно доказать, что язык машин Тьюринга, который останавливается на каждом входе, не...

Мне нужно показать, что L = {w | M_w принимает 1x, если принимает 0x}, не является рекурсивным Я...

Мне нужно преобразовать этот конечный автомат в регулярные выражения путем преобразования DFA...

Я пробовал это S -> e (Epsilon) S -> SASBS S -> SBSAS A -> a B -> b Может ли кто-нибудь проверить,...

Интерпретировать строки как числа в Z ≥0 в двоичном формате (возможно, с ведущими нулями, здесь нет...

Я прочитал в книге (Хромкович, Сложность общения и параллельные вычисления), что существует...

У меня есть набор 'A', и я хочу показать, что он разрешим, однако обозначения набора меня смутили....

Существует ли какой-либо отдельный случай, когда дополнение рекурсивно перечислимого также...

Я пытаюсь понять эквивалентность между регулярными выражениями α и β, определенными ниже, но я...

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

Я хочу понять, если RE a ∗ ba ∗ ab ∗ такой же, как следующие конечные автоматы. Часть, в которой я...

Полагаю, X ^ n более эффективен.Кто-нибудь может объяснить? Спасибо.