Pentru o "bază" a ciclurilor (de care adusesem vorba anterior) se poate pleca de la un arbore de acoperire al grafului: mulțimea ciclurilor care se formează de fiecare dată când adăugăm arborelui un arc dintre cele rămase în afară, constituie un "set de cicluri fundamentale".
Lucrurile depind totuși de ce vrem prin "graf" (neorientat conex; digraf conex, tare-conex ?) și de ce înseamnă "cicluri" (ciclu, "semiciclu", și una și alta, circuit, semicircuit ?).
Ca și în realitate… toate cele depind de orientarea asumată!

Trebuie să ne bazăm pe anumite cicluri, nu pe toate? pe cicluri, sau doar pe circuite? O mică investigație empirică (pentru M=7)…

Proprietăți ale tranzițiilor "automatului modulo M".

Clarificări asupra "automatului modulo M" (urmărind până la urmă, caracterizarea printr-o expresie regulată a multiplilor unui număr dat).

Un "automat binar modulo M" generează formele binare (peste alfabetul {0,1}) ale numerelor naturale, clasificându-le după resturile împărțirii la M; încercăm să formulăm limbajul binar al multiplilor de M (= 15).