Programa del ejemplo de autómata y relacional