Transformations and translations from the point of view of generalized finite automata theoryJames W. Thatcher1969STOC 1969