Diagrama de Subconjuntos

Los diagramas de subconjuntos para el autómata $(4,1/2)$ regla $1B2D1E2D$ y su reflexión son:

Figura 6.4: Diagramas de subconjuntos del autómata $(4,1/2)$ regla $1B2D1E2D$ y su reflexión

Observemos en la Figura 6.4 que el diagrama de la regla original indica que el índice $R=1$ y el diagrama de la reflexión señala que el índice $L=4$. Obtener por medio de estos diagramas la máxima longitud de la mínima vecindad inversa no es un proceso tan directo como en el diagrama de parejas, se tiene que observar en cuantos pasos se alcanza el nivel de Welch desde las clases unitarias y por el momento no tenemos ningún criterio que nos explique como se da este comportamiento; podemos encontrar rutas que visiten niveles diferentes ya sea mayores o menores antes de llegar y estacionarse en las clases de Welch.