Estimada:
Con respecto a tu primer consulta. La transición de q1 a q3 se realiza al momento de la recepción del 8vo bit, razón por la cual, para que se produzca, se debe recibir sync en 1.
El estado q3 existe únicamente para poder asegurar la permanencia de ready en 1 durante todo un ciclo. Por esa razón, sin importar el valor de sync, se debe viajar a q0 manteniendo ready en 1. Luego de llegar a q0, se espera a recibir el bit 0 de arranque, por eso el loop con sync = 1 .
Saludos!
Federico