Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
eBook - ePub

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

  1. 259 Seiten
  2. German
  3. ePUB (handyfreundlich)
  4. Über iOS und Android verfügbar
eBook - ePub

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

Über dieses Buch

Die drei Teile der "Informatik - Einführung" decken alle Inhalte des kompletten Informatik-Bachelorstudiums ab. Die einzelnen Teile sind auf die Inhalte der einzelnen Semester abgestimmt. Jeder Teil liefert unabhängig die Grundlagen für die jeweiligen Themen. Durch seinen didaktischen Aufbau mit Aufgaben ist das Buch auf die Bachelorstudierenden abgestimmt. Durch seine anschauliche Darstellung sowie Beispiele aus der Praxis holt es die Einsteiger bei deren Wissensstand ab.

Der Teil drei der "Informatik Einführung "beschreibt die Themen ab dem 4. Semester: Formale Sprachen, Compilerbau, Datenbanksysteme, Grafikprogrammierung, Softwareentwicklung, Projektmanagement.

375,005 Studierende vertrauen auf uns

Zugang zu über 1 Million Titeln zu einem fairen monatlichen Preis.

Mit unseren Lerntools kannst du noch effizienter lernen.

Information

Verlag
De Gruyter Oldenbourg
Jahr
2019
ISBN drucken
9783110442380
eBook-ISBN:
9783110434057
Thema
Informatik
Thema
Informatik Allgemein

Kapitel 1

Formale Sprachen

Theoretische Informatik und Mathematik schaffen die Basis für viele der technischen Entwicklungen, die wir in den drei Bänden dieser Reihe besprechen. Die boolesche Algebra legt die theoretischen Grundlagen für den Bau digitaler Schaltungen, die Theorie formaler Sprachen zeigt auf, wie die Syntax von Programmiersprachen aufgebaut werden sollte, damit Programme einfach und effizient in lauffähige Programme übersetzt werden können, und die Theorie der Berechenbarkeit deckt exakt die Grenzen des Berechenbaren auf. Sie zieht eine klare Linie zwischen dem was man prinzipiell programmieren kann und dem was mit Sicherheit nicht von einem Rechner gelöst werden kann.
Ein fehlerfreies Programm ist noch lange nicht korrekt. Wünschenswert wäre es, wenn man feststellen könnte, ob jede Schleife auch terminiert. Dass diese und ähnliche semantischen Eigenschaften nicht automatisch geprüft werden können, ist eine der Konsequenzen der Berechenbarkeitstheorie. Mit dieser kann man auch zeigen, dass, wenn man einmal von Geschwindigkeit und Speicherplatz absieht, alle Rechner in ihren mathematischen Fähigkeiten identisch sind und damit das gleiche können bzw. nicht können.
Schließlich hilft uns die Komplexitätstheorie, Aussagen über den Aufwand zu machen,...

Inhaltsverzeichnis

  1. Cover
  2. Titelseite
  3. Impressum
  4. Front Matter
  5. Inhaltsverzeichnis
  6. Vorwort
  7. 1 Formale Sprachen
  8. 2 Reguläre Sprachen
  9. 3 Grammatiken und Stackautomaten
  10. 4 Compilerbau
  11. 5 Berechenbarkeit
  12. 6 Komplexität
  13. Literatur
  14. Stichwortverzeichnis

Häufig gestellte Fragen

Ja, du kannst dein Abo jederzeit über den Tab Abo in deinen Kontoeinstellungen auf der Perlego-Website kündigen. Dein Abo bleibt bis zum Ende deines aktuellen Abrechnungszeitraums aktiv. Erfahre, wie du dein Abo kündigen kannst
Nein, Bücher können nicht als externe Dateien, z. B. PDFs, zur Verwendung außerhalb von Perlego heruntergeladen werden. Du kannst jedoch Bücher in der Perlego-App herunterladen, um sie offline auf deinem Smartphone oder Tablet zu lesen. Erfahre, wie du Bücher herunterladen kannst, um sie offline zu lesen
Perlego bietet zwei Abopläne an: Elementar und Erweitert
  • Elementar ist ideal für Lernende und Profis, die sich mit einer Vielzahl von Themen beschäftigen möchten. Erhalte Zugang zur Basic-Bibliothek mit über 800.000 vertrauenswürdigen Titeln und Bestsellern in den Bereichen Wirtschaft, persönliche Weiterentwicklung und Geisteswissenschaften. Enthält unbegrenzte Lesezeit und die Standardstimme für die Funktion „Vorlesen“.
  • Pro: Perfekt für fortgeschrittene Lernende und Forscher, die einen vollständigen, uneingeschränkten Zugang benötigen. Schalte über 1,4 Millionen Bücher zu Hunderten von Themen frei, darunter akademische und hochspezialisierte Titel. Das Pro-Abo umfasst auch erweiterte Funktionen wie Premium-Vorlesen und den Recherche-Assistenten.
Beide Abopläne sind mit monatlichen, halbjährlichen oder jährlichen Abrechnungszyklen verfügbar.
Wir sind ein Online-Lehrbuch-Abo, bei dem du für weniger als den Preis eines einzelnen Buches pro Monat Zugang zu einer ganzen Online-Bibliothek erhältst. Mit über 1 Million Büchern zu über 990 verschiedenen Themen haben wir bestimmt alles, was du brauchst! Erfahre mehr über unsere Mission
Achte auf das Symbol zum Vorlesen bei deinem nächsten Buch, um zu sehen, ob du es dir auch anhören kannst. Bei diesem Tool wird dir Text laut vorgelesen, wobei der Text beim Vorlesen auch grafisch hervorgehoben wird. Du kannst das Vorlesen jederzeit anhalten, beschleunigen und verlangsamen. Erfahre mehr über die Funktion „Vorlesen“
Ja! Du kannst die Perlego-App sowohl auf iOS- als auch auf Android-Geräten nutzen, damit du jederzeit und überall lesen kannst – sogar offline. Perfekt für den Weg zur Arbeit oder wenn du unterwegs bist.
Bitte beachte, dass wir Geräte, auf denen die Betriebssysteme iOS 13 und Android 7 oder noch ältere Versionen ausgeführt werden, nicht unterstützen können. Mehr über die Verwendung der App erfahren
Ja, du hast Zugang zu Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität von Heinz-Peter Gumm,Manfred Sommer im PDF- und/oder ePub-Format sowie zu anderen beliebten Büchern aus Informatik & Informatik Allgemein. Aus unserem Katalog stehen dir über 1 Million Bücher zur Verfügung.