¡Buenas!
No me quedó claro por qué la salida y el estado siguiente del estado Q2 ,cuando la entrada es 11, es un don´t care.
Para el caso del diagrama de tiempos que hice ahí, si la salida del estado Q2 cuando la entrada es 11 no es 11, entonces no se estaría dando 1 pulso completo de 1 periodo reloj en S al recibir al menos 1 pulso en cada entrada, y en cuanto al estado siguiente, en la letra se pide que se sigan verificando los pulsos de las entradas para seguir generando los pulsos en S, por esto, ¿no tendría que volver al estado inicial?