Cover Image

Is decidability of the Submonoid Membership Problem closed under finite extensions?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Shafrir, Doron
Format:	Preprint
Published:	2024
Subjects:	Group Theory Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Sections of Submonoids of Nilpotent Groups
by: Shafrir, Doron
Published: (2024)

Bounded Generation of Submonoids of Heisenberg Groups
by: Shafrir, Doron
Published: (2024)

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations
by: Dong, Ruiwen
Published: (2024)

S-unit equations in modules and linear-exponential Diophantine equations
by: Dong, Ruiwen, et al.
Published: (2025)

On finite extensions of lamplighter groups
by: Bodart, Corentin
Published: (2025)

Membership problems in nilpotent groups
by: Bodart, Corentin
Published: (2024)

Membership and Conjugacy in Inverse Semigroups
by: Fleischer, Lukas, et al.
Published: (2025)

Geodesic languages for rational subsets and conjugates in virtually free groups
by: Carvalho, André, et al.
Published: (2024)

Presentation of monoids generated by a projection and an involution
by: Caron, Pascal, et al.
Published: (2024)

On linguistic subsets of groups and monoids
by: Carvalho, André, et al.
Published: (2025)

Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
by: Berdinsky, Dmitry
Published: (2016)

Equality of cycle lengths in one- and two-dimensional $σ$ automata
by: Vadali, Avi, et al.
Published: (2025)

Visibly Pushdown Languages in Groups
by: Ciobanu, Laura, et al.
Published: (2026)

The asymptotic size of finite irreducible semigroups of rational matrices
by: Kiefer, Stefan, et al.
Published: (2026)

Quantum finite automata and linear context-free languages: a decidable problem
by: Bertoni, A., et al.
Published: (2013)

Equations in wreath products
by: Bartholdi, Laurent, et al.
Published: (2024)

A language-theoretic approach to study the density of subsets in free groups
by: Carvalho, André
Published: (2026)

The rotating normal form of braids is regular
by: Fromentin, Jean
Published: (2016)

Idempotent cellular automata and their natural order
by: Castillo-Ramirez, Alonso, et al.
Published: (2024)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
by: Pshenitsyn, Tikhon
Published: (2025)

Graph and wreath products of cellular automata
by: Salo, Ville
Published: (2020)

Graph subshifts
by: Arrighi, Pablo, et al.
Published: (2023)

On the Complexity of Language Membership for Probabilistic Words
by: Amarilli, Antoine, et al.
Published: (2025)

The Identity Problem in virtually solvable matrix groups over algebraic numbers
by: Bodart, Corentin, et al.
Published: (2024)

On the order of lazy cellular automata
by: Alcalá-Arroyo, Edgar, et al.
Published: (2025)

Word equations, constraints, and formal languages
by: Ciobanu, Laura
Published: (2024)

Slice closures of indexed languages and word equations with counting constraints
by: Ciobanu, Laura, et al.
Published: (2024)

On Direct Product and Quotient of Strongly Connected Automata
by: Hu, Zino H.
Published: (2011)

On state complexity for subword-closed languages
by: Guyot, Jérôme
Published: (2024)

On Word Representations and Embeddings in Complex Matrices
by: Bell, Paul C., et al.
Published: (2026)

FocusE: A semantic extension of FocusST
by: Spichkova, Maria
Published: (2025)

The complexity of reachability problems in strongly connected finite automata
by: Kiefer, Stefan, et al.
Published: (2025)

The Expansion Problem for Infinite Trees
by: Blumensath, Achim
Published: (2023)

Approximate Problems for Finite Transducers
by: Filiot, Emmanuel, et al.
Published: (2025)

Saturation Problems for Families of Automata
by: Bohn, León, et al.
Published: (2025)

Word problems and embedding-obstructions in cellular automata groups on groups
by: Salo, Ville
Published: (2025)

On the Separability Problem of VASS Reachability Languages
by: Keskin, Eren, et al.
Published: (2024)

The Similarity Control Problem with Required Events
by: Wang, Yu, et al.
Published: (2026)

Resynchronized Uniformization and Definability Problems for Rational Relations
by: Löding, Christof, et al.
Published: (2021)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
by: Principato, Flavio T., et al.
Published: (2025)