Вопросы по теме 'dfa'

Библиотека конечных автоматов, написанная на F#
Не могли бы вы порекомендовать библиотеку с открытым исходным кодом, написанную на F #, которая предоставляет общие типы для построения FA и основных алгоритмов (преобразование NFA в DFA, минимизация FA...)?
712 просмотров
schedule 22.06.2022

Механизмы DFA и NFA: в чем разница их возможностей и ограничений?
Я ищу нетехническое объяснение разницы между механизмами DFA и NFA, основанное на их возможностях и ограничениях.
31089 просмотров
schedule 17.02.2024

рисование минимального DFA для данного регулярного выражения
Каков прямой и простой подход к рисованию минимального DFA , который принимает тот же язык, что и данный Regular Expression(RE) . Я знаю, что это можно сделать с помощью: Regex ---to----► NFA ---to-----► DFA ---to-----► minimized DFA Но...
12959 просмотров
schedule 26.11.2023

L = {a^n b^m | n›m} правильный или неправильный язык?
У меня проблемы с решением/доказыванием этой проблемы. Любые идеи, пожалуйста?
40329 просмотров
schedule 11.02.2023

Может ли язык принимать бесконечные числа
У меня есть вопрос, может ли язык принимать бесконечные числа Я должен уменьшить Lempty до Linf where Lempty ={e|L(Pe) is null} Linf={e|L(Pe) is infinite} так я могу определить программу P, как это " input n Run Pe on 1...n for n...
168 просмотров

Построение временной сложности DFA непосредственно из регулярного выражения
Я хотел узнать временную сложность построения DFA из регулярного выражения непосредственно с помощью алгоритма 3.36 в книге драконов. Я был сбит с толку относительно того, сколько раз будет выполняться внешний цикл while? Как и в Dstates, как...
602 просмотров

Пересечение двух DFA, сколько состояний? Конечные состояния?
Рассмотрим следующие языки более = {0, 1}, A = {2 : w содержит 011 в качестве подстроки} B = язык, соответствующий регулярному выражению 0(0 + 1)*1 Пусть M(B) будет DFA, полученным преобразованием N(B) с использованием конструкции подмножества с...
951 просмотров
schedule 19.08.2023

Как преобразовать два пересекающихся DFA в минимальный DFA
У меня есть следующая проблема: есть два детерминированных конечных автомата, которые должны быть пересечены и преобразованы в один минимальный детерминированный конечный автомат . Есть ли алгоритм для этого? Я знаю, что могу создать...
671 просмотров
schedule 26.03.2023

конечный автомат помогите, не могу понять эту концепцию
Предположим, что конечный автомат достигает состояния s после обработки слова w. Как мы можем сказать, принадлежит ли w языку (или нет) автомата, если s является конечным или неконечным, а автомат является ДКА или НКА (4 случая). Это беспокоило...
107 просмотров
schedule 15.03.2024

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

Как конечные автоматы реализованы в коде?
Как реализовать dfa или nfa в коде Python? Какие есть хорошие способы сделать это в python? И используются ли они когда-нибудь в реальных проектах?
26478 просмотров
schedule 04.12.2023

Как я могу найти закрытие D FA
Пытаюсь реализовать закрытие D FA. Я успешно реализовал Union, Compliment Intersection, Subtraction и Concatenate D FA без использования N FA. Наш учитель не рассказал нам алгоритм поиска замыкания. Я попытался сделать это, объединив DFA сам с...
78 просмотров
schedule 16.05.2023

Минимизируйте DFA с безразличными переходами
У меня есть DFA ( Q , , , q 0 , F ) с некоторые переходы «все равно». Эти переходы моделируют символы, которые, как известно, не появляются во входных данных в некоторых ситуациях. Если выполняется любой такой переход, не имеет значения,...
486 просмотров
schedule 21.05.2023

как построить dfa, который распознает набор битовой строки, начинающейся с двух букв D?
Мне нужна помощь с этим решением, потому что я только начал изучать автоматизацию с конечным состоянием и не мог справиться с этой проблемой. означает ли вопрос, что я должен ввести 1101 1101, и если да, то как показать другое состояние, в которое...
70 просмотров

Как проще всего представить таблицу переходов DFA в коде C#?
Вот что я до сих пор делаю, так что в DFA у вас есть состояния и у вас есть переходы между этими состояниями, чтобы перейти от state A к state B , вы потребляете symbol ex: 'a' . Теперь я пытаюсь написать DFA transition function , который...
112 просмотров

Недетерминированные конечные автоматы {ab, abc}* в Python
Я пытался нарисовать этот недетерминированный конечный автомат: NFA с количеством состояний не более 3 для языка {ab, abc}*, и я пришел к решению на картинке ниже: Диаграмма NFA Проблема, похоже, заключается в логике кода, поскольку мой код...
141 просмотров
schedule 29.12.2022