What Is Finite State Machine Model