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 Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle M} AP y Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle x \in L_{\lambda}(M)} y Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle xy \in L_{\lambda}(M)} , puede Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle 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)