automata

1зной

2ответ

Проверьте, соответствует ли 2 минимальных DFA

У меня есть 2 минимизированных DFA, и мне нужно проверить, эквивалентны ли они. Если они эквивалентны, проблема заключается в том, чтобы найти эффективное сравнение состояния независимо от разных мето

0зной

1ответ

Минимизация детерминированных конечных автоматов

Если у нас есть конечный автомат без конечных/принимающих состояний. Так что F пусто. Как вы минимизируете это? Я получил это к тесту, в котором меня попросили свести к минимуму автомат, но у него был

0зной

1ответ

Как мы можем доказать это с помощью доказательства индукцией?

Пусть G- следующая грамматика: S → T⊣ T → ТАТБ | TbTa | ε Показать, что L (G) = {w⊣ | w содержит равные числа a и b}, используя доказательство индукцией по длине w. Что можно предположить в этой ситуа

1зной

1ответ

Изготовление автомата изображения моей модели Promela

Я использую модель проверки SPIN GUI - iSPIN. GUI поставляется с красивым генератором представлений Automaton, однако для того, чтобы увидеть полный автомат, мне нужно увеличить/уменьшить масштаб. Так

0зной

2ответ

Доказательство того, что язык является регулярным или нерегулярным с использованием леммы накачки?

Может ли один помочь выяснить, что L = {а м б п, м ≥ п + 2, м ≤ 3} является регулярным или не используя насосное лемму, кажется, немного трудно доказать. Я попытался использовать лемму накачки, и это

0зной

1ответ

Является ли следующая языковая контекстная свободная грамматика?

При n> = 0, является ли данная грамматика (a^na^na^n) контекстом свободной? Я пробовал использовать лемму накачки, и результат был, нет, это не контекст.

2зной

1ответ

Как преобразовать эту грамматику в LL (1)?

S → Y | 1X X → 1X | 0 Y → Y 0 | 1X1 | 2X2 Я не понимаю, как делать факторинг или замену, когда есть более одного символа. Благодарю вас.