Are there any java packages or algorithms for lattice operation? such as merge two lattices, insert a element to a lattice, draw the diagram for lattice.
I have some regular languages {L1,L2,L3......,Ln}, I want to build a lattice diagram for these object, I have already implemented some operation of regular language such as equivalent and containment in java, but I can't find any java package about building lattice and drawing the lattice diagram.
(Strictly speaking, I find a package called LaMa4J http://vigna.dsi.unimi.it/LaMa4J/, but it seems useless for this project)
In addition, I read some book about lattice theory, but I can find any algorithm or puesudo code about building a lattice , insert operation, merge operation etc.
