Le reti logiche vengono suddivise in due grandi classi: le reti combinatorie e le reti sequenziali
SEQ (acronimo di SEQuenziale) è un programma adatto alla minimizzazione degli stati delle macchine sequenziali, il suo uso è indicato in particolar modo a ingegneri e progettisti