Automatic linear orders and trees

@article{Khoussainov2005AutomaticLO,
  title={Automatic linear orders and trees},
  author={Bakhadyr Khoussainov and Sasha Rubin and Frank Stephan},
  journal={ACM Trans. Comput. Log.},
  year={2005},
  volume={6},
  pages={675-700}
}
We investigate partial orders that are computable, in a precise sense, by finite automata. Our emphasis is on trees and linear orders. We study the relationship between automatic linear orders and trees in terms of rank functions that are related to Cantor--Bendixson rank. We prove that automatic linear orders and automatic trees have finite rank. As an application we provide a procedure for deciding the isomorphism problem for automatic ordinals. We also investigate the complexity and… Expand
The Rank of Tree-Automatic Linear Orderings
TLDR
It is proved that the FC-rank of every tree-automatic linear ordering is below omega^omega, and an analogue for tree- automatic linear orderings where the branching complexity of the trees involved is bounded is shown. Expand
Tree-automatic scattered linear orders
TLDR
It is shown that there is no tree-automatic scattered linear order, and therefore no tree's automatic well-order, on the set of all finite labeled trees, and that a regular tree language admits a tree- automatic scattered linear orders if and only if for some n, no binary tree of height n can be embedded into the union of the domains of its trees. Expand
Tree-Automatic Well-Founded Trees
TLDR
It is shown that the isomorphism problem for tree-automatic well-founded trees is complete for level Delta^0_{omega^omega} of the hyperarithmetical hierarchy with respect to Turing-reductions. Expand
The model-theoretic complexity of automatic linear orders
TLDR
This thesis studies the model-theoretic complexity of automatic linear orders in terms of two complexity measures: the finite-condensation rank and the Ramsey degree. Expand
Automata on Ordinals and Linear Orders
TLDR
This work investigates structures recognizable by α-automata with running time a limit ordinal α and determines the suprema of the α-automatic ordinals and the ranks of α- automatic linear orders. Expand
The isomorphism problem for tree-automatic ordinals with addition
TLDR
An algorithm is described that, given two tree-automatic ordinals with the ordinal addition operation, decides if the ordinals are isomorphic. Expand
Theories of Automatic Structures and Their Complexity
  • D. Kuske
  • Mathematics, Computer Science
  • CAI
  • 2009
TLDR
It is recalled that first-order logic becomes elementary decidable for automatic structures of bounded degree and determined the data, the expression, and the combined complexity of quantifier-classes for first- order logic. Expand
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
TLDR
It is proved that the problem of whether a given tree automatic structure is already word automatic is decidable for tree automatic scattered linear orderings and in case of a positive answer a word automatic presentation is computable from the tree automatic presentation. Expand
Automata on ordinals and automaticity of linear orders
TLDR
A method for proving non-automaticity is described and this is applied to determine the optimal bounds for the ranks of linear orders recognized by finite state automata. Expand
Model-theoretic complexity of automatic structures
TLDR
The following results are proved: The ordinal height of any automatic well-founded partial order is bounded by ωω, and the ordinal heights of automaticWell-founded relations are unbounded below (ω1CK). Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 24 REFERENCES
Automatic structures
  • Achim Blumensath, E. Grädel
  • Computer Science
  • Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)
  • 2000
TLDR
This work determines the complexity of model checking and query evaluation on automatic structures for fragments of first-order logic and gives model-theoretic characterisations for automatic structures via interpretations. Expand
Some results on automatic structures
TLDR
This work reduces the problem of existence of an automatic presentation of a structure to that for a graph, and exhibits a series of properties of automatic equivalence structures, linearly ordered sets and permutation structures. Expand
Automatic structures: richness and limitations
TLDR
It is proven that the free Abelian group of infinite rank and many Fraisse limits do not have automatic presentations, and the complexity of the isomorphism problem for the class of all automatic structures is /spl Sigma//sub 1//sup 1/-complete. Expand
Automatic structures: richness and limitations
TLDR
It is proven that the free Abelian group of infinite rank and many Fraisse limits do not have automatic presentations, and the complexity of the isomorphism problem for the class of all automatic structures is /spl Sigma//sub 1//sup 1/-complete. Expand
LINEAR ORDERINGS
We say that a countable linear ordering L is countably complementable if there exists a linear ordering L, possibly uncountable, such that for any countable linear ordering B, L does not embed into BExpand
Is Cantor's Theorem Automatic?
  • D. Kuske
  • Mathematics, Computer Science
  • LPAR
  • 2003
TLDR
It is shown that the canonical presentation from [5] is automatic-homogeneous, any tuple can be mapped to any other tuple by an automatic automorphism, and that there are automatic linear orders that are not isomorphic to any regular subset of the canonicalpresentation. Expand
Definability and Regularity in Automatic Structures
TLDR
It is said that a relation R is intrinsically regular in a structure \(\mathcal{A}\) if it is FA recognisable in every automatic presentation of the structure. Expand
Theory of Recursive Functions and Effective Computability
Central concerns of the book are related theories of recursively enumerable sets, of degree of un-solvability and turing degrees in particular. A second group of topics has to do with generalizationsExpand
Sets recognized by n-tape automata
The n-tape automata studied here, bear a very close rcscmblancc to ordinary finite automata, since all n-tapes move simultaneously. This kind of tape action differs from that of the n-tape automataExpand
Automata theory and its applications
1. Basic Notions.- 1.1 Sets.- 1.2 Sequences and Tuples.- 1.3 Functions, Relations, Operations.- 1.4 Equivalence Relations.- 1.5 Linearly Ordered Sets.- 1.6 Partially Ordered Sets.- 1.7 Graphs.- 1.8Expand
...
1
2
3
...