Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Advertisement

Springer Nature Link
Log in

On primitive recursive wordfunctions

Über primitiv-rekursive Wortfunktionen

  • Published:
Computing Aims and scope Submit manuscript

Abstract

In order to compare primitive recursive functions and transductions defined by automata in a natural way independent of encodings, we generalize the Grzegorczyk hierarchy, the recursion number hierarchy and the loop hierarchy from arithmetical to wordfunctions. We observe several differences between the arithmetical and the non-arithmetical theory. By means of turingmachines and generalized sequential machines all inclusion problems for the function classes of these hierarchies are solved. Transductions and languages defined by automata are classified within these hierarchies. Moreover, we introduce and study primitive recursive transformations between different monoids.

Zusammenfassung

Um einen natürlichen, von Kodierungen unabhängigen Vergleich zwischen primitiv-rekursiven Funktionen und Automatentransduktionen zu ermöglichen, werden die Grzegorczyk-Hierarchie, die Rekursionszahl-Hierarchie und die Loop-Hierarchie von arithmetischen auf Wortfunktionen verallgemeinert. Dabei ergeben sich einige Unterschiede zum arithmetischen Fall. Unter Benutzung von Turingmaschinen und verallgemeinerten endlichen Automaten werden alle Inklusionsprobleme der Funktionenklassen dieser Hierarchien gelöst. Von Automaten definierte Funktions- und Sprachklassen werden innerhalb dieser Hierarchien klassifiziert. Außerdem werden primitiv-rekursive Transformationen zwischen verschiedenen Monoiden behandelt.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Asser, G.: Rekursive Wortfunktionen. Zeitschr. math. Logik Grdl. Math.6, 258–278 (1960).

    Google Scholar 

  2. Axt, P.: Iteration of primitive recursion. Zeitschr. math. Logik Grdl. Math.11, 253–255 (1965).

    Google Scholar 

  3. Cobham, A.: The intrinsic computational difficulty of functions. In: Logic, Methodology, and Philosophy of Science (Bar-Hillel, Y., ed.), Amsterdam: North-Holland Publ. Comp. 1965.

    Google Scholar 

  4. Eilenberg, S., Elgot, C. C.: Recursiveness. New York-London: Academic Press. 1970.

    Google Scholar 

  5. Grzegorczyk, A.: Some classes of recursive functions. Rozprawy matem.4, 1–46 (1953).

    Google Scholar 

  6. Heinermann, W.: Untersuchungen über die Rekursionszahlen rekursiver Funktionen. Dissertation, Münster, 1961.

  7. v. Henke, F. W.: Verallgemeinerte primitiv-rekursive Funktionen zwischen freien Monoiden. GMD Seminarbericht Nr. 46 (1972).

  8. v. Henke, F. W.: Primitiv-rekursive Transformationen. Diss. Bonn 1973, to appear in: Berichte der GMD.

  9. v. Henke, F. W., Indermark, K., Weihrauch, K.: Hierarchies of primitive recursive wordfunctions and transductions defined by automata, in: Automata, Languages, and Programming (Nivat, M., ed.), Amsterdam: North-Holland Publ. Comp. 1972.

    Google Scholar 

  10. Indermark, K.: Pushdown transductions as primitive recursive wordfunctions. GMD Seminarbericht Nr. 56 (1972) and Proc. IRIA Sem. (1972).

  11. Kreider, D. L., Ritchie, R. W.: A universal two-way automaton. Archiv math. Logik Grdl.9, 43–58 (1966).

    Google Scholar 

  12. Meyer, A. R., Ritchie, D. M.: Computational complexity and program structure. IBM Research Report RC 1817 (1967).

  13. Meyer, A. R., Ritchie, D. M.: A classification of the recursive functions. Zeitschr. math. Logik Grdl. Math.18, 71–82 (1972).

    Google Scholar 

  14. Müller, H.: Über die mit Stackautomaten berechenbaren Funktionen. Archiv math. Logik Grdl.13, 60–73 (1970).

    Article  Google Scholar 

  15. Ritchie, R. W.: Classes of predictably computable functions. Trans. AMS106, 139–173 (1963).

    Google Scholar 

  16. Ritchie, R. W.: Classes of recursive functions based on Ackermann's function. Pacific. J. Math.15, 1027–1044 (1965).

    Google Scholar 

  17. Rose, G., Weihrauch, K.: Eine Charakterisierung der Klassen L1 und R1 primitiv-rekursiver Wortfunktionen. GMD Seminarbericht Nr. 63 (1973).

  18. Schwichtenberg, H.: Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv math. Logik Grdl.12, 85–97 (1969).

    Article  Google Scholar 

  19. Tsichritzis, D.: A note on comparison of subrecursive hierarchies. Inf. Proc. Letters.1, 42–44 (1971).

    Article  Google Scholar 

  20. Weihrauch, K.: Hierarchien primitiv-rekursiver Wortfunktionen I. GMD Seminarbericht Nr. 49 (1972).

  21. Weihrauch, K.: Hierarchien primitiv-rekursiver Wortfunktionen II. GMD Seminarbericht Nr. 57 (1972).

  22. Weihrauch, K.: Teilklassen primitiv-rekursiver Wortfunktionen. Dissertation, Bonn, 1973; to appear in: Berichte der GMD.

Download references

Author information

Authors and Affiliations

  1. Institut für Rechner- und Programmstrukturen Gesellschaft für Mathematik und Datenverarbeitung, Schloß Birlinghoven, D-5205, St. Augustin 1, Bundesrepublik Deutschland

    F. W. v. Henke

  2. Case Western Reserve University, Cleveland, Ohio, U.S.A.

    G. Rose

  3. Institut für Angewandte Mathematik und Informatik, Universität Bonn, Wegelerstraße 6, D-5300, Bonn, Bundesrepublik Deutschland

    K. Indermark &  K. Weihrauch

Authors
  1. F. W. v. Henke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Rose
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. K. Indermark
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. K. Weihrauch
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This research was conducted at the Institut für Theorie der Automaten und Schaltnetzwerke (GMD) while the third author stayed there for one year. His present address: Case Western Reserve University, Cleveland, Ohio. Support was given by the Gesellschaft für Mathematik und Datenverarbeitung mbH, Bonn.

Rights and permissions

Reprints and permissions

About this article

Cite this article

v. Henke, F.W., Rose, G., Indermark, K. et al. On primitive recursive wordfunctions. Computing 15, 217–234 (1975). https://doi.org/10.1007/BF02242369

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02242369

Keywords

Search

Navigation