格子操作用の Java パッケージまたはアルゴリズムはありますか? 2 つのラティスをマージする、ラティスに要素を挿入する、ラティスの図を描くなど。
私はいくつかの正規言語 {L1,L2,L3......,Ln} を持っています。これらのオブジェクトのラティス ダイアグラムを作成したいのですが、Java での等価および包含などの正規言語の操作を既に実装していますが、ラティスの構築とラティス ダイアグラムの描画に関する Java パッケージが見つかりません。
(厳密には、LaMa4J http://vigna.dsi.unimi.it/LaMa4J/というパッケージを見つけましたが、このプロジェクトでは役に立たないようです)
さらに、格子理論に関する本をいくつか読みましたが、格子の構築、挿入操作、マージ操作などに関するアルゴリズムまたは puesudo コードを見つけることができます。