Resumen de Correción regional de errores con coste mínimo
Un problema no resuelto en el ámbito de la corrección de errores sintácticos es cuanto se debe avanzar en la entrada para validar las soluciones obtenidas.
Dado que es totalmente imposible inferiro la intención original de quien escribe la entrada, el objetivo de estas técnicas será la generación de una o varias correcciones de la sentencia original con un coste mínimo.
Este objetivo sólo puede ser resuelto mediante métodos globales que consideran la totalidad de la entrada. El problema es que estos métodos son muy ineficientes, puesto que desperdician esfuerzo en partes de la entrada sin errores.
En las aproximaciones locales se examina un contexto no global alrededor del error, y se intenta validar las correcciones en una zona de longitud predefinida con el fin de proseguir con el análisis sintáctico. Pero la simplicidad de estos modelos suele llevar a la elección de correcciones muy pobres. Como alternativa, los modelos regionales consideran una zona de validación cuya longitud se determina dinámicamente en función del proceso de corrección actual. Este enfoque intenta aprovechar las ventajas de las dos categorías anteriores minimizando sus inconvenientes. Se trata de obtener correcciones con la misma calidad que en el caso global, pero con un coste computacional lo más cercano posible a las aproximaciones locales.
Nuestra solución consiste en trabajar en el dominio de una estrategia regional de mínimo coste con validación dinámica. De este modo, asignamos a las correcciones obtenidas costes basados en una métrica dada y seleccionamos aquellas con uno menor. Nuestro objetivo es tratar la problemática de la aparición de errores en cascada, resultantes de un mal proceso de corrección previo. De hehco, la no aparición de este tipo de errores, o al menos la minimización de sus efectos, proporciona una buena medida de la calidad de un proceso de corrección. Así, la consideración de un entorno global hace
