ayuda con ejercicio de automatas

pues eso alguien me puede ayudar con el diseño de este automata?? tiene que cumplir los siguientes requisitos
Son las cadenas de a´s y b´s que no tienen subcadenas de a´s o b´s de longitud par.

Por ejemplo:
aab no pertenece al lenguaje, porque tiene la subcadena aa, que tiene longitud 2 y es par
abaaa sí pertenece al lenguaje, porque no tiene ninguna subcadena de a´s o b´s de longitud par (tiene 2 subcadenas de longitud 1 y otra de longitud 3, que son ambas impares
pueden haber todas las a y b que quieras....
Te ayudaría pero esta asignatura me toca repetirla asi que no ando muy fino con esto de los autómatas. [toctoc]
Creo que es asi:

Estados (Inicial, 1, 2, 3, 4)
Estados finales (1,2)

Transiciones:

Inicial con A => 1
Inicial con B => 2

1 con A => 3
1 con B => 2

2 con A => 1
2 con B => 3

3 con A => 1

4 con B => 2

Que te parece?
Te ayudaría pero no tengo ni idea de automatas xDD
darix escribió:Creo que es asi:

Estados (Inicial, 1, 2, 3, 4)
Estados finales (1,2)

Transiciones:

Inicial con A => 1
Inicial con B => 2

1 con A => 3
1 con B => 2

2 con A => 1
2 con B => 3

3 con A => 1

4 con B => 2

Que te parece?

darix me podrias poner el dibujo de como quedaria???? es que no lo veo la verdad
joder,habia entendido "ayuda con ejercito de automatas",y ya estaba pensando en algo raro xDD
hyrulen escribió:joder,habia entendido "ayuda con ejercito de automatas",y ya estaba pensando en algo raro xDD

jajajaja la otra vez que puse un ejercicio de estos paso lo mismo.

Un Saludo.
hyrulen escribió:joder,habia entendido "ayuda con ejercito de automatas",y ya estaba pensando en algo raro xDD


Exactamente igual que yo xD
Izcariel escribió:
hyrulen escribió:joder,habia entendido "ayuda con ejercito de automatas",y ya estaba pensando en algo raro xDD


Exactamente igual que yo xD


Yo venía a decir lo mismo jajaja. XD
franastor escribió:
darix escribió:Creo que es asi:

Estados (Inicial, 1, 2, 3, 4)
Estados finales (1,2)

Transiciones:

Inicial con A => 1
Inicial con B => 2

1 con A => 3
1 con B => 2

2 con A => 1
2 con B => 3

3 con A => 1

4 con B => 2

Que te parece?

darix me podrias poner el dibujo de como quedaria???? es que no lo veo la verdad


Asi:
Imagen

Los de dos redonditas son los estados finales, creo que se dibujaba asi todo
Esta mal, abaab es aceptado y no deberia..

Te adjunto el mio aver que tal xD

Adjuntos

teesala escribió:Esta mal, abaab es aceptado y no deberia..


A ver (en el mio):

Estado inicial (A) -> 1
1 (B) -> 2
2 (A) -> 1
1 (A) -> 3
3 (B) -> Error -> no aceptada

En el tuyo (sequencia aaaaa):
i (A) -> 1
1 (A) -> 3
3 (A) -> 3 (que no es final y no se puede salir de alli)

Nop :P
darix escribió:
teesala escribió:Esta mal, abaab es aceptado y no deberia..


A ver:

Estado inicial (A) -> 1
1 (B) -> 2
2 (A) -> 1
1 (A) -> 3
3 (B) -> Error -> no aceptada


con 'aa': con la primera 'a' va al estado 1 y con la segunda 'a' va al estado 3.
Ya luego con la 'b' que viene aceptaria y no deberia

Por no leer bien el mio tampoco va xD Luego lo arreglo xD
Cuela ?
Imagen

Edit: Parece que no :(, pero bueno, almenos el examen lo aprobé XD
teesala escribió:
darix escribió:
teesala escribió:Esta mal, abaab es aceptado y no deberia..


A ver:

Estado inicial (A) -> 1
1 (B) -> 2
2 (A) -> 1
1 (A) -> 3
3 (B) -> Error -> no aceptada


con 'aa': con la primera 'a' va al estado 1 y con la segunda 'a' va al estado 3.
Ya luego con la 'b' que viene aceptaria y no deberia


Una vez estas en el estado 3, solo puedes volver al 1 con otra A (la tercera). Con una B no vas a ningun sitio -> error

Hylak: el tuyo (suponiendo final el estado 2) acepta AAB, que es error, mediante I -> 2 -> 3 -> 2

En serio, mirad el mio (ahora lo subire al hilo porque no se porque no rula)

Adjuntos

darix escribió:
teesala escribió:
darix escribió:
A ver:

Estado inicial (A) -> 1
1 (B) -> 2
2 (A) -> 1
1 (A) -> 3
3 (B) -> Error -> no aceptada


con 'aa': con la primera 'a' va al estado 1 y con la segunda 'a' va al estado 3.
Ya luego con la 'b' que viene aceptaria y no deberia


Una vez estas en el estado 3, solo puedes volver al 1 con otra A (la tercera). Con una B no vas a ningun sitio -> error

Hylak: el tuyo (suponiendo final el estado 2) acepta AAB, que es error, mediante I -> 2 -> 3 -> 2

En serio, mirad el mio (ahora lo subire al hilo porque no se porque no rula)


Pues si, el tuyo funciona :)

Que fail el mío [snif]
chavales muchas gracias a todos!!! que no habia podido pasar por aqui para agradecer vuestra ayuda!!!


Al final he aprobado gracias a vosotros chavales!!!!!!!
16 respuestas