Problemas de confluencia en transformación de grafos: de los pares críticos a los conflictos iniciales.

Abstract

Mucha gente cree que la transformación de grafos no es nada más que una generalización de la reescritura de términos. Sin embargo, en este tutorial vetemos que la técnica que se usa en reescritura de términos para la comprobación de la confluencia, el cálculo de los pares críticos y la comprobación de su convergencia, genera problemas serios cuando se adapta a la transformación de grafos. Adicionalmente, veremos cómo se resuelven, en mayor o menor medida, estos problemas a traves del nuevo concepto de conflicto inicial.