Learn More
This paper is a survey on logical aspects of nite automata. Central points are the connection between nite automata and monadic second-order logic, the Ehrenfeucht-Fra ss e technique in the context of formal language theory, nite automata on !-words and their determinization, and a self-contained proof of the \Rabin Tree Theorem". Sections 5 and 6 contain(More)
When Ehrenfeucht introduced his game theoretic characterization of elementary equivalence in 1961, the rst application of these \Ehrenfeucht games" was to show that certain ordinals (considered as orderings) are indistinguishable in rst-order logic and weak monadic second-order logic. Here we review Shelah's extension of the method, the \composition of(More)