Text this: Introduction To The Theory Of Finite-State Machines