Autómata Büchi generalizado etiquetado