What Is Finite State Machine In Discrete Mathematics