AUTÓMATAS Y EXPRESIONES REGULARES

WILBER ROMERO BERNAL

PRESENTADO A INGENIERO:
ALEX PUERTAS GONZÁLEZ

ASIGNATURA:
LENGUAJES FORMALES

UNIVERSIDAD PEDAGÓGICA Y TECNOLÓGICA DE COLOMBIA

FACULTAD DE INGENIERÍA
ESCUELA DE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN
TUNJA
2019
Tabla de contenido
2. INDAGANDO EL AUTÓMATA VACÍO ............................................................................................. 2
3. AUTOMATAS DE PILA. .................................................................................................................................... 3
4. EXPRESIONES REGULARES .......................................................................................................................... 8
5. CONCLUSIONES. ............................................................................................................................................. 23
6. BIBLIOGRAFIAS. ............................................................................................................................................. 23

1
 2. INDAGANDO EL AUTÓMATA VACÍO

● Proporcione NFA-ε para el conjunto de cadenas que consta de cero o más a´s
seguido de cero o más b´s, seguido de cero o más c´s.

● Proporcione NFA-ε para el conjunto de todas las cadenas que constan de la cadena
“01” la cual se repite una o más veces o para la cadena 010 la cual se repite una o
más veces.
Expresión regular

● Proporcione NFA-ε para el conjunto de todas las cadenas binarias que contienen un
número impar de ceros (0) o un número de unos (1) que no es un múltiplo de tres.

2
3. AUTOMATAS DE PILA.

3.1 Teniendo en cuenta los contenidos de la clase, se solicita diseñar un autómata de pila
para los siguientes lenguajes:

3.1.1 𝐿 = { an bn | 𝑛 ≥ 0 }.

Para el problema planteado se propone almacenar en la pila una A por cada a leída en la cinta
de entrada. A la hora de leer las b de la cinta de entrada bastará con eliminar una A por cada b
leída. La cadena de entrada se reconoce sí una vez terminada de leer la pila se queda vacía.

3
Imagen simulación con dos estados en jflap. Ejercicio 3.1.1

PRUEBA DE PILA EJERCICICIO 3.1.1

W=aabb

3.1.2 𝐿 = { 𝑎 2nbn | 𝑛 > 0 }

4
Solución de diseño:

para cada a impar la memorizamos con una A, y cada a par sustituirá la A de la cima de la pila
por una B.

Imagen autómata ejercicio 3.1.2

PRUEBA DE PILA EJERCICIO 3.1.2

W=aaaabb

3.1.3 𝐿 = { 𝐿 2𝐿𝐿 𝐿 | 𝐿 ≥ 0 }

5
Partiendo de la solución anterior se elimina la transición que elimina Z de la pila, con lo cual no
se puede reconocer lambda.

Imagen autómata
ejercicio 3.1.3

PRUEBA DE PILA EJERCICIO 3.1.3

W=aab

6
3.1.4 𝐿 = { 𝑤 ∈ {𝑚, 𝑛} * | 𝑤 = 𝑤R } PALINDROMO

Imagen autómata ejercicio 3.1.4

PRUEBA DE PILA EJERCICIO 3.1.4

W= mnmnm

7
4. EXPRESIONES REGULARES

3.2 En este punto se solicita establecer, tanto las expresiones regulares, como los
autómatas, para los siguientes juegos binarios:

● 0 o 11 o 101

S C
B

D
E
F

Imagen automata.

FORMALISMO

S={q0,q1,q2,q3,q4,q5,q6}
∑={0,1}
qi={q0}
qf= {q1,q3,q6}

8
GRAMATICA

∑={0,1}
S={A,B,C,D,E,F}
FUNCION DE TRANSICION

 Cualquier cadena en binario

9
FORMALISMO
S={q0,q1}
∑={0,1}
qi={q0}
qf= {q0,q1}

GRAMATICA

∑={0,1}
S={A}
FUNCION DE TRANSICION

 Cualquier cadena en binario exceptuando una vacía

10
 S A

Imagen autómata.

FORMALISMO

S={q0,q1}
∑={0,1}
qi={q0}
qf= {q1}

GRAMATICA

∑={0,1}
S={A}
FUNCION DE TRANSICION.

 Cualquier cadena que contenga al menos tres unos

11
 A C E

S F

FORMALISMO

S={q0,q1,q2,q3,q4,q5}
∑={0-9,A-z}
qi={q0}
qf= {q5}

GRAMATICA

∑={0-9,A-z}
S={A,B,C,D,E,F}
FUNCION DE TRANSICION.
S [A-z]A
S 0A
S [2-9]A
S 1B
A 0C
C 1E
E 1F
B 1E
F λ

12
4. Del Regex al autómata
En este punto se solicita verificar el funcionamiento de las siguientes expresiones
regulares, teniendo en cuenta la implementación de su lenguaje, árbol de derivación,
autómata y descripción:

autómata y descripción:

la siguiente expresión regular, nos acepta una cadena iniciada en cero o uno, como
también ceros o unos seguidos, no acepta que en la cadena estén intercalados.

• (0|1)|(0|1)(0|1)|(0|1)(0|1)(0|1)

C
A
S
E
F

Imagen autómata expresión regular

LENGUAJE

L={ 0,1,00,11,000,011…}

GRAMATICA

13
∑={0,1}
S={A,B,C,D,E,F}

FUNCION DE TRANSICION

S 1A
S 0B
B λ
A 0D
B 1C
D 1E
B 0D
C 1E
A 1C
A λ
E λ
C λ
D λ
F λ
C 0F
D 0F

Árbol de derivación.

14
Autómata y descripción:

La expresión regular nos acepta una cadena que inicie con muchos unos o ceros, también
inicie en uno, seguido de muchos ceros o unos y termine en uno, o al revés que inicie en
cero seguido de muchos ceros o unos y termine en cero.
• 1(0|1)*1|0(0|1)*0

15
 F
B
S

A E

C
D

Imagen autómata expresión regular

LENGUAJE

L={ 0,01,001,11,0111…}

GRAMATICA

∑={0,1}
S={A,B,C,D,E,F}
FUNCION DE TRANSICION

S 1A
S 0B
A 0D
A 1C
B 0F
B 1E
C 0D

16
 C 1C
C λ
D 1C
D 0D
E 0F
E 1E
F 1E
F 0F
Árbol de derivación.

Autómata y descripción:

La expresión regular nos acepta una cadena con solo cero o un uno, también muchos unos
o ceros pero que sean de longitud impar.

 (0|1)((0|1)(0|1))*

17
 S A
D

F
B
E

Imagen autómata expresión regular

LENGUAJE
L={ 0,1,001,011…}

GRAMATICA
∑={0,1}
S={A,B,C,D,E,F}
FUNCION DE TRANSICION

S 1A
S 1B
S 0A
A λ
A 1D
A 0C
B 0C
B λ

18
 B 1D
C 1F
C 0E
D 0E
D 1F
E 1D
E λ
E 0C
F λ
F 1D
F 0C

Árbol de derivación.

19
Autómata y descripción.

 0((0|1)(0|1))*|1(0|1)((0|1)(0|1))*

La expresión regular nos acepta cadenas de un solo cero pero no uno, muchos ceros pero
de longitud impar, no acepta solos unos, y acepta cadenas intercaladas pero que inicien en
cero.

A
S M L
C

H
B

D
K

I
E
F

LENGUAJE
L={ 0,01,011,001…}

GRAMATICA
∑={0,1}

20
S={A,B,C,D,E,F,J,K,L,M}

FUNCION DE TRANSICION

S 1A

S 0B

A 1C

A 0D

B 0F

B λ

B 1E

C 1G

C 0H

C I
D I

D 0H

D 1G
E 1J

E 0K

F 1J

F 0K
G 0M
G 1L

H 1L

H M

I λ

J λ
J 0F

21
 J 1E
K λ
K 0F
K 1E
L I
L 0H
L 1G

Arbol de derivacion.

22
5. CONCLUSIONES.

1. Los autómatas de pila, permiten aceptar lenguajes que un automata finito no

podría, mediante las transiciones de estados que dependen de los símbolos de
entrada y de los símbolos de pila, la gran ventaja es que poseen una memoria
auxiliar que nos permite guardar información.

2. Una Expresión Regular nos sirve para definir lenguajes, imponiendo restricciones
sobre las secuencias de caracteres que se permiten en el lenguaje que estamos
definiendo.

3. Las transiciones de los autómatas NFA-ε, nos permite cambiar de estado sin
procesar ningún símbolo de entrada.

6. BIBLIOGRAFIAS.

1. https://regexr.com/
2. http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo7.pdf
3. http://www.jflap.org/jflaptmp/

23