Edición de «Demostraciones (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 345: | Línea 345: | ||
Un símbolo es alcanzable sii aparece en alguna derivación a partir del símbolo distinguido, es decir, <math>S \Rightarrow ^+ \alpha A \beta</math>. | Un símbolo es alcanzable sii aparece en alguna derivación a partir del símbolo distinguido, es decir, <math>S \Rightarrow ^+ \alpha A \beta</math>. | ||
=== Orden de | === Orden de aplicacón === | ||
Todos los casos anteriores son salvables mediante un algoritmo, es decir, hay algoritmos para generar una gramática G' a partir de G tal que G' no tenga símbolos anulables, ni renombramientos, ni símbolos inactivos, ni símbolos inalcanzables. El orden de aplicación de los algoritmos es el aquí expuesto. | Todos los casos anteriores son salvables mediante un algoritmo, es decir, hay algoritmos para generar una gramática G' a partir de G tal que G' no tenga símbolos anulables, ni renombramientos, ni símbolos inactivos, ni símbolos inalcanzables. El orden de aplicación de los algoritmos es el aquí expuesto. |