The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Three Lectures on Automatic Structures
[article]
2008
arXiv
pre-print
This paper grew out of three tutorial lectures on automatic structures given by the first author at the Logic Colloquium 2007. We discuss variants of automatic structures related to several models of computation: word automata, tree automata, Buchi automata, and Rabin automata. Word automata process finite strings, tree automata process finite labeled trees, Buchi automata process infinite strings, and Rabin automata process infinite binary labeled trees. Automatic structures are mathematical
arXiv:0809.3430v1
fatcat:s5o3fh45bbf3dmo6ms3h6pjiia