On the Relation Between Primitive Recursion, Schematization and Divergence

The paper presents a new schematization of in nite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is presented by a generating term and a canonical rewrite system. It is proved that the class of primal grammars covers completely the class of crossed rewrite systems. This proof contains a construction of a primal grammar from a crossed rewrite system.

• Type: Conference
• Year: 1992
• Where: ALP
• Authors: Miki Hermann
• Keywords: ALP 1992, Automated Reasoning, Crossed Rewrite System, Primal Grammar, Rewrite System