[2009] [Primer Parcial] [Ejercicio 3] [Parte b]

[2009] [Primer Parcial] [Ejercicio 3] [Parte b]

de Cristina Beatriz Bermudez Roda -
Número de respuestas: 2

Hola!! tengo una duda con la solución de este ejercicio..

https://scontent-gru.xx.fbcdn.net/hphotos-xpa1/v/t1.0-9/11210474_10204094932989839_3287733748278497749_n.jpg?oh=f1eea0e167da95c79b3a7546cd0484ff&oe=55D9A32A

Yo construí el autómata mínimo y me quedo igual que en la solución, ahora cuando fui hallar las ecuaciones características me quedaron diferentes!

(por las dudas aclaro que me base en el algoritmo del practico 3)

por ejemplo

X0 = C0 | D00X0 | D01X1 | D02X2 | D03X3  de donde C0 es vacio porque q0  no es estado final y D00 = b y D01 = a

por ende a mi me quedo de la siguiente forma 

X0 = X1b | X2a que nada que ver con el X0 de la solución..

Debo tener un error conceptual pero no me estoy dando cuenta donde!

Agradezco alguna ayuda!!

Saludos :)  


En respuesta a Cristina Beatriz Bermudez Roda

Re: [Parcial 2009][Ej3.b]

de Diego Garat -

hola:

el sistema que mencionás, el del práctico 3, plantea las ecuaciones con las aristas _salientes_, y sirve para calcular la e.r.; las variables quedan a la derecha, como bien escribiste en la fórmula. tu ecuación sería:

X0 = X1b X1| X2a X2que nada que ver con el X0 de la solución..

el sistema planteado en la solución es el que utiliza las transiciones _entrantes_, y sirve para calcular las clases de equivalencia de RM e, indirectamente, la e.r. asociada; las variables, en este caso, quedan a la izquierda, como en la solución. hay un material complementario al respecto para leer.

saludos,

d.-