Advertisement

Automaten Sprachen Berechenbarkeit

Grundkurs Angewandte Informatik IV

  • Peter Sander
  • Wolffried Stucky
  • Rudolf Herschel
  • Editors
  • W. Stucky

Part of the Leitfäden der Informatik book series (XLINF)

Table of contents

  1. Front Matter
    Pages 1-10
  2. Peter Sander, Wolffried Stucky, Rudolf Herschel
    Pages 11-25
  3. Peter Sander, Wolffried Stucky, Rudolf Herschel
    Pages 26-97
  4. Peter Sander, Wolffried Stucky, Rudolf Herschel
    Pages 98-171
  5. Peter Sander, Wolffried Stucky, Rudolf Herschel
    Pages 172-244
  6. Back Matter
    Pages 245-268

About this book

Introduction

Der Begriff der formalen Sprache ist grundlegend für viele Bereiche der angewandten und theoretischen Informatik, sei es im Bereich der Programmiersprachen, im Compilerbau oder auch in Datenmanipulations- und Abfragesprachen oder Datenbanktechnologie. Ausgehend von motivierenden Beispielen werden die klassischen analysierenden und erzeugenden Systeme formaler Sprachen untersucht: Der Hierarchie der Automaten, von endlichen Automaten über Kellerautomaten bis hin zu Turing-Maschinen, wird die Hierarchie der Chomsky-Grammatiken gegenübergestellt, wobei die einzelnen Sprachklassen diskutiert und klar gegeneinander abgegrenzt werden. Schließlich erfolgt die Darstellung grundlegender Begriffe wie "Algorithmus", "Berechenbarkeit", Entscheidbarkeit", etc. Die Bedeutung dieser Begriffe für die Informatik im allgemeinen und für die Theorie formaler Sprachen im speziellen wird herausgearbeitet. Ziel des Bandes ist es, auf leicht verständliche und dennoch präzise Weise eine Einführung in diese wichtigen Gebiete der Informatik zu geben. Insbesondere soll beim Leser ein Verständnis für viele methodischen Grundlagen - etwa für die Konzepte von Programmiersprachen - entwickelt werden. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung.

Keywords

Algorithmen Automaten Berechenbarkeit Informatik Leitfäden der Informatik formale Sprache formale Sprachen mathematische Grundlagen

Authors and affiliations

  • Peter Sander
    • 1
  • Wolffried Stucky
    • 2
  • Rudolf Herschel
    • 3
  1. 1.Frankfurt/MainDeutschland
  2. 2.Universität KarlsruheDeutschland
  3. 3.Fachhochschule UlmDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-84873-4
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1995
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-519-12937-0
  • Online ISBN 978-3-322-84873-4
  • Series Print ISSN 1615-5432
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering