Transformations of Conditional Rewrite Systems Revisited

Gmeiner, Karl; Gramlich, Bernhard

doi:10.1007/978-3-642-03429-9_12

Cited by 6 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We first show a general notion of soundness and completeness between two (C)TRSs (see [4,11]). We usually consider that one is obtained by transforming the other.…”

Section: Soundness and Completeness Between Two Rewriting Systemsmentioning

confidence: 99%

See 1 more Smart Citation

Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

Nakayama

Nishida

Sakai

2017

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

In this paper, we show that the SR transformation, a computationally equivalent transformation proposed by Ş erbȃnuţȃ and Roşu, is a sound structure-preserving transformation for weakly-left-linear deterministic conditional term rewriting systems. More precisely, we show that every weakly-leftlinear deterministic conditional term rewriting system can be converted to an equivalent weakly-leftlinear and ultra-weakly-left-linear deterministic conditional term rewriting system and prove that the SR transformation is sound for weakly-left-linear and ultra-weakly-left-linear deterministic conditional term rewriting systems. Here, soundness for a conditional term rewriting system means that reduction of the transformed unconditional term rewriting system creates no undesired reduction sequence for the conditional system.

show abstract

“…We first show a general notion of soundness and completeness between two (C)TRSs (see [4,11]). We usually consider that one is obtained by transforming the other.…”

Section: Soundness and Completeness Between Two Rewriting Systemsmentioning

confidence: 99%

“…There are two approaches to transformations of CTRSs into TRSs: unravelings [9,10] proposed by Marchiori (see, e.g., [4,11]), and a transformation [18] proposed by Viry (see, e.g., [15,4]).…”

Section: Introductionmentioning

confidence: 99%

Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

Nakayama

Nishida

Sakai

2017

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Transformações textuais constituem um importante recurso para a busca de estruturas de representação mais convenientes em textos WO-ODSEND;LAPATA, 2014). Sistemas de reescrita de termos viabilizam tais transformações através de regras de substituição que determinam a correspondência entre elementos textuais (GMEINER;GRAMLICH, 2008). Busca-se, portanto, no escopo desta tese, a exposição de técnicas de projeto e aspectos de implementação de sistemas de reescrita de termos utilizando macros como mecanismos de abstração em transformações textuais.…”

Section: Exemplo 5 (Macrounclassified

Macros como mecanismos de abstração em transformações textuais.

Cereda¹,

Neto²

View full text Add to dashboard Cite

A Deus, pela presença em minha vida e pelos amigos que me deste para caminhar ao meu lado, fortalecendo os meus passos, suportando minhas fraquezas e ajudando-me a crescer. Aos meus pais, Ederval e Lúcia, pelo amor, carinho, dedicação e paciência incondicionais no decorrer de tantos anos de esforços, lutas e sacrifícios. Poder contar com meus pais e partilhar as próprias dificuldades e sofrimentos é um grande dom de Deus. É um bálsamo que alivia a dor, é força em minha fraqueza. Ao meu orientador, amigo e catequista, professor João José Neto, por me ajudar a compreender um pouco mais dos meus limites e potencialidades, e por sempre me ensinar a buscar as coisas do alto. À minha amiga Renata Luiza Stange Carneiro Gomes, pelo apoio incondicional em todos os momentos, pela inaudita competência em nossas discussões técnicas e pela próspera parceria nas publicações. À querida amiga Maria Lídia Rebello Pinho Dias Scoton, pesquisadora nata e modelo de excelência acadêmica, pelo valioso encorajamento durante a escrita desta tese até sua derradeira conclusão. Ao amigo Newton Kiyotaka Miura, pelo companheirismo ao longo de toda a caminhada acadêmica, pelos inestimáveis conselhos e orientações, e pelos agradáveis momentos de descontração.

show abstract

On (Un)Soundness of Unravelings

Gmeiner

Gramlich²,

Schernhammer

2010

View full text Add to dashboard Cite

Transformations of Conditional Rewrite Systems Revisited

Cited by 6 publications

References 14 publications

Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

Macros como mecanismos de abstração em transformações textuais.

On (Un)Soundness of Unravelings

Contact Info

Product

Resources

About