Autómatas finitos y expresiones regulares
-
Upload
ivan-vladimir-meza-ruiz -
Category
Education
-
view
223 -
download
1
Transcript of Autómatas finitos y expresiones regulares
![Page 1: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/1.jpg)
Autómatas finitos y expresionesregulares
No one shall expel us from the paradise which Cantor has created for us—David Hilbert
Ivan Meza
![Page 2: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/2.jpg)
Con crear una expresión regular paraΣ = {a, b}
el número de bes es divisible entre tres{w ∈ |Σ∗ }
![Page 3: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/3.jpg)
Con crear una expresión regular paraΣ = {a, b}
{a, aaaaa, aa, b, ba}
![Page 4: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/4.jpg)
Con crear una expresión regular paraΣ = {a, b}
contine cuando menos una a y dos bes{w ∈ |Σ∗ }
![Page 5: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/5.jpg)
Con crear una expresión regular paraΣ = {a, b}
termina en la subcadena {w ∈ |Σ∗ bab}
![Page 6: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/6.jpg)
Con crear una expresión regular paraΣ = {a, b}
contiene la subcadena {w ∈ |Σ∗ abb}
![Page 7: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/7.jpg)
Con crear una expresión regular paraΣ = {a, b}
comienza con o con {w ∈ |Σ∗ ba aa}
![Page 8: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/8.jpg)
Con crear una expresión regular paraΣ = {a, b}
con tal que es non {w ∈ |Σ∗ abi bj i + j }
![Page 9: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/9.jpg)
Con diseñar un AF paraΣ = {a, b}
el número de bes es divisible entre tres{w ∈ |Σ∗ }
![Page 10: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/10.jpg)
Con diseñar un AF paraΣ = {a, b}
{a, aaaaa, aa, b, ba}
![Page 11: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/11.jpg)
Con diseñar un AF paraΣ = {a, b}
contine cuando menos una a y dos bes{w ∈ |Σ∗ }
![Page 12: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/12.jpg)
Con diseñar un AFΣ = {a, b}
termina en la subcadena {w ∈ |Σ∗ bab}
![Page 13: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/13.jpg)
Con diseñar un AFΣ = {a, b}
no contiene la subcadena {w ∈ |Σ∗ abb}
![Page 14: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/14.jpg)
Con diseñar un AFΣ = {a, b}
comienza con o con {w ∈ |Σ∗ ba aa}
![Page 15: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/15.jpg)
Con diseñar un AFΣ = {a, b}
con tal que es non {w ∈ |Σ∗ abi bj i + j }
![Page 16: Autómatas finitos y expresiones regulares](https://reader035.fdocuments.co/reader035/viewer/2022081902/58e5e2bb1a28ab38148b4ae3/html5/thumbnails/16.jpg)
[email protected] ivanvladimir.github.io ivanvladimir
Autómatas finitos y expresiones regulares by islicensed under a
. Creado a partir de la obra en
Ivan V. Meza RuizCreative Commons Reconocimiento 4.0Internacional License
http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/fsm_examples.html