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…»)
 
(Math mode)
 
(No se muestra una edición intermedia de otro usuario)
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?
* Definir qué es un autómata de pila determinístico + Si <math>M</math> AP y <math>x \in L_{\lambda}(M)</math> y <math>xy \in L_{\lambda}(M)</math>, puede <math>M</math> 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
* 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)
* Enunciar (no demostrar) pumping para lenguajes libres de contexto (no para lenguajes regulares)

Revisión actual - 16:19 1 feb 2022

Tomó Jacobo, oral en el pizarrón

  • Definir qué es un autómata de pila determinístico + Si AP y y , puede 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)