c# - プログラムで X w/5 (Y || Z) を "X Y"~5 || に展開します。「X Z」~5

Question

X w/5 (Y || Z) to "X Y"~5 || のようなユーザーの検索式をプログラムで展開できるようにする必要があります。"X Z"~5
このようなことを行うために利用できる既存のライブラリはありますか? そうでない場合、どのようなアプローチが推奨されますか? このソリューションは、.NET 環境内に存在します。

Answer 1

必要なのは、操作できる抽象構文ツリーを作成するパーサーです。ここを見てください。

Answer 2

連接標準形http://en.wikipedia.org/wiki/Conjunctive_normal_formと選言標準形 http://en.wikipedia.org/wiki/Disjunctive_normal_form を確認してください。

実装できるアルゴリズムと Java 実装へのリンクがあります。