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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Fischer, P.C. : Turing machines with restricted memory access. Inf. and Control 9 (1966), 364 – 379
v. Henke, F.W. : Programmschemata und Familien Abstrakter Programme. Mitteilungen der GMD Bonn Nr. 11 (1971)
Ito, R. : Some formal properties of a class of non-deterministic program schemata. IEEE Conf. Rec. IX SWAT (1968), 85 – 98
Luckham, D., Park, D. and Paterson, M. : On formalised computer programs. Journal of Comp.Syst.Sc. 4 (1970), 220 – 249
Scott, D. : Some definitional suggestions for automata theory. Journal of Comp.Syst.Sc. 1 (1967), 187 – 212
Scott, D. : Outline of a mathematical theory of computation. Oxford University Comp. Lab., Techn. Monograph PRG-2 (1970)
Strong, H. : Translating recursion equations into flow charts. Journal of Comp.Syst.Sc. 5 (1971), 254 – 285
Editor information
Editors and Affiliations
Rights 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