Il documento descrive il processo di sintesi comportamentale di reti sequenziali sincrone, delineando i passi per la realizzazione di diagrammi degli stati e tabelle delle transizioni. Viene analizzata la riduzione del numero di stati e l'ottimizzazione delle macchine a stati finiti, fornendo specifiche su vari comportamenti e strategie di navigazione in un labirinto. Inoltre, si discute l'assegnamento dei codici di stato e la costruzione di tabelle delle eccitazioni per implementazioni pratiche.