sobre automatas ( representado por un grafo ).......