On Term Rewriting Systems Having a Rational Derivation - Computer Science > Logic in Computer ScienceReportar como inadecuado




On Term Rewriting Systems Having a Rational Derivation - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: Several types of term rewriting systems can be distinguished by the way theirrules overlap. In particular, we define the classes of prefix, suffix,bottom-up and top-down systems, which generalize similar classes on words. Ouraim is to study the derivation relation of such systems (i.e. the reflexive andtransitive closure of their rewriting relation) and, if possible, to provide afinite mechanism characterizing it. Using a notion of rational relations basedon finite graph grammars, we show that the derivation of any bottom-up,top-down or suffix systems is rational, while it can be non recursive forprefix systems.



Autor: Antoine Meyer (LIAFA)

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados