Automatic Structures: Overview and Future Directions.

Bakhadyr Khoussainov,Sasha Rubin

DOI: https://doi.org/10.25596/jalc-2003-287

2003-01-01

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.

What problem does this paper attempt to address?

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 ...
Automatic Structures and Groups

Bakhadyr Khoussainov

DOI: https://doi.org/10.1007/978-3-642-21254-3_2

2011-01-01

Abstract:Automata theory has unified many areas of computer science and mathematics. These include group theory (Thurston automatic groups [11], branch and self similar groups [1] [24]), computable model theory (the theory of automatic structures [5] [17] [16]), finite model theory, algorithms and decidability, logic, model checking and verification.
Three Lectures on Automatic Structures

Bakhadyr Khoussainov,Mia Minnes

DOI: https://doi.org/10.48550/arXiv.0809.3430

2008-09-20

Abstract: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 objects which can be represented by (word, tree, Buchi, or Rabin) automata. The study of properties of automatic structures is a relatively new and very active area of research.

Logic
Automatic Structures: Richness and Limitations

B Khoussainov,A Nies,S Rubin,F Stephan

DOI: https://doi.org/10.2168/lmcs-3(2:2)2007

2007-01-01

Logical Methods in Computer Science

Abstract:We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the relations by synchronised automata. Our first topic concerns characterising classes of automatic structures. We supply a characterisation of the automatic Boolean algebras, and it is proven that the free Abelian group of infinite rank, as well as certain Fraisse limits, do not have automatic presentations. In particular, the countably infinite random graph and the random partial order do not have automatic presentations. Furthermore, no infinite integral domain is automatic. Our second topic is the isomorphism problem. We prove that the complexity of the isomorphism problem for the class of all automatic structures is \Sigma_1^1-complete.
From Automatic Structures to Borel Structures

Greg Hjorth,Bakh Khoussainov,Antonio Montalban,Andre Nies

DOI: https://doi.org/10.1109/lics.2008.28

2008-01-01

Abstract:We study the classes of Büchi and Rabin automatic structures. For Büchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relations, including the equality relation, and graphs of operations are recognized by Büchi (Rabin) automata. A Büchi (Rabin) automatic structure is injective if different infinite strings (trees) represent different elements of the structure. The first part of the paper is devoted to understanding the automata-theoretic content of the well-known Löwenheim-Skolem theorem in model theory. We provide automata-theoretic versions of Löwenheim-Skolem theorem for Rabin and Büchi automatic structures. In the second part, we address the following two well-known open problems in the theory of automatic structures: Does every Büchi automatic structure have an injective Büchi presentation? Does every Rabin automatic structure have an injective Rabin presentation? We provide examples of Büchi structures without injective Büchi and Rabin presentations. To answer these questions we introduce Borel structures and usesome of the basic properties of Borel sets and isomorphisms. Finally, in the last part of the paper we study the isomorphism problem for Büchi automatic structures.
Semiautomatic Structures

Sanjay Jain,Bakhadyr Khoussainov,Frank Stephan,Dan Teng,Siyuan Zou

DOI: https://doi.org/10.1007/s00224-017-9792-7

IF: 0.616

2017-01-01

Theory of Computing Systems

Abstract:Semiautomatic structures generalise automatic structures in the sense that for some of the relations and functions in the structure one only requires the derived relations and functions are automatic when all but one input are filled with constants. One can also permit that this applies to equality in the structure so that only the sets of representatives equal to a given element of the structure are regular while equality itself is not an automatic relation on the domain of representatives. It is shown that one can find semiautomatic representations for the field of rationals and also for finite algebraic field extensions of it. Furthermore, one can show that infinite algebraic extensions of finite fields have semiautomatic representations in which the addition and equality are both automatic. Further prominent examples of semiautomatic structures are term algebras, any relational structure over a countable domain with a countable signature and any permutation algebra with a countable domain. Furthermore, examples of structures which fail to be semiautomatic are provided.
Model Theoretic Complexity of Automatic Structures

Bakhadyr Khoussainov,Mia Minnes

DOI: https://doi.org/10.48550/arXiv.0809.3425

2008-09-20

Abstract:We study the complexity of automatic structures via well-established concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks of structures, and Cantor-Bendixson ranks (of trees). We prove the following results: 1) The ordinal height of any automatic well- founded partial order is bounded by \omega^\omega ; 2) The ordinal heights of automatic well-founded relations are unbounded below the first non-computable ordinal; 3) For any computable ordinal there is an automatic structure of Scott rank at least that ordinal. Moreover, there are automatic structures of Scott rank the first non-computable ordinal and its successor; 4) For any computable ordinal, there is an automatic successor tree of Cantor-Bendixson rank that ordinal.

Logic
Finite automata over structures

Aniruddh Gandhi,Bakhadyr Khoussainov,Jiamou Liu

DOI: https://doi.org/10.1007/978-3-642-29952-0_37

2012-01-01

Abstract:We introduce a finite automata model for performing computations over an arbitrary structure $\mathcal S$ . The automaton processes sequences of elements in $\mathcal S$ . While processing the sequence, the automaton tests atomic relations, performs atomic operations of the structure $\mathcal S$ , and makes state transitions. In this setting, we study several problems such as closure properties, validation problem and emptiness problems. We investigate the dependence of deciding these problems on the underlying structures and the number of registers of our model of automata. Our investigation demonstrates that some of these properties are related to the existential first order fragments of the underlying structures.
Recent advances in configurations in spatial structures

Yao zhi Luo

DOI: https://doi.org/10.1504/IJSTRUCTE.2010.033490

2010-01-01

International Journal of Structural Engineering

Abstract:This paper presents a summary of the author's recent work on the configuration of spatial structures. To better satisfy architecture and engineering requirements, the paper introduces a technique of reconstructing freestyle 3D objects with grid space structures. With this technique, irregular and complex configurations can be easily modelled, which has a great potential in modelling of sculptures and bionic structures. Then several new types of deployable structures, which are based on linkage mechanisms including Bricard linkages and double chain linkages, are proposed. The kinetic behaviour of these deployable structures is investigated by geometrical analysis. And their possible applications in retractable roofs are also explored. Meanwhile, the paper proposes a practical application of structures with changeable configurations – a novelty erection technology based on expandable mechanisms. Finally, the paper presents some new advances in form-finding of tensegrity structures and shape control of tensegrity structures.
Definability and Regularity in Automatic Structures

Bakhadyr Khoussainov,Sasha Rubin,Frank Stephan

DOI: https://doi.org/10.1007/978-3-540-24749-4_39

2004-01-01

Abstract:An automatic structure A is one whose domain A and atomic relations are finite automaton (FA) recognisable. A structure isomorphic to A is called automatically presentable. Suppose R is an FA recognisable relation on A. This paper concerns questions of the following type. For which automatic presentations of A is (the image of) R also FA recognisable? To this end we say that a relation R is intrinsically regular in a structure A if it is FA recognisable in every automatic presentation of the structure. For example, in every automatic structure all relations definable in first order logic are intrinsically regular. We characterise the intrinsically regular relations of some automatic fragments of arithmetic in the first order logic extended with quantifiers There Exists(infinity) interpreted as 'there exists infinitely many', and There Exists((i)) interpreted as 'there exists a multiple of i many'.
Automatic structures and the problem of natural well-orderings

Lev D. Beklemishev,Fedor N. Pakhomov

2024-07-14

Abstract:We explore the idea of using automatic and similar kind of presentations of structures to deal with the conceptual problem of natural proof-theoretic ordinal notations. We conclude that this approach still does not meet the goals.

Logic
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.

Rod Downey,Bakhadyr Khoussainov,Dietrich Kuske,Markus Lohrey,Moshe Y. Vardi

2007-01-01

Abstract:One of the important research fields of theoretical and applied computer science and mathematics is the study of algorithmic, logical and model theoretic properties of structures and their interactions. By a structure we mean typical objects that arise in computer science and mathematics such as data structures, programs, transition systems, graphs, large databases, XML documents, algebraic systems including groups, integers, fields, Boolean algebras and so on.
Decision Problems For Finite Automata Over Infinite Algebraic Structures

Bakhadyr Khoussainov,Jiamou Liu

DOI: https://doi.org/10.1007/978-3-319-40946-7_1

2016-01-01

Abstract:We introduce the concept of finite automata over algebraic structures. We address the classical emptiness problem and its various refinements in our setting. In particular, we prove several decidability and undecidability results. We also explain the way our automata model connects with the existential first order theory of algebraic structures.
From Automatic Structures to Automatic Groups

Olga Kharlampovich,Bakhadyr Khoussainov,Alexei Miasnikov

DOI: https://doi.org/10.4171/ggd/221

2014-01-01

Groups Geometry and Dynamics

Abstract:In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy many nice properties: these group are invariant under the change of generators, they are closed under direct and free products, certain types of amalgamated products, and finite extensions. Furthermore, the Word Problem in graph automatic groups is decidable in quadratic time. However, the class of graph automatic groups is much wider then the class of automatic groups. For example, we prove that all finitely generated 2-nilpotent groups and Baumslag-Solitar groups B(1,n) are graph automatic, as well as many other metabelian groups.
On Automata with Boundary

R. Gates,P. Katis,N. Sabadini,R.F.C. Walters

DOI: https://doi.org/10.48550/arXiv.cs/0002008

2000-02-16

Abstract:We present a theory of automata with boundary for designing, modelling and analysing distributed systems. Notions of behaviour, design and simulation appropriate to the theory are defined. The problem of model checking for deadlock detection is discussed, and an algorithm for state space reduction in exhaustive search, based on the theory presented here, is described. Three examples of the application of the theory are given, one in the course of the development of the ideas and two as illustrative examples of the use of the theory.

Distributed, Parallel, and Cluster Computing
On Automatic Transitive Graphs.

Dmitry Berdinsky,Bakhadyr Khoussainov

DOI: https://doi.org/10.1007/978-3-319-09698-8_1

2014-01-01

Abstract:We study infinite automatic transitive graphs. In particular we investigate automaticity of certain Cayley graphs. We provide examples of infinite automatic transitive graphs that are not Cayley graphs. We prove that Cayley graphs of Baumslag–Solitar groups and the restricted wreath products of automatic transitive graphs with ℤ are automatic.
Better Automata through Process Algebra

Rance Cleaveland

DOI: https://doi.org/10.48550/arXiv.2002.07562

2020-02-18

Abstract:This paper shows how the use of Structural Operational Semantics (SOS) in the style popularized by the process-algebra community can lead to a more succinct and useful construction for building finite automata from regular expressions. Such constructions have been known for decades, and form the basis for the proofs of one direction of Kleene's Theorem. The purpose of the new construction is, on the one hand, to show students how small automata can be constructed, without the need for empty transitions, and on the other hand to show how the construction method admits closure proofs of regular languages with respect to other operators as well. These results, while not theoretically surprising, point to an additional influence of process-algebraic research: in addition to providing fundamental insights into the nature of concurrent computation, it also sheds new light on old, well-known constructions in automata theory.

Formal Languages and Automata Theory
An uncountable Furstenberg–Zimmer structure theory

ASGAR JAMNESHAN

DOI: https://doi.org/10.1017/etds.2022.43

2022-06-22

Ergodic Theory and Dynamical Systems

Abstract:Furstenberg–Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure-preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional setting, where such dichotomy is established relative to a factor and conditional analogs of those algebraic and geometric descriptions are sought. Although the unconditional dichotomy and the characterizations are known for arbitrary systems, the relative situation is understood under certain countability and separability hypotheses on the underlying groups and spaces. The aim of this article is to remove these restrictions in the relative situation and establish a Furstenberg–Zimmer structure theory in full generality. As an independent byproduct, we establish a connection between the relative analysis of systems in ergodic theory and the internal logic in certain Boolean topoi.

mathematics, applied
Elementary fractal geometry. 4. Automata-generated topological spaces

Christoph Bandt

2024-06-14

Abstract:Finite automata were used to determine multiple addresses in number systems and to find topological properties of self-affine tiles and finite type fractals. We join these two lines of research by axiomatically defining automata which generate topological spaces. Simple examples show the potential of the concept. Spaces generated by automata are topologically self-similar. Two basic algorithms are outlined. The first one determines automata for all $k$-tuples of equivalent addresses from the automaton for double addresses. The second one constructs finite topological spaces which approximate the generated space. Finally, we discuss the realization of automata-generated spaces as self-similar sets.

Metric Geometry,Dynamical Systems,Number Theory
Automatic Equivalence Structures of Polynomial Growth.

Moses Ganardi,Bakhadyr Khoussainov

DOI: https://doi.org/10.4230/lipics.csl.2020.21

2020-01-01

Abstract:In this paper we study the class EqP of automatic equivalence structures of the form 𝔈=(D, E) where the domain D is a regular language of polynomial growth and E is an equivalence relation on D. Our goal is to investigate the following two foundational problems (in the theory of automatic structures) aimed for the class EqP. The first is to find algebraic characterizations of structures from EqP, and the second is to investigate the isomorphism problem for the class EqP. We provide full solutions to these two problems. First, we produce a characterization of structures from EqP through multivariate polynomials. Second, we present two contrasting results. On the one hand, we prove that the isomorphism problem for structures from the class EqP is undecidable. On the other hand, we prove that the isomorphism problem is decidable for structures from EqP with domains of quadratic growth.

Automatic Structures: Overview and Future Directions.

Some Thoughts On Automatic Structures

Automatic Structures and Groups

Three Lectures on Automatic Structures

Automatic Structures: Richness and Limitations

From Automatic Structures to Borel Structures

Semiautomatic Structures

Model Theoretic Complexity of Automatic Structures

Finite automata over structures

Recent advances in configurations in spatial structures

Definability and Regularity in Automatic Structures

Automatic structures and the problem of natural well-orderings

07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.

Decision Problems For Finite Automata Over Infinite Algebraic Structures

From Automatic Structures to Automatic Groups

On Automata with Boundary

On Automatic Transitive Graphs.

Better Automata through Process Algebra

An uncountable Furstenberg–Zimmer structure theory

Elementary fractal geometry. 4. Automata-generated topological spaces

Automatic Equivalence Structures of Polynomial Growth.