4 papers · 1 filter
Visibly Pushdown Languages in Groups
Laura Ciobanu, Daniel Turaev
In this paper we explore the connections between the class of Visibly Pushdown Languages () and the natural sets of words one can associate to a finitely generated gr…
Ordering groups and the Identity Problem
Corentin Bodart, Laura Ciobanu, George Metcalfe
In this paper, the Identity Problem for certain groups, which asks if the subsemigroup generated by a given finite set of elements contains the identity element, is related to prob…
Word equations, constraints, and formal languages
Laura Ciobanu
In this short survey we describe recent advances on word equations with non-rational constraints in groups and monoids, highlighting the important role that formal languages play i…
Effective equation solving, constraints and growth in virtually abelian groups
Laura Ciobanu, Alex Evetts, Alex Levine
In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show th…