NASA Technical Reports Server (NTRS) 20040086792: Termination Proofs for String Rewriting Systems via Inverse Match-BoundsReport as inadecuate




NASA Technical Reports Server (NTRS) 20040086792: Termination Proofs for String Rewriting Systems via Inverse Match-Bounds - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: NASA Technical Reports Server (NTRS) 20040086792: Termination Proofs for String Rewriting Systems via Inverse Match-Bounds
Annotating a letter by a number, one can record information about its history during a reduction. A string rewriting system is called match-bounded if there is a global upper bound to these numbers. In earlier papers we established match-boundedness as a strong sufficient criterion for both termination and preservation of regular languages. We show

Author: NASA Technical Reports Server (NTRS)

Source: https://archive.org/


Teaser



NASA-CR-2004-213032 NIA Report No.
2004-02 Termination Proofs for String Rewriting Systems via Inverse Match-Bounds Alfons Geser National Institute of Aerospace, Hampton, Virginia Dieter Hofbauer University of Kassel, Kassel, Germany Johannes Waldmann Polytechnic University of Leipzig, Leipzig, Germany July 2004 The NASA STI Program Office .
in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science.
The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA maintain this important role. The NASA STI Program Office is operated by Langley Research Center, the lead center for NASA’s scientific and technical information. The NASA STI Program Office provides access to the NASA STI Database, the largest collection of aeronautical and space science STI in the world.
The Program Office is also NASA’s institutional mechanism for disseminating the results of its research and development activities.
These results are published by NASA in the NASA STI Report Series, which includes the following report types: • TECHNICAL PUBLICATION.
Reports of completed research or a major significant phase of research that present the results of NASA programs and include extensive data or theoretical analysis.
Includes compilations of significant scientific and technical data and information deemed to be of continuing reference value.
NASA counterpart of peer-reviewed formal professional papers, but having less stringent limitations on manuscript length and extent of graphic presentations. • TECHNICAL MEMORANDUM. Scientific and technical findings that are preliminary or of specialized interest, e.g., quick release reports, working papers, and bibliographies that contain minimal annotation.
Does not contain extensive analysis. • CONTRACTOR REPORT.
Scientific and technical findings by NASA-sponsored contractors and grantees. • CONFERENCE PUBLICATION. Collected papers from scientific and...






Related documents