Finite State Machines Prof. Sirer COMP 303 Koç University Finite State Machines An electronic machine which has external inputs externally visible outputs internal state…