Generalized finite automata theory with an application to a decision problem of second-order logic J. W. ThatcherJ. B. Wright OriginalPaper Pages: 57 - 81