Определение, является ли регулярное выражение подмножеством другого

У меня есть большая коллекция регулярных выражений, которые при совпадении вызывают определенный обработчик http. Некоторые из старых регулярных выражений недоступны (например,a.c* ⊃ abc*) и я хотел бы обрезать их. Есть ли библиотека, которая ...

Почему {a ^ n a ^ n | n> = 0} обычный?

Я понимаю причину и доказательство того, почему

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

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

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

Чтобы убедиться: накачка леммы только для бесконечных регулярных языков?

составление минимального DFA для заданного регулярного выражения

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

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

Неоднозначность при переходе: как обработать строку в NFA?

Я сделал DFA из заданного регулярного выражения, чтобы соответствовать тестовой строке. Есть несколько случаев, когда

Нужно регулярное выражение для конечных автоматов: четное число 1 и четное число 0

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

Нужно регулярное выражение для конечных автоматов: четное число 1 и четное число 0

Моя проблема может звучать иначе для вас. Я начинающий, и я изучаю конечные автоматы. Я пытаюсь найти в Интернете регулярное выражение для конечных автоматов данной машины. Может кто-нибудь помочь мне написать «Регулярное выражение для ...