Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: This survey describes methods for proving that systems of rewrite rules are terminating programs.  illustrate the use in termination proofs of various kinds of orderings on terms, including polynomial interpretations and path orderings. The effect of restrictions, such as linearity, on the form of rules is also considered. In general, hover, termination is an undecidable property of rewrite systems.
['Nachum Dershowitz']
I am writing a research paper on a idea Termination of rewriting
[{"from": "human", "value": "I am writing a research paper on a idea Termination of rewriting"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: This survey describes methods for proving that systems of rewrite rules are terminating programs.  illustrate the use in termination proofs of various kinds of orderings on terms, including polynomial interpretations and path orderings. The effect of restrictions, such as linearity, on the form of rules is also considered. In general, hover, termination is an undecidable property of rewrite systems."}]