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

Fecha

2023-09-12

Editor

Sistedes

Publicado en

Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023)

Licencia Creative Commons

Resumen

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.

Descripción

Acerca de Orejas, Fernando

Palabras clave

Transformación De Grafos, Confluencia, Pares Críticos, Conflictos Iniciales
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX