4 papers
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…
Slice closures of indexed languages and word equations with counting constraints
Laura Ciobanu, Georg Zetzsche
Indexed languages are a classical notion in formal language theory. As the language equivalent of second-order pushdown automata, they have received considerable attention in highe…