This is a preview. Log in through your library . Abstract We give a simpler proof using automata theory of a recent result of Kapovich, Weidmann and Myasnikov according to which so-called benign ...