L="todas las palabras que comienzan con cantidad impares de caracteres 1, terminan con cantidad pares de caracteres 0, y en el medio ninguno, uno o varios caracteres a o b".
Me pide la ER utilizando los operadores basicos(clausura de kleene, union y concatenacion). Pero no se me ocurre como hacer el tema de que sean impares los 1 al principio e pares los 0 al final. Alguien tiene idea de como puede ser?

Para que haya cantidad impar de 1s ponemos un 1 fijo y si quieren que haya más 1 se agregan de a dos: 1(11)*
Para cantidad par de 0s ponemos dos 0s fijos y se agregan de a dos 00(00)*
Para que haya una secuencia de aes, bes, o nada: (a+b)*

Juntando:

(04-06-2012 15:44)Anirus escribió:  Para que haya cantidad impar de 1s ponemos un 1 fijo y si quieren que haya más 1 se agregan de a dos: 1(11)*
Para cantidad par de 0s ponemos dos 0s fijos y se agregan de a dos 00(00)*
Para que haya una secuencia de aes, bes, o nada: (a+b)*

Juntando:

1(11)*(a+b)*00(00)*

Buenisimo, era una boludez jaja. Preguntas:
1) cuando dice cantidad par de 0, cuanta a la cantidad 0? osea vos pusistes que la cantidad minima de 0 es 2, pero 0 no cuenta como par?
2) cuando dice "y en el medio, ninguno, uno o varios caracteres a o b". No seria (a^*+b^*)?. Por que si lo ponemos como vos decis, quedarian con aes Y bes. Osea ab,bbaa,aaaab,bbbabab,etc.

(04-06-2012 16:07)diegocuervo escribió:  

(04-06-2012 15:44)Anirus escribió:  Para que haya cantidad impar de 1s ponemos un 1 fijo y si quieren que haya más 1 se agregan de a dos: 1(11)*
Para cantidad par de 0s ponemos dos 0s fijos y se agregan de a dos 00(00)*
Para que haya una secuencia de aes, bes, o nada: (a+b)*

Juntando:

1(11)*(a+b)*00(00)*

Buenisimo, era una boludez jaja. Preguntas:
1) cuando dice cantidad par de 0, cuanta a la cantidad 0? osea vos pusistes que la cantidad minima de 0 es 2, pero 0 no cuenta como par?
2) cuando dice "y en el medio, ninguno, uno o varios caracteres a o b". No seria (a^*+b^*)?. Por que si lo ponemos como vos decis, quedarian con aes Y bes. Osea ab,bbaa,aaaab,bbbabab,etc.

1) cuando dice cantidad par de 0, cuanta a la cantidad 0? osea vos pusistes que la cantidad minima de 0 es 2, pero 0 no cuenta como par?
Supongo que no, porque si no hubiera ningun 0, no sería una palabra que termine con 0.
2) cuando dice "y en el medio, ninguno, uno o varios caracteres a o b". No seria (a^*+b^*)?. Por que si lo ponemos como vos decis, quedarian con aes Y bes. Osea ab,bbaa,aaaab,bbbabab,etc.
Yo entiendo que pide lo segundo(ab,bbaa,aaaab,bbbabab,etc), habría que preguntar (justamente te están pidiendo la definición formal de un lenguaje que te lo dan en forma informal, lo cuál lo hace ambiguo)

(04-06-2012 18:18)Anirus escribió:  

(04-06-2012 16:07)diegocuervo escribió:  

(04-06-2012 15:44)Anirus escribió:  Para que haya cantidad impar de 1s ponemos un 1 fijo y si quieren que haya más 1 se agregan de a dos: 1(11)*
Para cantidad par de 0s ponemos dos 0s fijos y se agregan de a dos 00(00)*
Para que haya una secuencia de aes, bes, o nada: (a+b)*

Juntando:

1(11)*(a+b)*00(00)*

Buenisimo, era una boludez jaja. Preguntas:
1) cuando dice cantidad par de 0, cuanta a la cantidad 0? osea vos pusistes que la cantidad minima de 0 es 2, pero 0 no cuenta como par?
2) cuando dice "y en el medio, ninguno, uno o varios caracteres a o b". No seria (a^*+b^*)?. Por que si lo ponemos como vos decis, quedarian con aes Y bes. Osea ab,bbaa,aaaab,bbbabab,etc.

1) cuando dice cantidad par de 0, cuanta a la cantidad 0? osea vos pusistes que la cantidad minima de 0 es 2, pero 0 no cuenta como par?
Supongo que no, porque si no hubiera ningun 0, no sería una palabra que termine con 0.
2) cuando dice "y en el medio, ninguno, uno o varios caracteres a o b". No seria (a^*+b^*)?. Por que si lo ponemos como vos decis, quedarian con aes Y bes. Osea ab,bbaa,aaaab,bbbabab,etc.
Yo entiendo que pide lo segundo(ab,bbaa,aaaab,bbbabab,etc), habría que preguntar (justamente te están pidiendo la definición formal de un lenguaje que te lo dan en forma informal, lo cuál lo hace ambiguo)

Buenisimo. Muchas Gracias.

Hacer expresiones regulares es una masa