Advertisement

Vorlesungen über Informatik

Berechenbarkeit, formale Sprachen, Spezifikationen

  • Gerhard Goos

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Gerhard Goos
    Pages 1-50
  3. Gerhard Goos
    Pages 51-76
  4. Gerhard Goos
    Pages 77-144
  5. Gerhard Goos
    Pages 145-172
  6. Gerhard Goos
    Pages 173-216
  7. Back Matter
    Pages 273-284

About this book

Introduction

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.

Keywords

Algorithmen Automaten Datenstruktur Kommunikation Komplexität Komplexitätsklassen Komplexitätstheorie Objektorientiert Programmieren Reguläre Sprache Turingmaschine Z-Notation endliche Automaten formale Sprache rekursive Funktion

Authors and affiliations

  • Gerhard Goos
    • 1
  1. 1.Institut für Programmstrukturen und DatenorganisationUniversität KarlsruheKarlsruheGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-59140-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60655-0
  • Online ISBN 978-3-642-59140-2
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering