83 Beziehungen: Akzeptor (Informatik), Alan Turing, Algorithmus, Allgemeingültigkeit, Alphabet (Informatik), Ameise (Turingmaschine), Array (Datentyp), Automat (Informatik), Berechenbarkeit, Berechenbarkeitstheorie, Boris Trakhtenbrot, Charles Petzold, Chomsky-Hierarchie, Christian Schröter (Philosoph), Christiane Fellbaum, Christopher Langton, Church-Turing-These, Computer, Computerprogramm, Datenspeicher, David Hilbert, Determinismus (Algorithmus), Emulator, Entscheidbar, Fleißiger Biber, Formale Sprache, Funktion (Mathematik), Generative Transformationsgrammatik, George A. Miller, Halteproblem, Heinz Lüneburg, Hilbertprogramm, Ingo Wegener, Interpretation (Logik), Jeffrey Ullman, Joachim Grabowski, John E. Hopcroft, Juraj Hromkovič, Kellerautomat, Komplexität (Informatik), Komplexitätsklasse, Komplexitätstheorie, Lambda-Kalkül, Leeres Wort, Magnetkopf, Marvin Minsky, Mathematik, Mathematisches Objekt, Mehrband-Turingmaschine, Mehrspuren-Turingmaschine, ..., Modell, National Institute of Standards and Technology, Nichtdeterministische Turingmaschine, Orakel-Turingmaschine, Oswald Wiener, Platzkomplexität, Polynomialzeit, Prädikatenlogik, Probabilistische Turingmaschine, Programmiersprache, Quantencomputer, Quanteninformatik, Quantenschaltung, Rajeev Motwani, Randomisierter Algorithmus, Rechnerarchitektur, Reelle Zahl, Registermaschine, Rekursiv aufzählbare Sprache, Satz von Rice, Stapelspeicher, Sybille Krämer, Theoretische Informatik, Tupel, Turing-Vollständigkeit, Turinggrad, Von-Neumann-Architektur, Wahlfreier Zugriff, Wohldefiniertheit, Zahl, Zeichen, Zeitkomplexität, Zweikellerautomat. Erweitern Sie Index (33 mehr) »
Akzeptor (Informatik)
Ein Akzeptor ist in der theoretischen Informatik ein spezieller endlicher Automat.
Neu!!: Turingmaschine und Akzeptor (Informatik) · Mehr sehen »
Alan Turing
Alan Turing (ca. 1938)Andrew Hodges: ''http://www.turing.org.uk/scrapbook/ww2.html The Alan Turing Internet Scrapbook.'' In: ''turing.org'', (englisch), abgerufen am 19. August 2017. Seine Unterschrift Alan Mathison Turing OBE, FRS (* 23. Juni 1912 in London; † 7. Juni 1954 in Wilmslow, Cheshire) war ein britischer Logiker, Mathematiker, Kryptoanalytiker und Informatiker.
Neu!!: Turingmaschine und Alan Turing · Mehr sehen »
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: Turingmaschine und Algorithmus · Mehr sehen »
Allgemeingültigkeit
In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig oder gültig, wenn sie von jeder beliebigen Interpretation erfüllt wird.
Neu!!: Turingmaschine und Allgemeingültigkeit · Mehr sehen »
Alphabet (Informatik)
In der Informatik und der mathematischen Logik ist ein Alphabet eine endliche Menge voneinander unterscheidbarer Symbole, die auch Zeichen oder Buchstaben genannt werden.
Neu!!: Turingmaschine und Alphabet (Informatik) · Mehr sehen »
Ameise (Turingmaschine)
Die Ameise ist eine Turingmaschine mit einem zweidimensionalen Speicher und wurde 1986 von Christopher Langton entwickelt.
Neu!!: Turingmaschine und Ameise (Turingmaschine) · Mehr sehen »
Array (Datentyp)
Ein Array ist in der Informatik eine Datenstruktur-Variante, mit deren Verwendung „viele gleichartig strukturierte Daten verarbeitet werden sollen“.
Neu!!: Turingmaschine und Array (Datentyp) · Mehr sehen »
Automat (Informatik)
Ein Automat oder eine abstrakte Maschine ist in der Informatik, speziell in der Automatentheorie, das Modell eines digitalen, zeitdiskreten Rechners.
Neu!!: Turingmaschine und Automat (Informatik) · Mehr sehen »
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Neu!!: Turingmaschine und Berechenbarkeit · 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!!: Turingmaschine und Berechenbarkeitstheorie · Mehr sehen »
Boris Trakhtenbrot
Boris Avraamovich Trakhtenbrot, auch Boaz,, auch Trachtenbrot geschrieben, (* 19. Februar 1921 in Tîrnova, Rajon Dondușeni; † 19. September 2016) war ein aus der ehemaligen Sowjetunion (Moldawien) stammender israelischer Informatiker und mathematischer Logiker.
Neu!!: Turingmaschine und Boris Trakhtenbrot · Mehr sehen »
Charles Petzold
Charles Petzold Charles Petzold (* 2. Februar 1953 in New Brunswick, New Jersey, USA) ist ein US-amerikanischer Programmierer und Autor zahlreicher Bücher zu verschiedenen Themen der Programmierung unter Microsoft Windows.
Neu!!: Turingmaschine und Charles Petzold · 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!!: Turingmaschine und Chomsky-Hierarchie · Mehr sehen »
Christian Schröter (Philosoph)
Christian Schröter 2023 in Weinheim Christian Schröter bei einem Vortrag 2016 an der Universität Heidelberg Christian Schröter, geb.
Neu!!: Turingmaschine und Christian Schröter (Philosoph) · Mehr sehen »
Christiane Fellbaum
Christiane Dorothea Fellbaum (* 18. Dezember 1950 in Braunschweig) ist eine deutsche Linguistin.
Neu!!: Turingmaschine und Christiane Fellbaum · Mehr sehen »
Christopher Langton
Christopher Langton Christopher Langton (* 1949) ist theoretischer Biologe und ein Mitbegründer der Forschungsdisziplin des Artificial Life, ein Begriff, den er Ende der 1980er Jahre einführte.
Neu!!: Turingmaschine und Christopher Langton · Mehr sehen »
Church-Turing-These
Die Church-Turing-These (benannt nach Alonzo Church und Alan Turing, auch Churchsche These genannt) trifft Aussagen über die Fähigkeiten einer Rechenmaschine.
Neu!!: Turingmaschine und Church-Turing-These · Mehr sehen »
Computer
Ein Computer (englisch; deutsche Aussprache) oder Rechner ist ein Gerät, das mittels programmierbarer Rechenvorschriften Daten verarbeitet.
Neu!!: Turingmaschine und Computer · Mehr sehen »
Computerprogramm
Ein Computerprogramm oder kurz Programm ist eine den Regeln einer bestimmten Programmiersprache genügende Folge von Anweisungen (bestehend aus Deklarationen und Instruktionen), um bestimmte Funktionen bzw.
Neu!!: Turingmaschine und Computerprogramm · Mehr sehen »
Datenspeicher
Einige Massenspeichermedien (Streichholz als Maßstab) Ein Datenspeicher dient in der Datenverarbeitung zur Speicherung von Daten.
Neu!!: Turingmaschine und Datenspeicher · Mehr sehen »
David Hilbert
David Hilbert (1912) David Hilbert (* 23. Januar 1862 in Königsberg; † 14. Februar 1943 in Göttingen) war ein deutscher Mathematiker und Hochschullehrer.
Neu!!: Turingmaschine und David Hilbert · Mehr sehen »
Determinismus (Algorithmus)
Ein deterministischer Algorithmus ist ein Algorithmus, bei dem nur definierte und reproduzierbare Zustände auftreten.
Neu!!: Turingmaschine und Determinismus (Algorithmus) · Mehr sehen »
Emulator
Atari-2600-Konsole Hercules. Emulation von Großrechnern Als Emulator (von, „nachahmen“) wird in der Computertechnik ein System bezeichnet, das ein anderes in bestimmten Teilaspekten nachbildet.
Neu!!: Turingmaschine und Emulator · Mehr sehen »
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Neu!!: Turingmaschine und Entscheidbar · Mehr sehen »
Fleißiger Biber
Fleißige Biber (auch) sind spezielle Turingmaschinen, die möglichst viele Einsen auf das Band schreiben und die nach einer endlichen Anzahl Rechenschritte den Halt-Zustand einnehmen (also anhalten).
Neu!!: Turingmaschine und Fleißiger Biber · 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!!: Turingmaschine und Formale Sprache · Mehr sehen »
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Neu!!: Turingmaschine und Funktion (Mathematik) · Mehr sehen »
Generative Transformationsgrammatik
Eine generative Transformationsgrammatik, kurz auch Transformationsgrammatik (TG), ist eine generative Grammatik (Erzeugungsgrammatik) mit Transformationsregeln.
Neu!!: Turingmaschine und Generative Transformationsgrammatik · Mehr sehen »
George A. Miller
George Armitage Miller (* 3. Februar 1920 in Charleston, West Virginia; † 22. Juli 2012 in Plainsboro, New Jersey) war ein US-amerikanischer Psychologe.
Neu!!: Turingmaschine und George A. Miller · Mehr sehen »
Halteproblem
Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.
Neu!!: Turingmaschine und Halteproblem · Mehr sehen »
Heinz Lüneburg
Heinz Lüneburg (1972) Heinrich „Heinz“ Lüneburg (* 30. März 1935 in Bonn; † 19. Januar 2009 in Kaiserslautern) war ein deutscher Mathematiker, der sich mit Kombinatorik, Geometrie und Algebra beschäftigte.
Neu!!: Turingmaschine und Heinz Lüneburg · Mehr sehen »
Hilbertprogramm
Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 1920er Jahren vorschlug.
Neu!!: Turingmaschine und Hilbertprogramm · Mehr sehen »
Ingo Wegener
Ingo Wegener (vollständiger Name Ingo Werner Wegener; * 4. Dezember 1950 in Bremen; † 27. November 2008 in Bielefeld) war ein deutscher Informatiker, der auf dem Gebiet der theoretischen Informatik arbeitete.
Neu!!: Turingmaschine und Ingo Wegener · Mehr sehen »
Interpretation (Logik)
Eine Interpretation (von) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird.
Neu!!: Turingmaschine und Interpretation (Logik) · Mehr sehen »
Jeffrey Ullman
Jeffrey David Ullman (* 22. November 1942 in New York City) ist ein US-amerikanischer Informatiker.
Neu!!: Turingmaschine und Jeffrey Ullman · Mehr sehen »
Joachim Grabowski
Joachim Grabowski (* 1958 in Hechingen) ist ein deutscher Psychologe.
Neu!!: Turingmaschine und Joachim Grabowski · Mehr sehen »
John E. Hopcroft
John E. Hopcroft, 2009 John Edward Hopcroft (* 7. Oktober 1939 in Seattle) ist ein amerikanischer Informatiker.
Neu!!: Turingmaschine und John E. Hopcroft · Mehr sehen »
Juraj Hromkovič
Juraj Hromkovič (* 24. August 1958 in Bratislava) ist ein slowakischer Informatiker und Professor an der ETH Zürich.
Neu!!: Turingmaschine und Juraj Hromkovič · 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!!: Turingmaschine und Kellerautomat · Mehr sehen »
Komplexität (Informatik)
Der Begriff Komplexität wird in der Informatik in verschiedenen Teilbereichen verwendet.
Neu!!: Turingmaschine und Komplexität (Informatik) · Mehr sehen »
Komplexitätsklasse
Komplexitätsklassen In der Komplexitätstheorie werden Probleme oder Algorithmen darauf untersucht, wie aufwendig sie zu berechnen sind bezüglich einer bestimmten Ressource, meist bezüglich des Zeitaufwands oder des (Speicher-)Platzaufwands.
Neu!!: Turingmaschine und Komplexitätsklasse · 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!!: Turingmaschine und Komplexitätstheorie · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Turingmaschine und Lambda-Kalkül · Mehr sehen »
Leeres Wort
Das leere Wort ist in der Theoretischen und in der Praktischen Informatik ein Wort, das aus keinem einzigen Zeichen besteht, also die Länge 0 hat.
Neu!!: Turingmaschine und Leeres Wort · Mehr sehen »
Magnetkopf
Als Magnetkopf wird ein Bauteil bezeichnet, das dem Beschreiben, Lesen und/oder Löschen magnetischer Speichermedien/Datenträger dient.
Neu!!: Turingmaschine und Magnetkopf · 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!!: Turingmaschine und Marvin Minsky · Mehr sehen »
Mathematik
Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathēmatikē téchnē ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.
Neu!!: Turingmaschine und Mathematik · Mehr sehen »
Mathematisches Objekt
Als mathematische Objekte werden die abstrakten Objekte bezeichnet, die in den verschiedenen Teilgebieten der Mathematik beschrieben und untersucht werden.
Neu!!: Turingmaschine und Mathematisches Objekt · Mehr sehen »
Mehrband-Turingmaschine
Eine Mehrband-Turingmaschine ist eine abstrakte Maschine in der theoretischen Informatik und eine Erweiterung der klassischen Turingmaschine.
Neu!!: Turingmaschine und Mehrband-Turingmaschine · Mehr sehen »
Mehrspuren-Turingmaschine
Eine Mehrspuren-Turingmaschine ist eine abstrakte Maschine in der theoretischen Informatik und eine Erweiterung der klassischen Turingmaschine.
Neu!!: Turingmaschine und Mehrspuren-Turingmaschine · Mehr sehen »
Modell
Ein Modell (modello (italienisch), modulus (lateinisch), wörtlich: Maß, Maßstab) ist „eine Nachbildung (Darstellung, Wiedergabe oder Reproduktion) eines Gegenstands, bei dem die für wesentlich erachteten Eigenschaften hervorgehoben werden.
Neu!!: Turingmaschine und Modell · Mehr sehen »
National Institute of Standards and Technology
NIST Advanced Measurement Laboratory (AML) in Gaithersburg, MD Das National Institute of Standards and Technology (NIST) ist eine Bundesbehörde der Vereinigten Staaten mit Sitz in Gaithersburg (Maryland) und hat seit 1954 eine Niederlassung in Boulder (Colorado).
Neu!!: Turingmaschine und National Institute of Standards and Technology · Mehr sehen »
Nichtdeterministische Turingmaschine
Eine nichtdeterministische Turingmaschine (NTM, NDTM) in der theoretischen Informatik ist eine Turingmaschine, die anstatt einer Übergangsfunktion eine Übergangsrelation verwendet.
Neu!!: Turingmaschine und Nichtdeterministische Turingmaschine · Mehr sehen »
Orakel-Turingmaschine
Eine Orakel-Turingmaschine ist eine Turingmaschine, die mit einem Orakel verbunden ist.
Neu!!: Turingmaschine und Orakel-Turingmaschine · Mehr sehen »
Oswald Wiener
Oswald Wiener (* 5. Oktober 1935 in Wien; † 18. November 2021 in der Steiermark) war ein österreichisch-kanadischer Schriftsteller, Kybernetiker, Sprachtheoretiker und Gastronom.
Neu!!: Turingmaschine und Oswald Wiener · Mehr sehen »
Platzkomplexität
Unter der Platzkomplexität eines Problems versteht man den (minimalen) Bedarf an Speicherplatz eines Algorithmus zur Lösung dieses Problems, in Abhängigkeit von der Länge der Eingabe.
Neu!!: Turingmaschine und Platzkomplexität · Mehr sehen »
Polynomialzeit
In der Komplexitätstheorie bezeichnet man ein Problem als in Polynomialzeit lösbar, wenn es mit einer deterministischen Rechenmaschine in einer Rechenzeit lösbar ist, die mit der Problemgröße nicht stärker als gemäß einer Polynomfunktion wächst.
Neu!!: Turingmaschine und Polynomialzeit · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Turingmaschine und Prädikatenlogik · Mehr sehen »
Probabilistische Turingmaschine
Eine probabilistische Turingmaschine, abgekürzt PTM, ist ein Konzept aus der theoretischen Informatik.
Neu!!: Turingmaschine und Probabilistische Turingmaschine · 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!!: Turingmaschine und Programmiersprache · Mehr sehen »
Quantencomputer
Ein Quantenprozessor bzw.
Neu!!: Turingmaschine und Quantencomputer · Mehr sehen »
Quanteninformatik
Die Quanteninformatik oder Quanteninformationsverarbeitung ist die Wissenschaft von einer Informationsverarbeitung, die quantenmechanische Phänomene nutzt.
Neu!!: Turingmaschine und Quanteninformatik · Mehr sehen »
Quantenschaltung
Mit Quantenschaltung wird in der Quanteninformatik ein abstraktes Modell für Quantencomputer bezeichnet.
Neu!!: Turingmaschine und Quantenschaltung · 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!!: Turingmaschine und Rajeev Motwani · Mehr sehen »
Randomisierter Algorithmus
Ein randomisierter Algorithmus (auch stochastischer oder probabilistischer Algorithmus) ist ein Algorithmus, der versucht, durch die Wahl von zufälligen Zwischenergebnissen zu einem (im Mittel) guten bzw.
Neu!!: Turingmaschine und Randomisierter Algorithmus · Mehr sehen »
Rechnerarchitektur
Rechnerarchitektur ist ein Teilgebiet der Technischen Informatik, das sich mit dem Design von Rechnern (Computern) und speziell mit deren Organisation sowie deren externem und internem Aufbau (was ebenfalls mit 'Rechnerarchitektur' bezeichnet wird) beschäftigt.
Neu!!: Turingmaschine und Rechnerarchitektur · Mehr sehen »
Reelle Zahl
natürlichen Zahlen (ℕ) gehören Die reellen Zahlen bilden einen in der Mathematik bedeutenden Zahlenbereich.
Neu!!: Turingmaschine und Reelle Zahl · Mehr sehen »
Registermaschine
Die Registermaschine (RM) ist eine abstrakte Maschine der theoretischen Informatik.
Neu!!: Turingmaschine und Registermaschine · Mehr sehen »
Rekursiv aufzählbare Sprache
In der theoretischen Informatik ist eine rekursiv aufzählbare Sprache (auch bekannt als semientscheidbare oder erkennbare Sprache) L dadurch definiert, dass es eine Turingmaschine gibt, die alle Wörter aus L akzeptiert, aber keine Wörter, die nicht in L liegen.
Neu!!: Turingmaschine und Rekursiv aufzählbare Sprache · Mehr sehen »
Satz von Rice
Der Satz von Rice ist ein Ergebnis der Theoretischen Informatik.
Neu!!: Turingmaschine und Satz von Rice · Mehr sehen »
Stapelspeicher
Vereinfachte Darstellung eines Stacks mit den Funktionen Push (drauflegen) und Pop (herunternehmen) In der Informatik bezeichnet ein Stapelspeicher oder Kellerspeicher (kurz Stapel oder Keller, häufig auch mit dem englischen Wort Stack bezeichnet) eine häufig eingesetzte dynamische Datenstruktur.
Neu!!: Turingmaschine und Stapelspeicher · Mehr sehen »
Sybille Krämer
Sybille Krämer (2019) Sybille Regina Krämer (* 21. März 1951 in Trier) ist eine deutsche Professorin für theoretische Philosophie.
Neu!!: Turingmaschine und Sybille Krämer · 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!!: Turingmaschine und Theoretische Informatik · Mehr sehen »
Tupel
Tupel (abgeleitet von mittellateinisch quintuplus ‚fünffach‘, septuplus ‚siebenfach‘, centuplus ‚hundertfach‘ etc.) sind in der Mathematik neben Mengen eine wichtige Art und Weise, mathematische Objekte zusammenzufassen.
Neu!!: Turingmaschine und Tupel · Mehr sehen »
Turing-Vollständigkeit
Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.
Neu!!: Turingmaschine und Turing-Vollständigkeit · Mehr sehen »
Turinggrad
In der Berechenbarkeitstheorie und der mathematischen Logik misst der Turinggrad (auch Grad der Unlösbarkeit) einer Menge natürlicher Zahlen die algorithmische Unlösbarkeit der Menge.
Neu!!: Turingmaschine und Turinggrad · Mehr sehen »
Von-Neumann-Architektur
Technischen Sammlungen Dresden Die Von-Neumann-Architektur (VNA) ist ein Referenzmodell für Computer, wonach ein gemeinsamer Speicher sowohl Computerprogrammbefehle als auch Daten hält.
Neu!!: Turingmaschine und Von-Neumann-Architektur · Mehr sehen »
Wahlfreier Zugriff
Folgezugriff und wahlfreier Zugriff Unter wahlfreiem Zugriff (auch „direkter Zugriff“, „Direktzugriff“) wird in der Informatik die Möglichkeit verstanden, in konstanter (oder unter-linearer) Zeit einen lesenden und/oder schreibenden Speicherzugriff auf ein beliebiges Element eines Datenspeichers oder einer Datenstruktur durchführen zu können.
Neu!!: Turingmaschine und Wahlfreier Zugriff · Mehr sehen »
Wohldefiniertheit
Wohldefiniertheit bezeichnet in der Mathematik und Informatik die Eigenschaft eines Objekts, eindeutig definiert zu sein.
Neu!!: Turingmaschine und Wohldefiniertheit · Mehr sehen »
Zahl
Übersicht über einige gängige Zahlbereiche. A\subset B bedeutet, dass die Elemente des Zahlbereiches A unter Beibehaltung wesentlicher Beziehungen auch als Elemente des Zahlbereichs B aufgefasst werden können. Echte Klassen sind in blau markiert. Zahlen sind abstrakte mathematische Objekte beziehungsweise Objekte des Denkens, die sich historisch aus Vorstellungen von Größe und Anzahl entwickelten.
Neu!!: Turingmaschine und Zahl · Mehr sehen »
Zeichen
Ein Zeichen ist im weitesten Sinne etwas, das auf etwas anderes hindeutet, etwas bezeichnet.
Neu!!: Turingmaschine und Zeichen · Mehr sehen »
Zeitkomplexität
Unter der Zeitkomplexität eines Problems wird in der Informatik die Anzahl der Rechenschritte verstanden, die ein optimaler Algorithmus zur Lösung dieses Problems benötigt, in Abhängigkeit von der Länge der Eingabe.
Neu!!: Turingmaschine und Zeitkomplexität · Mehr sehen »
Zweikellerautomat
Der Begriff Zweikellerautomat (TPDA – engl. Two-stack Push Down Automaton) steht in der Theoretischen Informatik für ein besonderes Automatenmodell.
Neu!!: Turingmaschine und Zweikellerautomat · Mehr sehen »
Leitet hier um:
Persistente Turingmaschine, Turing-Maschine.