Skip to main content
SpringerLink
Log in

Programmschemata mit Booleschen Unterprogrammen

  • Conference paper
GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Part of the book series: Lecture Notes in Economics and Mathematical Systems ((LNE,volume 78))

Zusammenfassung

Iterative Programmschemata werden um boolesche Unterprogramme erweitert. Bei der Interpretation durch endliche Automaten bedeutet diese Erweiterung, daß die Ausgabe von einem look-ahead auf dem Eingabeband abhängen kann. Die dadurch bestimmte Klasse von Funktionen liegt schief zu der Klasse der Kellertransduktionen, also der durch die rekursiven Programmschemata bei gleicher Interpretation bestimmten Funktionen.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  • Fischer, P.C. : Turing machines with restricted memory access. Inf. and Control 9 (1966), 364 – 379

    Article  MATH  Google Scholar 

  • v. Henke, F.W. : Programmschemata und Familien Abstrakter Programme. Mitteilungen der GMD Bonn Nr. 11 (1971)

    Google Scholar 

  • Ito, R. : Some formal properties of a class of non-deterministic program schemata. IEEE Conf. Rec. IX SWAT (1968), 85 – 98

    Google Scholar 

  • Luckham, D., Park, D. and Paterson, M. : On formalised computer programs. Journal of Comp.Syst.Sc. 4 (1970), 220 – 249

    Article  MATH  MathSciNet  Google Scholar 

  • Scott, D. : Some definitional suggestions for automata theory. Journal of Comp.Syst.Sc. 1 (1967), 187 – 212

    Article  MATH  Google Scholar 

  • Scott, D. : Outline of a mathematical theory of computation. Oxford University Comp. Lab., Techn. Monograph PRG-2 (1970)

    Google Scholar 

  • Strong, H. : Translating recursion equations into flow charts. Journal of Comp.Syst.Sc. 5 (1971), 254 – 285

    Article  MATH  MathSciNet  Google Scholar 

Download references

Authors
  1. K. Indermark
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Karlsruhe, Deutschland

    Peter Deussen

Rights and permissions

Reprints and permissions

Copyright information

© 1973 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Indermark, K. (1973). Programmschemata mit Booleschen Unterprogrammen. In: Deussen, P. (eds) GI. Gesellschaft für Informatik e.V. 2. Jahrestagung. Lecture Notes in Economics and Mathematical Systems, vol 78. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-80732-9_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-80732-9_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06127-4

  • Online ISBN: 978-3-642-80732-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation