2.1.2. Introduction of Finite State Machine Notes | Theory of Computation BSC-CSIT | TU | TABFlux