×

Automatic structures: Overview and future directions. (English) Zbl 1058.68070

Summary: The theory of automatic structures is presented in relation to model theory, algebra, complexity theory and automata theory. We survey basic results and present possible directions for future research in the area.

MSC:

68Q45 Formal languages and automata
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
03D05 Automata and formal grammars in connection with logical questions
03C57 Computable structure theory, computable model theory
PDF BibTeX XML Cite