Title: Introduction to the Theory of Finite-State Machines