Ayuda Informatica/matematica trabajo uni

[peyasgt]

A ver señores, mi querida mujer tiene un problemilla con un trabajo de la uni, y como se que aquí hay mucho máquina informático, a ver si alguien nos puede echar un cable.
Le dejo que escriba ella:

No se si alguien tiene mucha idea de Teoria de automatas y lenguajes formales...pero si alguien lo estuviera tocando o se acuerda o lo ha dado, me haria un favor ENORME!! estoy ya desesperada 

Tengo un ejercicio que me hacen construir un automata determinista i mínimo para las siguientes expresiones regulares:
R=a*+a*b(aa*b)*a*
S=(a+ba)*(λ+b)

He intentado empezar con la expresión S, y tengo los automatas diseccionados, no se como puedo "unirlos" y minimizarlos...y los apuntes que te dan en la uni a distancia son como una mierda, pero sin el como..... esto es lo que tengo de momento:

a -->
ba -->
(λ+b) -->

Es lo que tengo y no me muevo de ahí, no se juntarlos, ni tan siquiera estoy 100% segura de que este correcta la pequeña parte que tengo hecha.

Si algun/a entendido/a me pudiera echar un cable...ME SALVARIA!! 

Mil Gracias!!!!

[d_ggomez]

estamos trabajando en ello...
que es esa lambda?

[d_ggomez]

Sin saber lo que es lambda, yo creo que el S seria asi:

desempolvando los apuntes de TALF (nunca puede aprobarla..)



Podemos coger las a´s que queramos, o si no las ba´s que queramos y a eso le unimos o lambda o b para terminar...

En los deterministas no se pueden pasar varias letras en un mismo computo..

[Raw]

Pero que cohones es eso? Dios, si solo veo dibujos.......... Admiro algunas carreras la verdad ehh!!! 

[d_ggomez]

el R creo que es asi: estoy bastante seguro, pero para ver si es el minimo habria que minimizar que eso no se si lo habeis dado..



Si queremos cogemos solos a´s y terminamos, si no pues las a´s que queramos, le añadimos una b, y entramos en el bucle de a, todas las a´s que queremos y b. Este bucle todas las veces que queramos gracias a nuestro amigo Kleene xd, y por ultimo todas las a´s que queramos..

[d_ggomez]

Pero que cohones es eso? Dios, si solo veo dibujos.......... Admiro algunas carreras la verdad ehh!!! 

Raw!! esto es informatica computacional, son estados y el pc va de un estado a otro para hacer las cosas..muy a groso modo...en la asignatura PLG (procesadores de lenguaje) a partir de esto se hace un compilador...la verdad es que a mi no me mola mucho, nunca la aprobé, ya que esto es el principio de la asignatura anual...asi que imaginate. ahora me he pasado al grado y es optativa, aunque en mi facultad no y la tengo que hacer en el segundo cuatrimestre...

[d_ggomez]

Lambda no sera la transicion generalizada?? nuestra profe ponia una epsilon mayuscula. si es asi, en la 1º no hace falta poner esa flechita y el estado. pero entonces ya no son deterministas, si no, no deterministas con transiciones generalizadas....

la verdad es que si es asi, no tendria mucho sentido...

[d_ggomez]

de todas formas mende tambien estudia informatica, a ver que opina él...

[peyasgt]

Soy Vero, la novia de Peyasgt....

Ufff ufff, MUCHISIMAS GRACIAS!!!

Lambda es un lenguaje regular conocido, y (segun los apuntes) vendria a ser esto:



Me has dado el empujoncito que necesitaba, voy a ver si consigo desarrollar el ejercicio ahora que tengo esta gran ayuda!

Merci de nuevo!!!!!!   

[d_ggomez]

ya entiendo lo que es lambda, entonces te vale como te lo he puesto...
Me alegro que te haya servido de ayuda! si necesitas algo más (aunque sea de otra asignatura) ya sabes donde estoy!

un saludo!