Este documento presenta varios ejemplos de expresiones regulares y autómatas finitos para el alfabeto Σ = {a, b}. Incluye expresiones regulares y autómatas finitos para lenguajes como cadenas con un número par de b, cadenas con al menos una a y dos b, cadenas terminando en bab, y más.

1. Autómatas finitos y expresiones
regulares
NooneshallexpelusfromtheparadisewhichCantorhascreatedforus—
DavidHilbert
Ivan Meza

2. Con crear una expresión regular paraΣ = {a, b}
el número de bes es divisible entre tres{w ∈ |Σ
∗
}

3. Con crear una expresión regular paraΣ = {a, b}
{a, aaaaa, aa, b, ba}

4. Con crear una expresión regular paraΣ = {a, b}
contine cuando menos una a y dos bes{w ∈ |Σ
∗
}

5. Con crear una expresión regular paraΣ = {a, b}
termina en la subcadena{w ∈ |Σ
∗
bab}

6. Con crear una expresión regular paraΣ = {a, b}
contiene la subcadena{w ∈ |Σ
∗
abb}

7. Con crear una expresión regular paraΣ = {a, b}
comienza con o con{w ∈ |Σ
∗
ba aa}

8. Con crear una expresión regular paraΣ = {a, b}
con tal que es non{w ∈ |Σ
∗
ab
i
b
j
i + j }

9. Con diseñar un AF paraΣ = {a, b}
el número de bes es divisible entre tres{w ∈ |Σ
∗
}

10. Con diseñar un AF paraΣ = {a, b}
{a, aaaaa, aa, b, ba}

11. Con diseñar un AF paraΣ = {a, b}
contine cuando menos una a y dos bes{w ∈ |Σ
∗
}

12. Con diseñar un AFΣ = {a, b}
termina en la subcadena{w ∈ |Σ
∗
bab}

13. Con diseñar un AFΣ = {a, b}
no contiene la subcadena{w ∈ |Σ
∗
abb}

14. Con diseñar un AFΣ = {a, b}
comienza con o con{w ∈ |Σ
∗
ba aa}

15. Con diseñar un AFΣ = {a, b}
con tal que es non{w ∈ |Σ
∗
ab
i
b
j
i + j }

16. ivanvladimir@gmail.com ivanvladimir.github.io ivanvladimir
Autómatas finitos y expresiones regulares by is
licensed under a
.
Creado a partir de la obra en
Ivan V. Meza Ruiz
Creative Commons Reconocimiento 4.0
Internacional License
http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/fsm_examples.htm