Subalgebras of FA-presentable algebras.

DOI10.1007/s00012-014-0293-0zbMath1321.08001arXiv1206.5548OpenAlexW2009230039MaRDI QIDQ466920

Alan J. Cain, Nikola Ruškuc

Publication date: 31 October 2014

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1206.5548

zbMATH Keywords

decision problemsregular languagesautomatic presentationsFA-presentationsfinitely generated subalgebrasunary FA-representable algebras

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Applications of universal algebra in computer science (08A70) Subalgebras, congruence relations (08A30) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Finite automata presentable Abelian groups
• FA-presentable groups and rings
• Automatic presentations for semigroups.
• Automaticity of ordinals and of homogeneous graphs
• Automatic structures
• Deciding the isomorphism problem in classes of unary automatic structures
• UNARY FA-PRESENTABLE SEMIGROUPS
• Unary automatic graphs: an algorithmic perspective
• Automatic linear orders and trees
• STACS 2005

This page was built for publication: Subalgebras of FA-presentable algebras.