Diferencia entre revisiones de «Final del 28/02/20 (Teoría de Lenguajes)»
De Cuba-Wiki
(Página creada con «Tomó Jacobo, oral en el pizarrón - Definir qué es un autómata de pila determinístico + Si M AP y x \in L_{lambda}(M) y xy \in L_{lambda}(M), puede M ser autómata de…») |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
Tomó Jacobo, oral en el pizarrón | Tomó Jacobo, oral en el pizarrón | ||
* Definir qué es un autómata de pila determinístico + Si M AP y x \in L_{lambda}(M) y xy \in L_{lambda}(M), puede M ser autómata de pila determinístico? | |||
* Demostrar que el autómata reducido por indistinguibilidad es mínimo en cantidad de estados, asumimos que el lema valía | |||
* Enunciar (no demostrar) pumping para lenguajes libres de contexto (no para lenguajes regulares) | |||
Revisión del 13:47 29 feb 2020
Tomó Jacobo, oral en el pizarrón
- Definir qué es un autómata de pila determinístico + Si M AP y x \in L_{lambda}(M) y xy \in L_{lambda}(M), puede M ser autómata de pila determinístico?
- Demostrar que el autómata reducido por indistinguibilidad es mínimo en cantidad de estados, asumimos que el lema valía
- Enunciar (no demostrar) pumping para lenguajes libres de contexto (no para lenguajes regulares)
