Pregunta 4 · Introducció als Computadors UPC 2013

Completa el grafo de estados de tipo Moore dibujando las transiciones y etiquetas correspondientes (x, y) sobre la estructura de estados proporcionada

Solución: Definición de estados (máquina de Moore): - E0 ($Err = 0$): Estado base o de coincidencia. Las entradas son iguales ($x = y$) o se acaba de iniciar una secuencia. - E1 ($Err = 0$): Se ha detectado un bit discrepante ($x \neq y$) aislado. Si el siguiente par coincide, se recupera la tolerancia; si vuelve a diferir, se confirma la condición de error. - E2 ($Err = 1$): Notificación de error tras dos discrepancias sucesivas. Actúa además como nuevo inicio de secuencia. Transiciones entre estados: - Desde E0: - Si coinciden ($xy = 00$ o $11$): permanece en E0. - Si difieren ($xy = 01$ o $10$): transita a E1. - Desde E1: - Si coinciden ($xy = 00$ o $11$): regresa a E0 (error aislado tolerado). - Si difieren de nuevo ($xy = 01$ o $10$): pasa a E2 (dos discrepancias consecutivas). - Desde E2: (Este ciclo procesa el primer bit de la nueva secuencia) - Si coinciden ($xy = 00$ o $11$): transita a E0. - Si difieren ($xy = 01$ o $10$): transita a E1.