Resumen autómatas y rdp (con ejemplos).pdf