Diferencia entre revisiones de «Final del 13/06/23 (Teoría de Lenguajes)»

De Cuba-Wiki
Sin resumen de edición
Sin resumen de edición
 
Línea 1: Línea 1:
Tomo Verónica escrito, eran dos ejercicios:
Tomo Verónica escrito a libro abierto, eran dos ejercicios:


==== Ej 1 ====
==== Ej 1 ====

Revisión actual - 23:56 16 jun 2023

Tomo Verónica escrito a libro abierto, eran dos ejercicios:

Ej 1

Un autómata es co-determinístico si no ocurre que . Dar un algoritmo que dado un autómata M, construya un autómata co-determinístico N tal que L(M)=L(N) y dar su complejidad.

Ej 2

Dada G una GLC sin producciones lambda y no recursiva a izquierda, dar una cota ajustada tal que para todo si entonces (la derivación tiene pasos) con y constante.

La cota tiene que ser ajustada, no alcanza con dar la cota teórica vista en clase.