Introducción

¿Por qué estudiar Autómatas?

Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Introducción a la Teoría de Autómatas, Lenguajes

y Computación

Gustavo Rodríguez Gómez y Aurelio López López

INAOE

Propedéutico 2020

1 / 53
 Introducción
¿Por qué estudiar Autómatas?
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Capítulo 1
Introducción
Autómatas

2 / 53
 Introducción
¿Por qué estudiar Autómatas?
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Libro de texto
John E. Hopcroft et al., “Introduction to Automata Theory,
Languajes, and Computation”, segunda edición, Addison
Wesley

3 / 53
 Introducción
¿Por qué estudiar Autómatas?
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

1 Introducción
Motivación
2 ¿Por qué estudiar Autómatas?
Introducción a los Autómatas Finitos
Representaciones Estructurales
3 Introducción a las Demostraciones Formales
Condiciones Necesarias y Su…cientes
Tipos de Demostraciones
4 Los Conceptos Centrales de la Teoría de Autómatas
Alfabetos
Cadenas
Lenguajes
Problemas

4 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

La teoría de autómatas es el estudio de dispositivos

(máquinas) de computación abstractas.

5 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

La teoría de autómatas es el estudio de dispositivos

(máquinas) de computación abstractas.
Alan Turing estudio máquinas abstractas, las máquinas de
Turing, antes que existieran las computadoras reales.

6 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

La teoría de autómatas es el estudio de dispositivos

(máquinas) de computación abstractas.
Alan Turing estudio máquinas abstractas, las máquinas de
Turing, antes que existieran las computadoras reales.
Objetivo de Turing en 1930:

7 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

La teoría de autómatas es el estudio de dispositivos

(máquinas) de computación abstractas.
Alan Turing estudio máquinas abstractas, las máquinas de
Turing, antes que existieran las computadoras reales.
Objetivo de Turing en 1930:
Describir en forma precisa la frontera entre lo que una
computadora puede hacer y lo que no puede hacer.

8 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

La teoría de autómatas es el estudio de dispositivos

(máquinas) de computación abstractas.
Alan Turing estudio máquinas abstractas, las máquinas de
Turing, antes que existieran las computadoras reales.
Objetivo de Turing en 1930:
Describir en forma precisa la frontera entre lo que una
computadora puede hacer y lo que no puede hacer.

Entre 1940 y 1950 surgen las máquinas hoy llamadas

“autómatas …nitos”.

9 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

La teoría de autómatas es el estudio de dispositivos

(máquinas) de computación abstractas.
Alan Turing estudio máquinas abstractas, las máquinas de
Turing, antes que existieran las computadoras reales.
Objetivo de Turing en 1930:
Describir en forma precisa la frontera entre lo que una
computadora puede hacer y lo que no puede hacer.

Entre 1940 y 1950 surgen las máquinas hoy llamadas

“autómatas …nitos”.
A …nales de 1950 el lingüista Chomsky inicia el estudio de las
“gramáticas” formales.

10 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

En 1969 S. Cook pudo clasi…car los problemas que pueden ser

resueltos en una computadora en dos categorías:

11 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

En 1969 S. Cook pudo clasi…car los problemas que pueden ser

resueltos en una computadora en dos categorías:
problemas que se pueden resolver en forma e…ciente,

12 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

En 1969 S. Cook pudo clasi…car los problemas que pueden ser

resueltos en una computadora en dos categorías:
problemas que se pueden resolver en forma e…ciente,
problemas que en principio se pueden resolver pero que en la
práctica consumen mucho tiempo (NP–duros, intratables).

13 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

En 1969 S. Cook pudo clasi…car los problemas que pueden ser

resueltos en una computadora en dos categorías:
problemas que se pueden resolver en forma e…ciente,
problemas que en principio se pueden resolver pero que en la
práctica consumen mucho tiempo (NP–duros, intratables).

Todos los desarrollos teóricos se apoyan en lo que los

cientí…cos de la computación desarrollan actualmente.

14 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

Los autómatas …nitos y las gramáticas formales se usan como

modelos para

15 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

Los autómatas …nitos y las gramáticas formales se usan como

modelos para
Construir el software para el diseño de circuitos digitales

16 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

Los autómatas …nitos y las gramáticas formales se usan como

modelos para
Construir el software para el diseño de circuitos digitales
Construir el analizador léxico de un compilador

17 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

Los autómatas …nitos y las gramáticas formales se usan como

modelos para
Construir el software para el diseño de circuitos digitales
Construir el analizador léxico de un compilador

La máquinas de Turing nos ayuda a entender lo que podemos

esperar de nuestro software.

18 / 53
 Introducción
¿Por qué estudiar Autómatas?
Motivación
Introducción a las Demostraciones Formales
Los Conceptos Centrales de la Teoría de Autómatas

Motivación

Los autómatas …nitos y las gramáticas formales se usan como

modelos para
Construir el software para el diseño de circuitos digitales
Construir el analizador léxico de un compilador

La máquinas de Turing nos ayuda a entender lo que podemos

esperar de nuestro software.
La teoría de problemas intratables nos ayuda a deducir si nos
enfrentamos con problemas tratables o no.

19 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Aplicaciones de los Autómatas Finitos

Algunas aplicaciones de autómatas …nitos

20 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Aplicaciones de los Autómatas Finitos

Algunas aplicaciones de autómatas …nitos

Diseño de software y veri…cación del comportamiento de
circuitos digitales.

21 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Aplicaciones de los Autómatas Finitos

Algunas aplicaciones de autómatas …nitos

Diseño de software y veri…cación del comportamiento de
circuitos digitales.
Analizadores léxicos de compiladores.

22 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Aplicaciones de los Autómatas Finitos

Algunas aplicaciones de autómatas …nitos

Diseño de software y veri…cación del comportamiento de
circuitos digitales.
Analizadores léxicos de compiladores.
Software para explorar grandes volúmenes de texto y encontrar
patrones.

23 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Aplicaciones de los Autómatas Finitos

Algunas aplicaciones de autómatas …nitos

Diseño de software y veri…cación del comportamiento de
circuitos digitales.
Analizadores léxicos de compiladores.
Software para explorar grandes volúmenes de texto y encontrar
patrones.
Software para veri…car sistemas que tengan un número …nito
de estados distintos, por ejemplo, protocolos de comunicación.

24 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Ejemplo de Autómata Finito 1

Autómata …nito que modela un interruptor

encendido/apagado (on/o¤)

25 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Ejemplo de Autómata Finito 2

Autómata …nito para reconocer la cadena “then”

26 / 53
 Introducción
¿Por qué estudiar Autómatas? Introducción a los Autómatas Finitos
Introducción a las Demostraciones Formales Representaciones Estructurales
Los Conceptos Centrales de la Teoría de Autómatas

Gramáticas y Expresiones Regulares

Existen dos formas alternativas de especi…car una máquina

1 Gramáticas: una regla gramatical como E =) E + E
establece una expresión aritmética
2 Expresiones Regulares: denota una estructura de datos
’[A Z ] [a z ] [] [A Z ] [A Z ]’que representa un patrón
en un texto

27 / 53
 Introducción
¿Por qué estudiar Autómatas? Condiciones Necesarias y Su…cientes
Introducción a las Demostraciones Formales Tipos de Demostraciones
Los Conceptos Centrales de la Teoría de Autómatas

Condiciones Su…cientes

Una proposición A es una condición su…ciente de una proposición

B si
A)B ( (A ) B ) = B ) A)

Examples (Su…ciencia)
Si llueve mi patio se moja (A ) B ).Es su…ciente que llueva para
que mi patio se moje, pero no es necesario que llueva para que mi
patio se moje.

Examples (Su…ciencia)
Un elefante es un animal (A ) B ). Es su…ciente ser elefante para
ser un animal, pero no es necesario ser elefante para ser un animal.

28 / 53
 Introducción
¿Por qué estudiar Autómatas? Condiciones Necesarias y Su…cientes
Introducción a las Demostraciones Formales Tipos de Demostraciones
Los Conceptos Centrales de la Teoría de Autómatas

Condiciones Necesarias

Una proposición B es una condición necesaria de una proposición

A si
A(B

Example (Necesidad)
Nací en México ; nací en Hermosillo. Sin embargo, si nací en
Hermosillo ) nací en México (A ( B ).

29 / 53
 Introducción
¿Por qué estudiar Autómatas? Condiciones Necesarias y Su…cientes
Introducción a las Demostraciones Formales Tipos de Demostraciones
Los Conceptos Centrales de la Teoría de Autómatas

Condición Su…ciente y Necesaria

Las proposiciones A y B son su…ciente y necesaria si se cumple

A,B

Example (Su…ciente y Necesaria)

Si n es un entero par ) n divisible por 2. Si n entero es divisible
por 2 ) n es entero par. En este caso se cumple A , B.

30 / 53
 Introducción
¿Por qué estudiar Autómatas? Condiciones Necesarias y Su…cientes
Introducción a las Demostraciones Formales Tipos de Demostraciones
Los Conceptos Centrales de la Teoría de Autómatas

Tipos de Demostraciones

1 Deductivas
2 Relacionados a conjuntos
3 Contrapositiva
4 Por contradicción
5 Por contrajemplos
6 Inductivas (objetos de…nidos recursivamente)

31 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Alfabetos

Un alfabeto

Σ = conjunto de símbolos …nito no vacío

32 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Alfabetos

Un alfabeto

Σ = conjunto de símbolos …nito no vacío

Ejemplos

Σ = f0, 1g, el alfabeto binario,

Σ = fa, b, c, . . . , z g, conjunto de todas las letras minúsculas
Σ = conjunto de todos los caracteres ASCII

33 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Cadenas
Una cadena w es una sucesión …nita de símbolos de algún
alfabeto Σ
w = a1 a2 ai , ak 2 Σ k = 1, 2, . . . , i

34 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Cadenas
Una cadena w es una sucesión …nita de símbolos de algún
alfabeto Σ
w = a1 a2 ai , ak 2 Σ k = 1, 2, . . . , i
Ejemplo, la cadena 01011 es una cadena del alfabeto
Σ = f0, 1g

35 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Cadenas
Una cadena w es una sucesión …nita de símbolos de algún
alfabeto Σ
w = a1 a2 ai , ak 2 Σ k = 1, 2, . . . , i
Ejemplo, la cadena 01011 es una cadena del alfabeto
Σ = f0, 1g
La cadena vacía e es la cadena con cero ocurrencias de
símbolos de Σ.

36 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Cadenas
Una cadena w es una sucesión …nita de símbolos de algún
alfabeto Σ
w = a1 a2 ai , ak 2 Σ k = 1, 2, . . . , i
Ejemplo, la cadena 01011 es una cadena del alfabeto
Σ = f0, 1g
La cadena vacía e es la cadena con cero ocurrencias de
símbolos de Σ.
La longitud de una cadena w = a1 a2 ai es el número de
posiciones de los símbolos de la cadena
jw j = i

37 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Cadenas
Una cadena w es una sucesión …nita de símbolos de algún
alfabeto Σ
w = a1 a2 ai , ak 2 Σ k = 1, 2, . . . , i
Ejemplo, la cadena 01011 es una cadena del alfabeto
Σ = f0, 1g
La cadena vacía e es la cadena con cero ocurrencias de
símbolos de Σ.
La longitud de una cadena w = a1 a2 ai es el número de
posiciones de los símbolos de la cadena
jw j = i
Ejemplo
jabcde j = 5, jej = 0
38 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Potencias de un alfabeto

Sea Σ un alfabeto, de…nimos las potencias de Σ por

Σk = fw jw es una cadena de Σ y jw j = k g , k 0

39 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Potencias de un alfabeto

Sea Σ un alfabeto, de…nimos las potencias de Σ por

Σk = fw jw es una cadena de Σ y jw j = k g , k 0

Σ0 = feg para cualquier alfabeto

40 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Potencias de un alfabeto

Sea Σ un alfabeto, de…nimos las potencias de Σ por

Σk = fw jw es una cadena de Σ y jw j = k g , k 0

Σ0 = feg para cualquier alfabeto

Si Σ = f0, 1g entonces

Σ1 = f0, 1g,
Σ2 = f00, 01, 10, 11g,
Σ3 = f000, 001, 010, 011, 100, 101, 110, 111g

41 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Preguntas

Preguntas
1 ¿Cuántas cadenas hay en Σ4 ?
2 ¿Cuál es la diferencia entre Σ y Σ1 ?

42 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Conjunto de todas las cadenas de un alfabeto

El conjunto de todas las cadenas de un alfabeto Σ es

denotado por Σ

Σ = fw jw es cadena de Σg ,
= Σ0 [ Σ1 [ Σ2 [ Σ3 [

43 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Conjunto de todas las cadenas de un alfabeto

El conjunto de todas las cadenas de un alfabeto Σ es

denotado por Σ

Σ = fw jw es cadena de Σg ,
= Σ0 [ Σ1 [ Σ2 [ Σ3 [

Ejemplo

f0, 1g = fe, 0, 1, 00, 01, 10, 11, 000, g

44 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Cadenas no vacías

El conjunto de cadenas no vacías de un alfabeto se de…ne

por
Σ + = Σ1 [ Σ2 [ Σ3 [
en consecuencia
Σ = Σ+ [ feg

45 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Concatenación de cadenas

Sean x = a1 a2 a i , y = b1 b2 bj cadenas de Σ, de…nimos

la concatenación de x con y por

xy = a1 a2 a i b1 b2 bj ,

46 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Concatenación de cadenas

Sean x = a1 a2 a i , y = b1 b2 bj cadenas de Σ, de…nimos

la concatenación de x con y por

xy = a1 a2 a i b1 b2 bj ,

La longitud de la nueva cadena es

jxy j = i + j

47 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Concatenación de cadenas

Sean x = a1 a2 a i , y = b1 b2 bj cadenas de Σ, de…nimos

la concatenación de x con y por

xy = a1 a2 a i b1 b2 bj ,

La longitud de la nueva cadena es

jxy j = i + j

Ejemplo x = 01110, y = 1111 ) xy = 011101111, jxy j = 9.

48 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Concatenación de cadenas

Sean x = a1 a2 a i , y = b1 b2 bj cadenas de Σ, de…nimos

la concatenación de x con y por

xy = a1 a2 a i b1 b2 bj ,

La longitud de la nueva cadena es

jxy j = i + j

Ejemplo x = 01110, y = 1111 ) xy = 011101111, jxy j = 9.

Para cualquier cadena x se cumple

x e = ex = x

49 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Lenguajes

De…nition
Sea Σ un alfabeto y L Σ diremos entonces que L es un lenguaje
de Σ.

Examples
Ejemplos de lenguajes
1 El conjunto de palabras (aceptadas) del español
2 El conjunto de todos los programas (correctos) de C
3 El el lenguaje de todas las cadenas que consisten de n 0’s
seguidos por n 1’s para alguna n 0

fe, 01, 0011, 000111, . . .g

50 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Más Ejemplos de Lenguajes

Examples
Ejemplos de lenguajes
1 El lenguaje de todas las cadenas 0’s y n 1’s con igual número
de cada uno

fe, 01, 01, 0011, 0101, 1001, . . .g

2 El lenguaje formado por los números binarios cuyo valor es un

primo
Lp = f10, 11, 101, 111, 1011g
3 Σ es un lenguaje para cualquier alfabeto Σ.

51 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Más Ejemplos de Lenguajes

Examples
1 φ, el lenguaje vacío, es un lenguaje de cualquier alfabeto Σ.
2 feg, el lenguaje que consiste únicamente de la cadena vacía,
es un lenguaje de cualquier alfabeto Σ.
3 Observación φ 6= feg .

52 / 53
 Introducción Alfabetos
¿Por qué estudiar Autómatas? Cadenas
Introducción a las Demostraciones Formales Lenguajes
Los Conceptos Centrales de la Teoría de Autómatas Problemas

Problemas en teoría de autómatas

De…nition
Sea Σ un alfabeto y L un lenguaje de Σ.El problema L es:
Dado una cadena w 2 Σ decidir si w 2 L ó w 2
/ L.

Examples
Dado una cadena w de 0’s y 1’s averiguar si w 2 Lp o w 2
/ Lp

53 / 53