Some Thoughts On Automatic Structures

bakhadyr khoussainov,sasha rubin
2002-01-01
Abstract:Abstract: this paper is twofold. On the one hand, we present the theoryof automatic structures from the points of view of model theory, algebra, complexitytheory, and automata theory. On the other hand, we survey basic results and presentpossible directions for future research in the area. The theory of automatic structuresas such is relatively new though its roots go back to the beginning of the developmentsof finite automata theory. The term automatic structure in the sense presented in thispaper ...
What problem does this paper attempt to address?