Introduction to the Theory of Finite-State Machines | doi.page