これを行う方法がわからず、この操作を実行する方法についてオンラインで適切なリソースが見つかりませんでした[.] 2つの正規表現の違いである注釈付きのEBNF生成ルールを取得して、 a(na| f?)lex grammar specification rule[.] 問題は、これを通常どおり行う方法が見当たらないことです[.]{3} クリーネ代数を使用してこれを行う方法はありますか?文脈自由文法における代替との空の一致[?]
1 に答える
1
EBNF プロダクション ルールはどのように見えますか (それを EBNF で記述できますか?)
A\B正規表現間の集合の違いは、補数: A&~B: A に一致する文字列の集合であり、B に一致する文字列はありません。flex も alex も、正規表現言語でそのようなセマンティクスをサポートしていません。
この形式の式は依然として正規言語を示しているため、代替演算子と Kleene 演算子のみに基づいて正規表現が存在する同等のオートマトンがあります。この同等の式を見つけるのは簡単ではなく、A と B の特定の内部構造に依存します。つまり、A と B を一般的な正規表現式にプラグインして、結果がセットの差を示すようにすることはできません。元の A と B は集合差分正規表現には現れません。
于 2012-04-02T23:45:29.733 に答える