| ||||
| ||||
![]() Title:Inversion and Determinization in Term Rewriting Authors:Naoki Nishida Conference:IFIP-WG1.6 Tags:conditional rewriting, context-free expression and program transformation Abstract: As a transformational approach, inversion is formulated in several settings, and the basic ideas are naive and similar. To generate a better form, e.g., non-overlapping systems if possible, determinization is used as a post-process of inversion for injective functions, and is the most challenging part in developing an inversion framework. In this talk, I introduce a framework of inversion and determinization in term rewriting. First, I explain a direct inversion of deterministic CTRSs, and a direct MSV-based determinization. Next, I explain the framework proposed by Gluck and Kawabe, which uses context-free grammars as intermediate representations of CTRSs. Finally, I explain a framework based on context-free expressions. Inversion and Determinization in Term Rewriting ![]() Inversion and Determinization in Term Rewriting | ||||
Copyright © 2002 – 2025 EasyChair |