2.5. Finite State Machines with Output Verbal Notes | Theory of Computation BSC-CSIT | TU | TABFlux