Final del 28/02/20 (Teoría de Lenguajes)

De Cuba-Wiki
Revisión del 13:45 29 feb 2020 de 181.167.73.204 (discusión) (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…»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

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)