Finite state automata in java