The concept of unreachable states in the context of finite state machines (FSMs) is of utmost importance. Finite state machines are mathematical models used to represent systems that exhibit a finite number of states and transitions between those states. These machines play a important role in various applications, including protocol design, software verification, and intrusion