Skip to main content
SpringerLink
Log in
Book cover

Automata, Languages and Programming

Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977

  • Conference proceedings
  • © 1977

Overview

Editors:
  1. Arto Salomaa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Magnus Steinby
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
Softcover Book USD 49.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (43 papers)

  1. Front Matter

    Download chapter PDF

  2. How hard is compiler code generation?

    • Alfred V. Aho, Ravi Sethi
    Pages 1-15

  3. "Natural" complexity measures and time versus memory: Some definitional proposals

    • Donald A. Alton
    Pages 16-29

  4. Semantics and proof theory of pascal procedures

    • K. R. Apt, J. W. de Bakker
    Pages 30-44

  5. On the structure of combinatorial problems and structure preserving reductions

    • Giorgio Ausiello, Alessandro D'Atri, Marco Protasi
    Pages 45-60

  6. Factor graphs, failure functions and Bi-Trees

    • R. C. Backhouse, R. K. Lutz
    Pages 61-75

  7. Parallel decomposition of LR(k) parsers

    • David B. Benson, Ralph D. Jeffords
    Pages 76-86

  8. Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata

    • A. Bertoni, G. Mauri, M. Torelli
    Pages 87-94

  9. Termination tests inside λ-calculus

    • C. Böhm, M. Coppo, M. Dezani-Ciancaglini
    Pages 95-110

  10. On the computational power of reversal-bounded machines

    • Ronald V. Book, Chee K. Yap
    Pages 111-119

  11. The contextsensitivity bounds of contextsensitive grammars and languages

    • Franz-Josef Brandenburg
    Pages 120-134

  12. Serial composition of 2-way finite-state transducers and simple programs on strings

    • Michal P. Chytil, VojtÄ›ch Jákl
    Pages 135-147

  13. The sequence equivalence problem for dol systems is decidable

    • K. ÄŒulik II, I. FriÅ¡
    Pages 148-163

  14. Languages defined by higher type program schemes

    • Werner Damm
    Pages 164-179

  15. Parsing and syntactic error recovery for context-free grammars by means of coarse structures

    • Ernst-Wolfgang Dieterich
    Pages 180-192

  16. On three types of unambiguity of context-free language

    • A. Ja. Dikovskii, Larisa S. Modina
    Pages 193-205

  17. The mathematics of record handling

    • Hartmut Ehrig, Barry K. Rosen
    Pages 206-220

  18. Macro grammars, lindenmayer systems and other copying devices

    • Joost Engelfriet
    Pages 221-229

  19. On the time and tape complexity of hyper(1)-AFL's

    • Wilhelm J. Erni
    Pages 230-243

  20. Renaming and erasing in szilard languages

    • Matthias Höpner, Manfred Opp
    Pages 244-257
Back to top

Keywords

Bibliographic Information

  • Book Title: Automata, Languages and Programming

  • Book Subtitle: Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977

  • Editors: Arto Salomaa, Magnus Steinby

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-08342-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08342-9Published: 11 July 1977

  • eBook ISBN: 978-3-540-37305-6Published: 29 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 572

  • Topics: Theory of Computation, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation