THEORIE DES AUTOMATES ET DES LANGAGES, THEORIE DES GRAPHES