Skip to main content
SpringerLink
Log in
Book cover

1. Fachtagung über Automatentheorie und Formale Sprachen

GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973

  • Conference proceedings
  • © 1973

Overview

Editors:
  1. Karl-Heinz Böhling
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus Indermark
    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 2)

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 (37 papers)

  1. Front Matter

    Download chapter PDF

  2. On the structure of algorithmic problems

    • E. Engeler
    Pages 1-15

  3. A mathematical model of digital computers

    • Z. Pawlak
    Pages 16-22

  4. On some recent problems concerning developmental languages

    • A. Salomaa
    Pages 23-34

  5. Fault-tolerance and stability of fuzzy-state automata

    • M. Dal Cin
    Pages 35-44

  6. Bemerkungen über Homomorphismen endlicher in lineare Automaten

    • L. Eichner
    Pages 45-53

  7. Der Kaskadenzerlegungssatz für Halbautomaten

    • E. Hotzel
    Pages 54-63

  8. Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme

    • H. Hummel
    Pages 64-73

  9. Ketten und arithmetische Prädikate von endlichen Automaten

    • Th. Ottmann
    Pages 74-80

  10. Une hierarchie infinie de cones d'Accepteurs verificateurs

    • F. Rodriguez
    Pages 81-87

  11. Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten

    • D. Schütt
    Pages 88-97

  12. Ein automatentheoretisches Modell einer Speicherhierarchie

    • H. -G. Stork
    Pages 98-103

  13. Deterministic one-counter automata

    • L. G. Valiant, M. S. Paterson
    Pages 104-115

  14. The use of metric and uniform spaces for the formalization of behavioral proximity of states

    • R. Valk
    Pages 116-122

  15. Quelques generateurs des langages algebriques

    • J. -M. Autebert
    Pages 123-131

  16. Une caracterisation des langages quasi-rationnels standards

    • J. Beauquier
    Pages 132-138

  17. Der Einfluss von Kontext auf spezielle CF-Grammatiken

    • F. J. Brandenburg
    Pages 139-148

  18. Zur Komplexität gesteuerter kontextfreier Ersetzungen

    • A. B. Cremers, O. Mayer, K. Weiss
    Pages 149-155

  19. Characterization of derivation sets of formal systems

    • M. Kudlek
    Pages 156-165

  20. Die Darstellung indizierter Sprachen durch Ausdrücke

    • O. Mayer
    Pages 166-174
Back to top

Keywords

Bibliographic Information

  • Book Title: 1. Fachtagung über Automatentheorie und Formale Sprachen

  • Book Subtitle: GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973

  • Editors: Karl-Heinz Böhling, Klaus Indermark

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1973

  • Softcover ISBN: 978-3-540-06527-2Published: 05 December 1973

  • eBook ISBN: 978-3-540-37826-6Published: 11 April 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 330

  • Topics: Programming Techniques, Computation by Abstract Devices, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation