title: lattice operation and building a lattice
body: <p>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.</p>
  
  <p>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.</p>
  
  <p>(Strictly speaking, I find a package called LaMa4J <a href="http://vigna.dsi.unimi.it/LaMa4J/" rel="nofollow">http://vigna.dsi.unimi.it/LaMa4J/</a>, but it seems useless for this project)</p>
  
  <p>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.</p>