[af]? Lex регулярное выражение разницы

Question

Я не знаю, как это сделать, и я не нашел хороших ресурсов в Интернете для того, как выполнять эту операцию. [.] Я пытаюсь принять аннотированное правило производства EBNF что является разницей между двумя регулярными выражениями и превращает их в правило спецификации (грамматики) lex-грамматики (na | f?) [.] Проблема заключается в том, что я не вижу возможности нормально это делать [.] {3} есть ли способ сделать это с помощью Клини алгебры, как и то, как вы можете использовать пустой матч с чередованием в контекстно-свободной грамматики [?]

Answer 1

что правило производства EBNF выглядеть (и вы можете написать, что в EBNF?)

Установленное различие A\B между регулярными выражениями равнозначно nt к пересечению с дополнением: A&~B: набор строк, соответствующих A, лишенный любых строк, сопоставленных B. Ни гибкость, ни поддержка alex не поддерживают такую ​​семантику на их языках регулярного выражения.

Выражение этой формы по-прежнему обозначает обычный язык и, следовательно, имеет эквивалентный автомат, для которого существует регулярное выражение, основанное только на операторах чередования и Kleene. Это эквивалентное выражение нелегко найти, и оно зависит от конкретных внутренних элементов A и B. То есть мы не можем просто подключить A и B к некоторой общей формуле регулярных выражений, чтобы результат означал множество разностей. Оригинальные A и B не будут отображаться в заданном разностном регулярном выражении.