Text this: Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines