Diseño e implementación de algoritmos de unificación y matching para términos comprimidos.

Abstract

Las gramáticas incontextuales se pueden utilizar como herramienta para comprimir palabras o términos. Estas gramáticas pueden permitir en casos extremos comprimir hasta un factor exponencial. Sobre este tipo de compresiones existen diferentes algoritmos que se pueden implementar sin necesidad de descomprimir la palabra o término dados. En este PFC diseñamos nuevos algoritmos probabilísticos que se puedan aplicar a este tipo de compresiones. Estos algoritmos mejoran el coste de los algoritmos deterministas ya existentes, y su eficacia con respecto a los algoritmos equivalentes sobre palabras y términos descomprimidos dependen sobre todo del factor de compresión. Además de diseñar dichos algoritmos, también incluimos una implementación de todos ellos, que nos ha permitido comprobar que efectivamente mejoran el tiempo de ejecución de los algoritmos ya existentes