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

Я ищу нетехническое объяснение разницы между механизмами DFA и NFA, основанное на их возможностях и ограничениях.

В моем генераторе лексического анализатора я использую алгоритм Макнотона и Ямады для построения NFA и одно из его свойств, заключающееся в переходе от I к J, отмеченному символом в позиции J. Таким образом, каждый узел NFA можно представить просто...

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

У меня есть язык {4^(w⋅g)34^(g)|w,g∈NAT} над алфавитом {0,1}. Мне нужно выяснить, является ли этот язык узнаваемым, разрешимым, свободным от контекста, регулярным или ни одним из них. Как мне это сделать или узнать? Спасибо

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

Я столкнулся с этим упражнением, думал об этом несколько часов и ни к чему не пришел. наш алфавит {1...n} , а наш язык Ln содержит все слова до Σ* , так что каждое слово в языке не содержит хотя бы одной буквы из алфавита. например: если...

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

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

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

Я сделал NFA, который делает из регулярных выражений 3d-массив, например (01*) выражение. Я понимаю: [[FROM,TO,TRANSITION]] [['q0', 'q1', '0'], ['q1', 'q2', ':e:'] ,['q1', 'q4', ':e:'] , ['q2', 'q3', '1'], ['q3', 'q2', ':e:'], ['q3',...

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