The termination of Nielsen transformations applied to word equations with length constraints

Benjamin Przybocki, Clark Barrett

Nielsen transformations form the basis of a simple and widely used procedure for solving word equations. We make progress on the problem of determining when this procedure terminat…