THEORIES OF AUTOMATA ON OMEGA-TAPES - SIMPLIFIED APPROACH

[1] DECISION METHODS IN THEORY OF ORDINALS [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1965, 71 (05) : 767 - &

[2] BUCHI JR, 1960, Z MATH LOGIK GRUNDLA, V6, P66

[3] BUCHI JR, 1962, 1960 P INT C LOG MET

[4] CHOUEKA Y, 1970, THESIS HEBREW U

[5] Elgot C.C., 1961, T AM MATH SOC, V98, P21

[6] TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON [J]. INFORMATION AND CONTROL, 1966, 9 (05): : 521 - +

[7] MCNAUGHTON R, 1960, T IRE, VEC9, P39

[8] MULLER DE, 1963, 4 P ANN S I EL EL EN

[9] RABIN M, 1972, REGIONAL C M

[10] DECIDABILITY OF SECOND-ORDER THEORIES AND AUTOMATA ON INFINITE TREES [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 141 (JUL) : 1 - &

[1] DECISION METHODS IN THEORY OF ORDINALS [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1965, 71 (05) : 767 - &

[2] BUCHI JR, 1960, Z MATH LOGIK GRUNDLA, V6, P66

[3] BUCHI JR, 1962, 1960 P INT C LOG MET

[4] CHOUEKA Y, 1970, THESIS HEBREW U

[5] Elgot C.C., 1961, T AM MATH SOC, V98, P21

[6] TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON [J]. INFORMATION AND CONTROL, 1966, 9 (05): : 521 - +

[7] MCNAUGHTON R, 1960, T IRE, VEC9, P39

[8] MULLER DE, 1963, 4 P ANN S I EL EL EN

[9] RABIN M, 1972, REGIONAL C M

[10] DECIDABILITY OF SECOND-ORDER THEORIES AND AUTOMATA ON INFINITE TREES [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 141 (JUL) : 1 - &