Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs

Mathematica;term rewriting;circular reasoner

Osborn, Christopher J. ; Gunter ; Elsa L.

关键词: Mathematica;    term rewriting;    circular reasoner;   

Others  :  https://www.ideals.illinois.edu/bitstream/handle/2142/16748/Osborn_Christopher.pdf?sequence=1&isAllowed=y

美国|英语

来源: The Illinois Digital Environment for Access to Learning and Scholarship

【 摘 要 】

We have designed Circular Reasoner, a package in Mathematica for the specification of functional programs using rewrite rules. The package detects certain recursions of a cyclical nature, and through repeated refinement of a set of initial guesses of final values for relevant terms, arrives at a value consistent with the equations used to define the functional program. We discuss this package and its implementation.