Diseñar un AFPN que acepte el lenguaje formula_47