Finite State Machines (FSMs) are a fundamental concept in computational theory and are widely used in various fields, including computer science and cybersecurity. An FSM is a mathematical model of computation used to design both computer programs and sequential logic circuits. It is composed of a finite number of states, transitions between these states, and