12 citations · 64 across the 32 of their papers we have counts for
5 papers · 1 filter
Solution sets for equations over free groups are EDT0L languages
Laura Ciobanu, Volker Diekert, Murray Elder
We show that, given an equation over a finitely generated free group, the set of all solutions in reduced words forms an effectively constructible EDT0L language. In particular, th…
More Than 1700 Years of Word Equations
Volker Diekert
Geometry and Diophantine equations have been ever-present in mathematics. Diophantus of Alexandria was born in the 3rd century (as far as we know), but a systematic mathematical st…
A Note on Monitors and Büchi automata
Volker Diekert, Anca Muscholl, Igor Walukiewicz
When a property needs to be checked against an unknown or very complex system, classical exploration techniques like model-checking are not applicable anymore. Sometimes a~monitor…
Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version
Laura Ciobanu, Volker Diekert, Murray Elder
We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed languag…
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem
Volker Diekert, Alexei G. Myasnikov, Armin Weiß
In various occasions the conjugacy problem in finitely generated amalgamated products and HNN extensions can be decided efficiently for elements which cannot be conjugated into the…