Une image est donc équivalente à un automate, et les automates se représentent le plus souvent sous forme de graphe : un n ud par etat, et une flèche par transition.