Automatic presentations for finitely generated groups.

DOI10.1007/978-3-540-31856-9_57MaRDI QIDQ5710719zbMATH OpenOpenAlexFDO

Authors Graham Oliver, Richard M. Thomas

Publication date 2 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106485

zbMATH Keywords

automatic presentationsfinite automatafinitely generated groupsTuring machinesvirtually Abelian groups

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Formal languages and automata (68Q45)

Recommendations

• Automatically presented groups.
• Finite presentations of infinite structures: Automata and interpretations
• Automatic Structures: Richness and Limitations
• Automatic presentations for semigroups.
• From automatic structures to automatic groups.

Cited in

(23)

• Automaton semigroups
• Automatic presentations for semigroups.
• Learning pattern languages over groups
• The computable dimension of ordered abelian groups
• Automatic presentations and semigroup constructions
• Finitely generated groups are universal among finitely generated structures
• Finitely generated structures computable in polynomial time
• Lamplighter groups and automata
• Automatically presented groups.
• Cayley automatic groups and numerical characteristics of Turing transducers
• Learning pattern languages over groups
• Where automatic structures benefit from weighted automata
• Unary Automatic Graphs: An Algorithmic Perspective
• Describing Groups
• Automatic Presentations for Cancellative Semigroups
• Subalgebras of FA-presentable algebras.
• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• Tree-automatic well-founded trees
• Word automatic groups of nilpotency class 2
• Finite automata presentable Abelian groups
• Simple classes of automatic structures
• Word structures and their automatic presentations
• FA-presentable groups and rings

This page was built for publication: Automatic presentations for finitely generated groups.

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