Autor Tema: Máquina de estados finitos tipo Mealy

0 Usuarios y 1 Visitante están viendo este tema.

01 Febrero, 2019, 11:14 am
Leído 676 veces

martiniano

  • Moderador Global
  • Mensajes: 1,285
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola.

Antes de nada, no estoy seguro de que esta pregunta esté bien en este hilo.

Me dan el diagrama de estados correspondiente a una máquina de estados finitos tipo Mealy, en el que el estado inicial es el \( A \):



Las aristas del diagrama tienen una etiqueta con el formato entrada/salida. Me preguntan qué función implementa y si se puede implementar la misma función con sólo cuatro estados estados.

Yo a lo primero he contestado que detecta cadenas binarias del siguiente tipo:

\( 0\underbrace{1\ldots{1}}_{{2k+1}}001 \)

Y a lo segundo que no se puede construir con menos estados, pero no sé cómo se razona eso ni tampoco si está bien contestado.

Agradezco cualquier ayuda que podáis darme.

Un saludo.