Determinancy of sinking automata on infinite trees and inequalities between various Rabin's pair indices

This publication has 4 references indexed in Scilit:

• The complexity of automata and subtheories of monadic second order arithmetics
  Lecture Notes in Computer Science, 1981
• On ω-regular sets
  Information and Control, 1979
• Generalized finite automata theory with an application to a decision problem of second-order logic
  Theory of Computing Systems, 1968
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966