Programmi di lethal.sf.net

LETHAL è una libreria Java per lavorare con automi di alberi finiti e siepi. Fornisce una grande varietà di operazioni e valutazioni della proprietà. Inoltre, la libreria viene fornita con un'interfaccia utente grafica di scr