Infinite normal forms for non-linear term rewriting systems

1991 ◽  
pp. 231-239 ◽  
Author(s):  
P. Inverardi ◽  
M. Nesi
Keyword(s):  
Normal Forms ◽  
Term Rewriting ◽  
Linear Term ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Non Linear

scholarly journals Infinite normal forms for non-linear term rewriting systems

1995 ◽  
Vol 152 (2) ◽  
pp. 285-303
Author(s):  
Paola Inverardi ◽  
Monica Nesi
Keyword(s):  
Normal Forms ◽  
Term Rewriting ◽  
Linear Term ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Non Linear

scholarly journals Derivational Complexity and Context-Sensitive Rewriting

2021 ◽  
Author(s):  
Salvador Lucas
Keyword(s):  
Normal Forms ◽  
Term Rewriting ◽  
Linear Term ◽  
The Other ◽  
Term Rewriting Systems ◽  
Context Sensitive ◽  
Rewriting Systems ◽  
Other Hand

AbstractContext-sensitive rewriting is a restriction of rewriting where reduction steps are allowed on specific arguments $$\mu (f)\subseteq \{1,\ldots ,k\}$$ μ ( f ) ⊆ { 1 , … , k } of k-ary function symbols f only. Terms which cannot be further rewritten in this way are called $$\mu $$ μ -normal forms. For left-linear term rewriting systems (TRSs), the so-called normalization via$$\mu $$ μ -normalization procedure provides a systematic way to obtain normal forms by the stepwise computation and combination of intermediate $$\mu $$ μ -normal forms. In this paper, we show how to obtain bounds on the derivational complexity of computations using this procedure by using bounds on the derivational complexity of context-sensitive rewriting. Two main applications are envisaged: Normalization via $$\mu $$ μ -normalization can be used with non-terminating TRSs where the procedure still terminates; on the other hand, it can be used to improve on bounds of derivational complexity of terminating TRSs as it discards many rewritings.

scholarly journals On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems

2005 ◽  
pp. 353-367 ◽  
Author(s):  
Alfons Geser ◽  
Dieter Hofbauer ◽  
Johannes Waldmann ◽  
Hans Zantema
Keyword(s):  
Term Rewriting ◽  
Linear Term ◽  
Tree Automata ◽  
Term Rewriting Systems ◽  
Rewriting Systems

scholarly journals Modular termination of r-consistent and left-linear term rewriting systems

1995 ◽  
Vol 149 (2) ◽  
pp. 361-374 ◽  
Author(s):  
Manfred Schmidt-Schauß ◽  
Massimo Marchiori ◽  
Sven Eric Panitz
Keyword(s):  
Term Rewriting ◽  
Linear Term ◽  
Term Rewriting Systems ◽  
Rewriting Systems

scholarly journals Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

2014 ◽  
Vol 22 (1) ◽  
pp. 37-56
Author(s):  
Grzegorz Bancerek
Keyword(s):  
Normal Forms ◽  
Term Rewriting ◽  
Educational Content ◽  
Term Rewriting Systems ◽  
Rewriting Systems

Summary Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property, term rewriting systems, and the idea of the Knuth-Bendix Completion Algorithm. The theory is based on [1].

Sign in / Sign up

Export Citation Format

Share Document