NASA Technical Reports Server (NTRS) 20040086792: Termination Proofs for String Rewriting Systems via Inverse Match-BoundsReportar como inadecuado




NASA Technical Reports Server (NTRS) 20040086792: Termination Proofs for String Rewriting Systems via Inverse Match-Bounds - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: 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

Autor: NASA Technical Reports Server (NTRS)

Fuente: https://archive.org/


Introducción



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...






Documentos relacionados