|
Non penso che esistano librerie apposta, io a prima vista realizzerei una classe stato che mantiene in una hasmap indicizzata per l'oggetto di input che porta ad una certa transizione, con valori gli stati a cui ogni transizione porta.
L'automa molto semplicemente avrebbe un campo statico che contiene lo stato iniziale, e gli eventuali metodi a cui passare gli input che richiamano lo stato attuale per sapere uscita e stato futuro.
|