A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Languages, Automata, and Logic
[chapter]
1997
Handbook of Formal Languages
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 material presented in a lecture series to the \Final Winter School of AMICS" (Palermo, February 1996). A modi ed version of the paper will be
doi:10.1007/978-3-642-59126-6_7
fatcat:3ak2gtvtvnbbffvgeniim7f3mi