2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/231468We give a simpler proof using automata theory of a recent result of Kapovich, Weidmann and Myasnikov according to which so-called benign graphs of groups preserve decidability of the generalized word problem. These include graphs of groups in which edge groups are polycyclic-by-finite and vertex groups are either locally quasiconvex hyperbolic or polycyclic-by-finite and so in particular chordal graph groups (right-angled Artin groups).Group Theory20E06, 20F10An automata theoretic approach to the generalized word problem in graphs of groupstext