Advice Automatic Structures and Uniformly Automatic Classes

@inproceedings{Zaid2017AdviceAS,
  title={Advice Automatic Structures and Uniformly Automatic Classes},
  author={Faried Abu Zaid and Erich Gr{\"a}del and Frederic Reinhardt},
  booktitle={CSL},
  year={2017}
}
We study structures that are automatic with advice. These are structures that admit a presentation by finite automata (over finite or infinite words or trees) with access to an additional input,called an advice. Over finite words, a standard example of a structure that is automatic with advice, but not automatic in the classical sense, is the additive group of rational numbers (Q,+). By using a set of advices rather than a single advice, this leads to the new concept of a parameterised… Expand
On the Complexity of Infinite Advice Strings
TLDR
The main results explore the connections between classes of advice automatic structures, MSO-transductions and two-way transducers and suggest a closer study of the resulting hierarchy over infinite words. Expand
Uniformly Automatic Classes of Finite Structures
TLDR
A method is developed to analyze the complexity of uniformly tree-automatic presentations, which allows us to give upper bounds for the runtime of the automata-based model checking algorithm on the presented class. Expand
Comparing the power of advice strings: a notion of complexity for infinite words
TLDR
The main results explore the connections between classes of advice automatic structures, MSO-transductions and two-way transducers and suggest a closer study of the resulting hierarchy over infinite words. Expand
AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
TLDR
This paper shows that the set of Turing machines that represent automata-presentable structures is ${\rm{\Sigma }}_1^1 $-complete and uses similar methods to show that there is no reasonable characterisation of the structures with a polynomial-time presentation in the sense of Nerode and Remmel. Expand
Second-Order Finite Automata
TLDR
It is shown that sets of sets of strings represented by second-order finite automata are closed under the usual Boolean operations, such as union, intersection, difference and even under a suitable notion of complementation, and emptiness of intersection and inclusion are decidable. Expand
Automatic Structures: Twenty Years Later
TLDR
This tutorial presents an introduction into the history and basic definitions of automatic structures, and surveys the achievements in the study of different variants ofautomatic structures. Expand
On the Width of Regular Classes of Finite Structures
TLDR
It is shown that the problem of counting satisfying assignments for a first-order logic formula in a structure of constant width is fixed parameter tractable when parameterized by the width parameter and can be solved in quadratic time with respect to the length of the input representation of the structure. Expand

References

SHOWING 1-10 OF 21 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
Finite Presentations of Infinite Structures: Automata and Interpretations
TLDR
The model checking problem for FO(∃ω), first-order logic extended by the quantifier “there are infinitely many”, is proved to be decidable for automatic and ω-automatic structures and appropriate expansions of the real ordered group. Expand
Automata-based presentations of infinite structures
TLDR
Algorithmic model theory aims to extend in a systematic fashion the approach and methods of finite model theory, and its interactions with computer science, from finite structures to finitely-presentable infinite ones. Expand
Automata Presenting Structures: A Survey of the Finite String Case
  • S. Rubin
  • Mathematics, Computer Science
  • Bulletin of Symbolic Logic
  • 2008
TLDR
The problems surveyed here include the classification of classes of structures with automatic presentations, the complexity of the isomorphism problem, and the relationship between definability and recognisability. Expand
Describing Groups
  • A. Nies
  • Computer Science
  • Bulletin of Symbolic Logic
  • 2007
TLDR
This paper surveys examples of FA-presentable groups, but also discusses theorems restricting this class, and gives examples of quasi-finitely axiomatizable groups, and considers the algebraic content of the notion. Expand
Transforming structures by set interpretations
TLDR
This paper investigates the expressive power of finite sets interpretations applied to infinite deterministic trees and finds that they can be used in the study of automatic and tree-automatic structures. Expand
Structures without Scattered-Automatic Presentation
TLDR
This paper proves the following limitations on the class of \(\mathfrak{L}\)-automatic structures for a fixed \(\ mathfrak {L}\) of finite condensation rank 1 + α. Expand
A Myhill-Nerode theorem for automata with advice
TLDR
The Myhill-Nerode theorem is refined to characterize the languages of finite strings that are accepted by automata with advice that have access to an additional fixed infinite string called an advice tape. Expand
Is Ramsey's theorem omega-automatic?
  • D. Kuske
  • Mathematics, Computer Science
  • STACS
  • 2010
TLDR
It is shown that every unc Countable omega-automatic graph contains an uncountable co-context-free clique or anticlique, but not necessarily a context-free (let alone regular) clique and anticlique. Expand
The Isomorphism Problem on Classes of Automatic Structures
Several new undecidability results on isomorphism problems for automatic structures are shown: (i) The isomorphism problem for automatic equivalence relations is \pi^0_1-complete. (ii) TheExpand
...
1
2
3
...