Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic

James W. Thatcher, Jesse B. Wright. Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic. Theory Comput. Syst., 2(1):57-81, 1968.

Abstract

Abstract is missing.