Finite State Machine Software