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

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)