Stack Finite State Machine