scientific article; zbMATH DE number 2040323

MaRDI QIDQ4449538zbMATH OpenFDO

Authors Bakhadyr Khoussainov, Sasha Rubin

Publication date 11 February 2004

zbMATH Keywords

automatic presentationsmodel theorysynchronous \(n\)-tape automata

Mathematics Subject Classification ID

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

Recommendations

• Automata Presenting Structures: A Survey of the Finite String Case
• Automatic structures and groups
• Theories of Automatic Structures and Their Complexity
• Automatic Structures: Richness and Limitations
• Automatic structures: twenty years later

Cited in

(22)

• Graphs are not universal for online computability
• Automatic structures
• The isomorphism problem for tree-automatic ordinals with addition
• Automatic structures and the theory of lists
• Robust learning of automatic classes of languages
• Finite automata over structures (extended abstract)
• Automatic structures and groups
• Three lectures on automatic structures
• A Hierarchy of Automaticω-Words having a Decidable MSO Theory
• Left and Right Synchronous Relations
• Automatic models of first order theories
• Automatic a priori, a posteriori or appropriate determination of subassemblies
• Automatic structures: twenty years later
• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• A hierarchy of tree-automatic structures
• Finite automata presentable Abelian groups
• A discrete linear order with non-dense punctual degrees
• Defining algorithmically presented structures in first order logic
• The isomorphism relation between tree-automatic structures
• Title not available (Why is no real title available?)
• The growth ratio of synchronous rational relations is unique
• FA-presentable groups and rings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449538)