Can I read Automata, Languages and Programming [Ressource électronique] : 2nd Colloquium, University of Saarbrücken July 29-August 2, 1974 on EtoBox?

Automata, Languages and Programming [Ressource électronique] : 2nd Colloquium, University of Saarbrücken July 29-August 2, 1974 by Loeckx, J.. Auteur is a book available to read on EtoBox.

What is Automata, Languages and Programming [Ressource électronique] : 2nd Colloquium, University of Saarbrücken July 29-August 2, 1974 about?

Content: Front Matter....Pages -The generative power of two-level grammars....Pages 9-16A generalisation of Parikh's theorem in formal language theory....Pages 17-26Checking stacks and context-free programmed grammars accept p-complete languages....Pages 27-33Recursion and parameter mechanisms: An axiomatic approach....Pages 34-65Dynamic programming schemata....Pages 66-80Semantic characterization of flow diagrams and their decomposability....Pages 81-96On the most recent property of ALGOL-like programs....Pages 97-111Langages sans etiquettes et transformations de programmes....Pages 112-128Relations between semantics and complexity of recursive programs-....Pages 129-140On the relation between direct and continuation semantics....Pages 141-156Graph representation and computation rules for typeless recursive languages....Pages 157-169Application of Church-Rosser properties to increase the parallelism and efficiency of algorithms....Pages 170-184Combinatorial problems, combinator equations and normal forms....Pages 185-199Algorithmes d'Equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples....Pages 200-213Automatic generation of multip

Author

Loeckx, J.. Auteur

Publisher

Berlin, Heidelberg : Springer-Verlag : Springer e-books

Published

1974

Language

EN