Skip to main content
SpringerLink
Log in

Automaten und formale Sprachen

  • Chapter
Berechnungstheorie für Informatiker

Part of the book series: Leitfäden und Monographien der Informatik ((LMI))

  • 22 Accesses

Zusammenfassung

Das ganze Kapitel 1 war dem Studium der Funktionen auf den natürlichen Zahlen, insbesondere dem Problem der Berechenbarkeit und der Bildung von Funktionsklassen gewidmet. Dabei wurde auch die enge Beziehung zwischen Funktionen und Teilmengen herausgearbeitet: Jede Funktion lässt sich als Menge (eine n-stellige Funktion als (n+l)-Tupelmenge), jede Menge als Funktion (charakteristische Funktion) interpretieren.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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

  • N. Chomsky, Formal Properties of Grammars, in: Handbook of Mathematical Psychology, vol. 2 (Luce, et al., eds.). Wiley, 1963.

    Google Scholar 

  • S. C. Kleene, Representation of events in nerve nets and finite automata, in: Automata Studies. Princeton Univ. Press, 1956.

    Google Scholar 

  • M. O. Rabin und D. Scott, Finite Automata and Their Decision Problems, IBM J. Res. 3 (1959), S. 115–125.

    Article  MathSciNet  Google Scholar 

  • S. Ginsburg, The Mathematical Theory of Context-Free Languages. McGraw-Hill, 1966.

    Google Scholar 

  • E. Hoperoft und J. D. Ullman, Formal Languages and Their Relation to Automata. Addison-Wesley, 1969.

    Google Scholar 

  • A. Salomaa, Jewels of Formal Language Theory. Computer Science Press, 1981.

    Google Scholar 

  • S. A. Greibach, Formal Languages: Origins and Directions, Annals Hist. Comp. 3 (1981), S. 14–41.

    MathSciNet  MATH  Google Scholar 

  • J. R. Büchi, Mathematische Theorie des Verhaltens endlicher Automaten, Z. Angew. Math. Mech. 42 (1962), S. 9–16.

    Article  Google Scholar 

  • W. Brauer, Automatentheorie. B. G. Teubner, Stuttgart, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Zürich, Switzerland

    Prof. Dr. sc. math. Erwin Engeler & Prof. Dr. sc. math. Peter Läuchli

Authors
  1. Prof. Dr. sc. math. Erwin Engeler
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Prof. Dr. sc. math. Peter Läuchli
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1988 B. G. Teubner Stuttgart

About this chapter

Cite this chapter

Engeler, E., Läuchli, P. (1988). Automaten und formale Sprachen. In: Berechnungstheorie für Informatiker. Leitfäden und Monographien der Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-92677-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-92677-7_2

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-519-12258-6

  • Online ISBN: 978-3-322-92677-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation