Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Automatentheorie

Index Automatentheorie

Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt.

32 Beziehungen: Automat (Informatik), Berechenbarkeitstheorie, Boolescher Differentialkalkül, Chomsky-Hierarchie, Claude Shannon, Compilerbau, Edward F. Moore, Endlicher Automat, Formale Grammatik, Formale Sprache, Jeffrey Ullman, John E. Hopcroft, John McCarthy, John von Neumann, Kellerautomat, Komplexitätstheorie, Lexikalische Analyse, Marvin Minsky, Parser, Pearson (Unternehmen), Problem, Programmiersprache, R. Oldenbourg Verlag, Rajeev Motwani, Rogner & Bernhard, Springer Spektrum, Stephen Cole Kleene, Theoretische Informatik, Turingmaschine, Uwe Schöning, Vieweg Verlag, Zellulärer Automat.

Automat (Informatik)

Ein Automat oder eine abstrakte Maschine ist in der Informatik, speziell in der Automatentheorie, das Modell eines digitalen, zeitdiskreten Rechners.

Neu!!: Automatentheorie und Automat (Informatik) · Mehr sehen »

Berechenbarkeitstheorie

Die Berechenbarkeitstheorie (auch Rekursionstheorie) ist ein Teilgebiet der theoretischen Informatik und der mathematischen Logik, die sich mit dem Begriff der Berechenbarkeit befasst, insbesondere damit, welche Probleme mit Hilfe einer Maschine (genauer: eines mathematischen Modells einer Maschine) oder eines anderen mathematischen Modells der Berechenbarkeit lösbar sind.

Neu!!: Automatentheorie und Berechenbarkeitstheorie · Mehr sehen »

Boolescher Differentialkalkül

Der Boolesche Differentialkalkül (BDK) ist ein Teilgebiet der Booleschen Algebra, der sich speziell mit Änderungen von Booleschen Variablen und Booleschen Funktionen beschäftigt.

Neu!!: Automatentheorie und Boolescher Differentialkalkül · Mehr sehen »

Chomsky-Hierarchie

Chomsky-Hierarchie, gelegentlich Chomsky-Schützenberger-Hierarchie (benannt nach dem Linguisten Noam Chomsky und dem Mathematiker Marcel Schützenberger), ist ein Begriff aus der theoretischen Informatik.

Neu!!: Automatentheorie und Chomsky-Hierarchie · Mehr sehen »

Claude Shannon

Claude Shannon (um 1963) Claude Elwood Shannon (* 30. April 1916 in Petoskey, Michigan; † 24. Februar 2001 in Medford, Massachusetts) war ein US-amerikanischer Mathematiker und Elektrotechniker.

Neu!!: Automatentheorie und Claude Shannon · Mehr sehen »

Compilerbau

Compilerbau, deutsch Übersetzerbau, ist eine Disziplin der Informatik, die sich mit dem Entwurf und der Programmierung von Compilern, die einen Quelltext in einen Zielcode umsetzen, beschäftigt.

Neu!!: Automatentheorie und Compilerbau · Mehr sehen »

Edward F. Moore

Edward Forrest Moore (* 23. November 1925 in Baltimore, Maryland; † 14. Juni 2003 in Madison, Wisconsin) war einer der Mitbegründer der Automatentheorie, Erfinder des nach ihm benannten Moore-Automaten und ein früher Pionier des künstlichen Lebens.

Neu!!: Automatentheorie und Edward F. Moore · Mehr sehen »

Endlicher Automat

Abbildung 1: Beispiel eines EA, der eine Tür beschreibt Ein endlicher Automat (EA, auch Zustandsmaschine, Zustandsautomat;, FSM) ist ein Modell eines Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen.

Neu!!: Automatentheorie und Endlicher Automat · Mehr sehen »

Formale Grammatik

Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.

Neu!!: Automatentheorie und Formale Grammatik · Mehr sehen »

Formale Sprache

Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.

Neu!!: Automatentheorie und Formale Sprache · Mehr sehen »

Jeffrey Ullman

Jeffrey David Ullman (* 22. November 1942 in New York City) ist ein US-amerikanischer Informatiker.

Neu!!: Automatentheorie und Jeffrey Ullman · Mehr sehen »

John E. Hopcroft

John E. Hopcroft, 2009 John Edward Hopcroft (* 7. Oktober 1939 in Seattle) ist ein amerikanischer Informatiker.

Neu!!: Automatentheorie und John E. Hopcroft · Mehr sehen »

John McCarthy

John McCarthy (2006) John McCarthy (* 4. September 1927 in Boston, Massachusetts; † 23. Oktober 2011 in Palo Alto, Kalifornien) war ein US-amerikanischer Logiker, Informatiker und Autor.

Neu!!: Automatentheorie und John McCarthy · Mehr sehen »

John von Neumann

John von Neumann (um 1940) John von Neumann (* 28. Dezember 1903 in Budapest, Österreich-Ungarn als Neumann János Lajos; † 8. Februar 1957 in Washington, D.C., Vereinigte Staaten) war ein ungarisch-US-amerikanischer Mathematiker.

Neu!!: Automatentheorie und John von Neumann · Mehr sehen »

Kellerautomat

Ein Kellerautomat (KA, auch PDA für englisch pushdown automaton; auch Stackmaschine) ist ein Automat im Sinne der theoretischen Informatik, ein Konstrukt, das verwendet wird, um gewisse Eigenschaften von Problemen und Algorithmen zu analysieren und zu beweisen.

Neu!!: Automatentheorie und Kellerautomat · Mehr sehen »

Komplexitätstheorie

Die Komplexitätstheorie als Teilgebiet der theoretischen Informatik befasst sich mit der Komplexität algorithmisch behandelbarer Probleme auf verschiedenen formalen Rechnermodellen.

Neu!!: Automatentheorie und Komplexitätstheorie · Mehr sehen »

Lexikalische Analyse

Lexikalische Analyse ist in der Informatik die Zerlegung einer Zeichenkette (z. B. Quelltext) in eine Folge von logisch zusammengehörigen Einheiten, sogenannte Token.

Neu!!: Automatentheorie und Lexikalische Analyse · Mehr sehen »

Marvin Minsky

Marvin Minsky (2008) Mit einem Konfokalmikroskop gemessenes 3D-Oberflächenprofil einer 1-Euro-Münze (Ausschnitt) Marvin Lee Minsky (* 9. August 1927 in New York; † 24. Januar 2016 in Boston, Massachusetts) war ein amerikanischer Forscher auf dem Gebiet der künstlichen Intelligenz (KI).

Neu!!: Automatentheorie und Marvin Minsky · Mehr sehen »

Parser

Ein Parser („analysieren“, bzw. „Teil“; im Deutschen gelegentlich auch Zerteiler) ist ein Computerprogramm, das in der Informatik für die Zerlegung und Umwandlung einer Eingabe in ein für die Weiterverarbeitung geeigneteres Format zuständig ist.

Neu!!: Automatentheorie und Parser · Mehr sehen »

Pearson (Unternehmen)

Das Unternehmen Pearson ist ein Medienkonzern mit Firmensitz in London (Vereinigtes Königreich).

Neu!!: Automatentheorie und Pearson (Unternehmen) · Mehr sehen »

Problem

Ein Problem („Vorsprung, Klippe, Hindernis; das, was vorgelegt wurde“) entsteht in einer Situation, in der ein oder mehrere Ziele erreicht werden müssen, wobei nicht unmittelbar sicher ist, welche Maßnahmen ergriffen oder welche Mittel eingesetzt werden müssen, um diese Ziele zu erreichen.

Neu!!: Automatentheorie und Problem · Mehr sehen »

Programmiersprache

Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.

Neu!!: Automatentheorie und Programmiersprache · Mehr sehen »

R. Oldenbourg Verlag

Der R. Oldenbourg Verlag ist ein 1858 von Rudolf Oldenbourg (1811–1903) gegründeter Buch- und Zeitschriftenverlag, vormals mit den Schwerpunkten Wissenschaft, Technik und Schulbücher.

Neu!!: Automatentheorie und R. Oldenbourg Verlag · Mehr sehen »

Rajeev Motwani

Rajeev Motwani 2006 Rajeev Motwani (* 26. März 1962 in Jammu; † 5. Juni 2009 in Atherton) war ein indischer Informatiker.

Neu!!: Automatentheorie und Rajeev Motwani · Mehr sehen »

Rogner & Bernhard

Rogner & Bernhard war ein deutscher Verlag für Belletristik und Sachbücher.

Neu!!: Automatentheorie und Rogner & Bernhard · Mehr sehen »

Springer Spektrum

Springer Spektrum, zuvor Spektrum Akademischer Verlag (SAV), ist ein Fachverlag bzw.

Neu!!: Automatentheorie und Springer Spektrum · Mehr sehen »

Stephen Cole Kleene

Kleene 1978 Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker.

Neu!!: Automatentheorie und Stephen Cole Kleene · Mehr sehen »

Theoretische Informatik

Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.

Neu!!: Automatentheorie und Theoretische Informatik · Mehr sehen »

Turingmaschine

Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.

Neu!!: Automatentheorie und Turingmaschine · Mehr sehen »

Uwe Schöning

Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker.

Neu!!: Automatentheorie und Uwe Schöning · Mehr sehen »

Vieweg Verlag

Der Vieweg Verlag war bis 2008 ein deutscher Fachverlag.

Neu!!: Automatentheorie und Vieweg Verlag · Mehr sehen »

Zellulärer Automat

Beispiel für ein raumzeitliches Muster, das sich in einem zellulären Automaten ausbildetDaniel Dennett, (1995), Darwin's Dangerous Idea, Penguin Books, London, ISBN 978-0-14-016734-4, ISBN 0-14-016734-X Zelluläre oder auch zellulare Automaten dienen der Modellierung räumlich diskreter dynamischer Systeme.

Neu!!: Automatentheorie und Zellulärer Automat · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »