Languages automata and logic
| Author(s) : | Wolfgang Thomas, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | This paper is a survey on logical aspects of finite automata. Central points are the connection between finite automata and monadic second-order logic, the Ehrenfeucht-Fraiss'e technique in the context of formal language theory, finite 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, |