Saludos
Yo lo hice con 8 estados porque me pareció que era lo que se pegaba al método del curso. Se podía hacer también con un contador de 2, un demultiplexor y un contador de 1 que alterne cuando las luces son cada 2 segundos. Queda mucho mas simple.