Automatic structures: overview and future directions

Authors:
Bakhadyr Khoussainov;Sasha Rubin
Affiliations:
Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, New Zealand;Department of Mathematics, University of Auckland, Private Bag 92019, Auckland, New Zealand
Venue:
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Year:
2003

Citing 9
Cited 12

Simple interpretations among complicated theories

Information Processing Letters
Automatic semigroups

Theoretical Computer Science
Graphs with automatic presentations over a unary alphabet

Journal of Automata, Languages and Combinatorics - Special issue: selected papers of the second internaional workshop on Descriptional Complexity of Automata, Grammars and Related Structures (London, Ontario, Canada, July 27-29, 2000)
Word Processing in Groups

Word Processing in Groups
Some Results on Automatic Structures

LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Characterizing Regular Languages with Polynomial Densities

MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
Automatic Presentations of Structures

LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
Automatic Structures

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
On Automatic Partial Orders

LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science

Automatic linear orders and trees

ACM Transactions on Computational Logic (TOCL)
The growth ratio of synchronous rational relations is unique

Theoretical Computer Science
Finite Automata Presentable Abelian Groups

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Sequential Automatic Algebras

CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Cellular Automata, Decidability and Phasespace

Fundamenta Informaticae - Non-Classical Models of Automata and Applications
Robust learning of automatic classes of languages

ALT'11 Proceedings of the 22nd international conference on Algorithmic learning theory
Invariants of automatic presentations and semi-synchronous transductions

STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Automatic presentations for finitely generated groups

STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
The growth ratio of synchronous rational relations is unique

DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Iterating invertible binary transducers

DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Invertible transducers, iteration and coordinates

CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Robust learning of automatic classes of languages

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.