Edición de «Final del 13/06/23 (Teoría de Lenguajes)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 5: | Línea 5: | ||
==== Ej 2 ==== | ==== Ej 2 ==== | ||
Dada G una GLC sin producciones lambda y no recursiva a izquierda, dar una cota ajustada <math>c</math> tal que para todo <math>A,B\in V_N, \alpha\in(V_N\cup V_T)^* </math> si <math>A\ | Dada G una GLC sin producciones lambda y no recursiva a izquierda, dar una cota ajustada <math>c</math> tal que para todo <math>A,B\in V_N, \alpha\in(V_N\cup V_T)^* </math> si <math>A\rightarrow^* B\alpha</math> entonces <math>A\rightarrow^i B\alpha</math> (la derivación tiene <math>i</math> pasos) con <math>i \leq c</math> y <math>c</math> constante. | ||
: La cota tiene que ser ajustada, no alcanza con dar la cota teórica vista en clase. | : La cota tiene que ser ajustada, no alcanza con dar la cota teórica vista en clase. |