Насосная лемма для обычного языка

У меня есть небольшая путаница в проверке, является ли данный язык регулярным или нет, используя лемму прокачки.Предположим, мы должны проверить:L. Язык, при...

Лево-линейная и праволинейная грамматика

Тьюринг во время компиляции C # 4.0 завершен?

Существует общеизвестный факт, чтоШаблоны C ++ завершены по Тьюрингу, CSS завершен (!) и чтоC # разрешение перегрузки является NP-сложным (даже без дженерико...

Каким будет DFA для регулярного выражения 0 (0 + 1) * 0 + 1 (0 + 1) * 1?

Самая низкая вычислительная сложность (Big-O)

Из этих алгоритмов я знаю, что Alg1 - самый быстрый, так как он равен n в квадрате. Далее будет Alg4, так как это n куб, а затем Alg2, вероятно, самый медлен...

Шейдеры графического процессора завершены?

Это подразумевает, что языки CFG не закрыты в дополнении.

CFG дополнения к L = {ww | w принадлежит {0,1} *}?

Является ли * b * регулярным?

Устранение левой рекурсии

У меня есть эта грамматика

Самая низкая вычислительная сложность (Big-O)

Из этих алгоритмов я знаю, что Alg1 - самый быстрый, так как он равен n в квадрате. Далее будет Alg4, так как это n куб, а затем Alg2, вероятно, самый медленный, поскольку он равен 2 ^ n (который, как предполагается, имеет очень низкую ...