Generalized finite automata theory with an application to a decision problem of second-order logicJ.W. ThatcherJ.B. Wright1968Mathematical Systems Theory