automata

0зной

1ответ

Как создать регулярное выражение, используемое для поиска шаблона, вместо проверки шаблона?

Как мы узнали, учитывая шаблон регулярного выражения (например, A B A B A C), мы можем преобразовать его в DFA. В этом примере это будет похоже на цепочку (вы можете проверить ее here). Этот «цепной»

0зной

2ответ

Копирование элементов из вектора на основе условия C++

Я использую C++ для создания алгоритма Hopcroft для минимизации DFA. Часть алгоритма Хопкрофта состоит из: - изначально - делить два набора (P с состояниями accept и non-accept и Q с состояниями, не п

0зной

1ответ

Описывая действие машина Тьюринга

Я пытаюсь ответить на третью часть на следующий вопрос: я нарисовал следующую диаграмму состояний: В соответствии с решением машина «добавляет 1 к двоичному числу с наименее значимым битом в крайнем л

4зной

2ответ

Регулярное выражение для DFA

Может ли кто-нибудь сказать мне, соответствует ли прилагаемый DFA? Я полагаю, чтобы дать DFA для языка, который имеет алфавит Е = {а, Ь} мне нужно DFA для этого ----> A = {ε, B, AB}

0зной

3ответ

Как работает LR Automaton?

В этом LR (0) автомат Есть переходы для некурящих терминалов, а также, что я не понимаю. Если входной сигнал aab. Затем вы попадете в состояние, которое равно A->a·. Если бы вы визуализировали состоян

2зной

1ответ

Используя условие 3 насосной леммы доказать неправильность

Итак, я шел через книгу Sipser по теории вычислений, и один из упражнений: Пусть В языке {0^n1^n | n≥0}. Доказательство B не является регулярным. Книга продолжает давать доказательство, используя лемм