Finite State Automatificator