A hierarchy of sets of infinite trees
暂无分享,去创建一个
[1] Wolfgang Thomas,et al. A Combinatorial Approach to the Theory of omega-Automata , 1981, Inf. Control..
[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[3] M. Rabin. Weakly Definable Relations and Special Automata , 1970 .
[4] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .
[5] John Doner,et al. Tree Acceptors and Some of Their Applications , 1970, J. Comput. Syst. Sci..
[6] Maurice Nivat,et al. Ensembles reconnaissables de mots biinfinis , 1982, STOC '82.
[7] Robert McNaughton,et al. Testing and Generating Infinite Sequences by a Finite Automaton , 1966, Inf. Control..