Skip to main content
SpringerLink
Log in

Infinite terms and infinite rewritings

  • Chapter 2 Infinite Terms, Non-Terminating Systems, And Termination
  • Conference paper
  • First Online:
Book cover Conditional and Typed Rewriting Systems (CTRS 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 516))

Included in the following conference series:

Abstract

We discuss here the properties of term rewriting systems that allow infinite derivations leading to infinite normal forms. We extend work of Dershowitz and Kaplan to preserve more information about infinite derivations in the resulting normal forms, and to give finite representations of cyclic infinite terms. We develop algebraic semantics of the new system that are very similar to those of the old.

The research of these authors was supported in part by NSF grant CMPS 8805503.

Yiyun Chen is supported by a grant from the People's Republic of China.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Yiyun Chen, Michael J. O'Donnell. Testing Confluence of Nonterminating Rewriting Systems. In this Proceedings.

    Google Scholar 

  2. Yiyun Chen, Michael J. O'Donnell. Nonterminating Rewritings with Head Boundedness. Technical Report, The University of Chicago, 1990.

    Google Scholar 

  3. Nachum Dershowitz and Stéphane Kaplan. Rewrite, rewrite, rewrite, rewrite, rewrite ... In 16th Annual Symposium on Principles of Programming Languages, pp. 250–259, SIGPLAN and SIGACT, 1989.

    Google Scholar 

  4. Nachum Dershowitz, Stéphane Kaplan and David A. Plaisted. Infinite Normal Forms. Volume 372 of Lecture Notes in Computer Science, Springer-Verlag, pp. 249–262, 1989.

    Google Scholar 

  5. G. Huet. Confluent reductions:Abstract properties and applications to term rewriting systems. J. of the Association for Computing Machinery 27(4), pp. 797–821, 1980.

    Google Scholar 

  6. M. J. O'Donnell. Computing in systems described by equations. Volume 58 of Lecture Notes in Computer Science, Springer-Verlag, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The University of Chicago, USA

    Yiyun Chen & Michael J. O'Donnell

Authors
  1. Yiyun Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael J. O'Donnell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Kaplan M. Okada

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, Y., O'Donnell, M.J. (1991). Infinite terms and infinite rewritings. In: Kaplan, S., Okada, M. (eds) Conditional and Typed Rewriting Systems. CTRS 1990. Lecture Notes in Computer Science, vol 516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54317-1_84

Download citation

  • DOI: https://doi.org/10.1007/3-540-54317-1_84

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54317-6

  • Online ISBN: 978-3-540-47558-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation