Categorizing Automata by W-Machine Programs
C. Y. Lee · Journal of the ACM · 1961
Using a simple program structure introduced in a paper by Hao Wang, it is possible to classify subclasses of Taring machines by the deletion of various types of instructions.A number of algorithms are given to show how one can convert internal descriptions of machines to classes of programs.*