De Autómata Finito a Expresión Regular

[@carlogilmarp.s.16]

Me acabas de ayudar a entender lo que no pude en 4 clases de Teoría de la Computación!! Muchas gracias!!!

[@jhustyncarvajal1383]

jaajajaja 6 años despues queria comentar lo mismo arriba los programadores :v

[@felipecalderon2755]

@@jhustyncarvajal1383 jajajajaj 10 años despues y queria comentar lo mismo

[@JuancarMolinero]

Me alegro de que os sean de utilidad. Gracias por comentar

[@Melder_Kou]

8 años despues, y esto sigue siendo util, gracias

[@amigueta92]

wow! que bien explicado, yo solo tenia la dudita de cuando hay varios "caminos", como se distribuían los signos de "+" pero ya me quedó clarisimo gracias, si te pudiera dar 1000 me gusta, te los daba saludos

[@danielMoltos]

Muy clara la explicación!! Gracias Juancar!!!

[@ThePomelo09]

Muchas gracias ! Explicas excelente Saludos desde Argentina!

[@JuancarMolinero]

Ahhh! Tienes toda la razón, FALTA LA ÚLTIMA CLAUSURA!! Muchas gracias por avisar. :-) Estoy de acuerdo contigo en lo de la música, puede resultar muy pesada si hay que ver un trozo del vídeo varias veces...

[@zenosama1118]

Juancar Molinero no veo el fallo 😭

[@zenosama1118]

Juancar Molinero música? supongo que habrás actualizado el vídeo y llevado a cabo la corrección oportuna, lo deduzco por que no hay música en el vídeo y no veo el fallo que comentas un saludo desde Ecuador 👍

[@josecarlostiradolinares9324]

quisiera saber como puedo convertir ER a AF

[@jriveros3901]

xy+xy(yx*+xx*yx*+xy*x(xxy*x)*) este sería con la cláusura final

[@TheStrategyHacks]

Muy buen video amigo, a mi profesor no le entendía este tema y mucho menos comprendía los libros, pero contigo lo entendí perfectamente, ahora podré continuar con mi tarea. MUCHAS GRACIAS

[@anfrutos01]

Muchas gracias por tus videos, son de gran ayuda.

[@SAMARIA02]

espero lo puedas hacer al revez, de ER a AF, saludos y muy buena explicacion.

[@danielMoltos]

Muy clara la explicación, GRACIAS Juancar!!

[@andrests]

muy bien explicado. Me ha ayudado para examen de automatas Sigue asi !

[@senorweb]

Gracias bro, excelente tuto me ha servido bastante ;)

[@patriciavelazquez5663]

Super bien explicado, te lo agradezco.

[@yosetcozcomauri7799]

La mejor eplicacion gracias!

[@deyaniralopez2296]

Muchas gracias, la verdad que te he entendido mejor que la maestra que me da clase 😃

[@Sintxausti]

Gracias por el video, nos vemos en clase.

[@OscarFelipeCarrascoDiaz]

Mi profesor nos enseño otra forma. Dejando un estado de entrada y solo uno de Aceptación, sin estados en medio. Las ER finales serán equivalentes?

[@zenosama1118]

Óscar Felipe Carrasco Díaz a mí también me lo explicaron como lo comentas, sin duda está me queda más claro

[@supapi2]

@@zenosama1118 Si son equivalentes, acabo de resolverlo por esa técnica que dicen, se llama eliminación de estados, y es la mejor técnica para implementarlo en algoritmo, (la del vídeo es buena para entender pero no para programar). El resultado aplicando eliminación de estados es: xy+xy(y+xx*y)x*+xyxy*x(xxy*x)*

[@primeroverdad]

Como sería la equivalencia entre automata finito y expresión regular usando el teorema que dice que si L es aceptado por un DFA, entonces L es denotado por expresión regular. Lo que no entiendo es como se tabulan las rij superindice k, con k igual a 0,1,2. Gracias.

[@weddoes2009]

Gracias por los videos, queda todo muy bien explicado e intuitivo, me gustó especialmente el del Lema del Bombeo; me voy a suscribir por si vas haciendo más. :) Por cierto, xx* queda mejor reducirlo a x^+

[@supapi2]

el símbolo "^" puede ser confuso ya que no es un operador o modificador, el símbolo "+" esta reservado para unión, estrictamente hablando no puedes utilizar "xx*" por "x^+" aunque la idea se entiende "cualquier cantidad de X, pero al menos una vez"

[@josemortizr]

Muy bien explicado, gracias

[@franciscolopezalonso6841]

Hola JuanCar, una duda: Supongamos que tenemos un autómata cuyo estado inicial corresponde con el estado de aceptación y, en dicho estado, tenemos un transición recursiva (al margen de las transiciones que salen hacia otros estados del autómata). Qué se evaluaría primero a la hora de escribir la expresión regular? La transición recursiva (*) y después el resto del autómata o viceversa? O ambas opciones serían válidas?

[@arymirortega4265]

Excelente explicación .

[@tsuguruni]

no faltaría un asterisco en la última expresión?

[@CZambrano1997]

suguruni deep eso mismo pensé yo

[@DanielOcio]

Gracias por el vídeo. Tienes explicación al contrario? Es decir de ER a AFD

[@marioherrera2055]

una consulta, que pasa si en un automata tengo una cadena vacía como transición de un punto a otro, eso afecta en alguna forma a la hora de formar la expresión regular?

[@JuancarMolinero]

Eso dependerá del autómata. Imagínate que tienes un autómata con solo dos estados, el de inicio (A) y el de aceptación (B). Si tenemos una transición de A a B que tiene lugar cuando el autómata procesa 'x', la expresión regular nos indicaría que el lenguaje aceptado es una 'x'. Si ahora añadimos otra transición de A a B asociada a la cadena vacía, tenemos que el autómata aceptará tanto 'x' como la cadena vacía. Por lo tanto la expresión regular sería distinta. Como digo, todo depende de cómo sea el autómata y dónde tengamos la transición con la cadena vacía. Saludos

[@montserratcassil4901]

Como podria programarce?

[@montserratcassil4901]

hay algun ejemplo de como pasar eso teorico a un lenguaje de programacion?

[@supapi2]

técnica de eliminación de estados

[@ciclop3]

TE AMO!!!!!!!

[@g.alarcon9011]

Que tal amigos, en estos ejemplos, el operador "+" funciona como una concatención??

[@rasaraguro]

Si de 1 o más veces.

Creo que lo esta usando como si fuera el "|"

[@g.alarcon9011]

Gracias bro

[@AcademiaCS1]

Hola, muchas gracias por tu trabajo. Lo haces muy bien. Y humildemente te pido, como colega, que le pongas más cuidado a la entonación y potencia de tu voz, eso ayudará mucho. Y sin afán de molestar te comento que al final omitiste un asterísco en el bucle al factorizar XY, bucle de Q0 A Q6. SALUDOS, Y muchas gracias.

[@shellamelexterminador6502]

muchas gracias

[@raftal6746]

Muchas gracias! Una pregunta: ¿es posible factorizar también el 1er sumando? (€: cadena vacía) xy + xyyx* + xyxx*yx* + xyxy*x(xxy*x)* = xy (€ + yx* + xx*yx* + xy*x(xxy*x)* = xy (yx* + xx*yx* + xy*x(xxy*x)*)

[@supapi2]

claro que si!

[@josiasgomes4909]

Muito bom, obrigado

[@tomycadario2644]

juancar te amo bigote lindo

[@brunotaretto]

gracias!

[@inewue1]

te amo

[@enibu369]

q0 a q6. porque llega solo asta q6???

[@JuancarMolinero]

Hola Debora Lo que nos interesa es ver las distintas formas de llegar a los estados de aceptación, por eso uno de los caminos planteados es cómo se llega de q0 a q6... aunque también hay que tener en cuenta que después hay un bucle que sale y llega al propio q6 y encima reutiliza parte de las transiciones que ya se han tenido en cuenta.

[@enibu369]

gracias

[@fernandoorozco8754]

Creo que esa expresion regular xy + xy(yx* + xx*yx* + xy*x(xxy*x)*)* no acepta la palabra { x y x x x x x y x x x } Y el automata si

[@JuancarMolinero]

Hola Fernando Javier. La cadena que propones sí que es aceptada por la expresión regular. Si desarrollamos el 2º término nos quedaría: xy + xyyx* + xyxx*yx* + xyxy*x(xxy*x)* Como puedes ver, el tercer término, puede generar la cadena que indicas. A la hora de ver equivalencias o diferencias entre autómatas, gramáticas y/o expresiones regulares, no te recomiendo trabajar con cadenas demasiado largas. Normalmente suele ser suficiente con analizar las cadenas más cortas que se aceptan o generan en cada caso... aunque siempre pueda haber excepciones. Saludos

[@papopodrido5930]

Al final del video a la expresion regular creo que le falta un *