Finales Virtuales Tleng: Marzo de 2022
De Cuba-Wiki
18 de febrero
Tomó Julio Jacobo. Se presentaron 3 personas.
Persona 1
- Pasaje de APD por estado final a APD por pila vacía (qué puede fallar si no agregás el nuevo símbolo inicial a la pila?)
- Demostración de por qué el AFD de estados mínimos es mínimo (daba por asumido el lema y lo escribía si hacía falta)
- Contar qué tipos de gramáticas vimos de la jerarquía de Chomsky y qué autómatas las reconocen (tipos 0, 1, 2 y 3)
Persona 2
- Propiedades de indistinguibilidad (en particular la 4 y la 5)
- Condiciones para que un autómata de pila sea determinístico, y qué significan
- Jerarquía de Chomsky (ver persona anterior)
Persona 3
- Definición de autómatas de pila muy por arriba
- Pasaje de APD por EF a pila vacía (ver persona 1)
- Definición de expresiones regulares
- Pasaje de expresión regular a AFND-λ (preguntó pasaje de AFD a regex y persona 3 no sabía)
- Propiedades de los lenguajes libres de contexto respecto de la unión, intersección y complemento