Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
| Revisión actual |
Tu texto |
| Línea 1: |
Línea 1: |
| == 18 de febrero == | | == 18 de febrero == |
| Tomó Julio Jacobo. Se presentaron 3 personas.
| | Se presentaron 3 personas |
|
| |
|
| === Persona 1 === | | === Persona 1 === |
| Línea 18: |
Línea 18: |
| # Pasaje de expresión regular a AFND-λ (preguntó pasaje de AFD a regex y persona 3 no sabía) | | # Pasaje de expresión regular a AFND-λ (preguntó pasaje de AFD a regex y persona 3 no sabía) |
| # Propiedades de los lenguajes libres de contexto respecto de la unión, intersección y complemento | | # Propiedades de los lenguajes libres de contexto respecto de la unión, intersección y complemento |
|
| |
|
| |
| == 4 de marzo ==
| |
| Tomó Julio Jacobo escrito, eran 3 ejercicios.
| |
| # Decidir si las siguientes operaciones son cerradas o no respecto de los lenguajes libres de contexto y demostrarlo .
| |
| ## Intersección
| |
| ## Unión
| |
| ## Complemento
| |
| ## Concatenación
| |
| ## Clausura de Kleene
| |
|
| |
| # Sea <math> L=\{a^i b^j c^k d^l : i=0 \lor j=k=l\} </math>
| |
| ## Explicar por qué no es libre de contexto.
| |
| ## Explicar por qué Pumping no sirve para demostrar el punto anterior (es decir, mostrar que el lenguaje cumple Pumping).
| |
|
| |
| # Probar que <math> \{ww : w \in \{a,b\}*\} </math> no es libre de contexto. Venía con dos pistas:
| |
| ## Pista: se puede usar que <math> \{a^nb^ma^nb^m : m,n\geq 0\} </math> no es libre de contexto. Si además lo pueden demostrar suma puntos.
| |
| ## Pista: se puede usar que, si notamos LIC a un lenguaje libre de contexto, vale que <math> LIC \cap \text{Regular} = LIC </math>
| |
