Skip to main content
SpringerLink
Log in

Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen

  • Vorträge In Der Reihenfolge Des Programms
  • Conference paper
  • First Online:
Theoretical Computer Science

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

Abstract

Diese Arbeit sucht den Grund für das Auftreten von Nichtentscheidbarkeiten bei Loop-1-Programmen mit angereichertem Befehlsvorrat im gelichzeitigen Auftreten der algorithmischen Sprachelemente "Loop X" und "Abfrage auf Null" zusammen mit Funktionen, die verhindern, Abfragen aus Schleifen "herauszuziehen". Wir beweisen daher:

  • Das Äquivalenzproblem für Loop-1-Programme bleibt lösbar, falls man den Befehlsvorrat um die Vorgängerfunktion erweitert.

  • Es bleibt lösbar, falls man die Abfrage auf Null hinzunimmt.

  • Nach Erweiterung des Befehlsvorrates um die Abfrage auf Null und die Vorgängerfunktion ist das Äquivalenzproblem nicht mehr lösbar.

Prof Dr. B. Monien sind wir wegen zahlreicher Diskussionen zu Dank verpflichtet.

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.

Literatur

  1. H. Beck, Zur Entscheidbarkeit der funktionalen Äquivalenz, Automata Theory and Formal Languages Znd GI Conference, Springer Lecture Notes 33, 1975.

    Google Scholar 

  2. V. Claus, Crossing Functions I, Berichtsreihe der Abteilung Informatik an der Universität Dortmund 11/75.

    Google Scholar 

  3. H. Huwig, Beziehungen zwischen beschränkter syntaktischer und beschränkter primitiver Rekursion, Dissertation.

    Google Scholar 

  4. G. Hotz, Schaltkreistheorie, Walter de Gruyter, 1974.

    Google Scholar 

  5. K. Wöhl, Untersuchungen über das Äquivalenzproblem einfacher Programme, Dissertation (in Vorbereitung).

    Google Scholar 

  6. D. Tsichritzis, The equivalence problem of simple programs, JACM 17 (1970)

    Google Scholar 

Download references

Authors
  1. H. Huwig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. Claus
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Huwig, H., Claus, V. (1977). Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen. In: Theoretical Computer Science. Lecture Notes in Computer Science, vol 48. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08138-0_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-08138-0_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08138-8

  • Online ISBN: 978-3-540-37389-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation