Schneller Zugriff als Browser!
40 Beziehungen: Akzeptor (Informatik), Algorithmus, Alphabet (Informatik), Analyse, Automat (Informatik), Beweis (Mathematik), C (Programmiersprache), Chomsky-Hierarchie, Compiler, Determinismus (Algorithmus), Deterministisch kontextfreie Sprache, Dyck-Sprache, Endlicher Automat, Englische Sprache, Epsilon, Flynnsche Klassifikation, Formale Sprache, Greibach-Normalform, Hüllenoperator, Interpreter, Kontextfreie Sprache, Leeres Wort, Lineare Sprache, Menge (Mathematik), Nichtdeterminismus, Parser, Problem, Reflexive Relation, Registermaschine, Reguläre Sprache, Rekursiv aufzählbare Sprache, Stapelspeicher, Theoretische Informatik, Token (Übersetzerbau), Transitive Relation, Tupel, Turingmaschine, Umgekehrte polnische Notation, Wort (theoretische Informatik), Zweikellerautomat.
Akzeptor (Informatik)
Ein Akzeptor ist in der theoretischen Informatik ein spezieller endlicher Automat.
Neu!!: Kellerautomat und Akzeptor (Informatik) · 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!!: Kellerautomat und Algorithmus · 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!!: Kellerautomat und Alphabet (Informatik) · Mehr sehen »
Analyse
Adriaen van Ostade, „Analyse“ (1666) Eine Analyse (von griechisch ἀνάλυσις análysis „Auflösung, Zergliederung“) ist eine systematische Untersuchung, bei der das untersuchte Objekt in seine Bestandteile (Elemente) zerlegt wird.
Neu!!: Kellerautomat und Analyse · 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!!: Kellerautomat und Automat (Informatik) · Mehr sehen »
Beweis (Mathematik)
Beispielhafter, schematischer Aufbau eines Beweises Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw.
Neu!!: Kellerautomat und Beweis (Mathematik) · Mehr sehen »
C (Programmiersprache)
C ist eine imperative und prozedurale Programmiersprache, die der Informatiker Dennis Ritchie in den frühen 1970er Jahren an den Bell Laboratories entwickelte.
Neu!!: Kellerautomat und C (Programmiersprache) · 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!!: Kellerautomat und Chomsky-Hierarchie · Mehr sehen »
Compiler
Ein Compiler (auch Kompilierer; von ‚zusammentragen‘ bzw. ‚aufhäufen‘) ist ein Computerprogramm, das Quellcodes einer bestimmten Programmiersprache in eine Form übersetzt, die von einem Computer (direkter) ausgeführt werden kann.
Neu!!: Kellerautomat und Compiler · Mehr sehen »
Determinismus (Algorithmus)
Ein deterministischer Algorithmus ist ein Algorithmus, bei dem nur definierte und reproduzierbare Zustände auftreten.
Neu!!: Kellerautomat und Determinismus (Algorithmus) · Mehr sehen »
Deterministisch kontextfreie Sprache
Eine deterministisch kontextfreie Sprache ist eine Sprache, die von einem deterministischen Kellerautomaten akzeptiert wird.
Neu!!: Kellerautomat und Deterministisch kontextfreie Sprache · Mehr sehen »
Dyck-Sprache
Die Dyck-Sprachen sind in der theoretischen Informatik bestimmte kontextfreie formale Sprachen, also Typ-2-Sprachen entsprechend der Chomsky-Hierarchie.
Neu!!: Kellerautomat und Dyck-Sprache · 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!!: Kellerautomat und Endlicher Automat · Mehr sehen »
Englische Sprache
Die englische Sprache (Eigenbezeichnung: IPA) ist eine ursprünglich in England beheimatete germanische Sprache, die zum westgermanischen Zweig gehört.
Neu!!: Kellerautomat und Englische Sprache · Mehr sehen »
Epsilon
Das Epsilon (Majuskel, Minuskel oder) ist der 5. Buchstabe des griechischen Alphabets und hat nach dem milesischen System den Zahlwert 5.
Neu!!: Kellerautomat und Epsilon · Mehr sehen »
Flynnsche Klassifikation
Die flynnsche Klassifikation (auch Flynn’sche Taxonomie genannt) ist eine Unterteilung von Rechnerarchitekturen, welche 1966 von Michael J. Flynn publiziert wurde.
Neu!!: Kellerautomat und Flynnsche Klassifikation · 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!!: Kellerautomat und Formale Sprache · Mehr sehen »
Greibach-Normalform
Die Greibach-Normalform ist ein Begriff der theoretischen Informatik, der im Zusammenhang mit kontextfreien Sprachen von Interesse ist.
Neu!!: Kellerautomat und Greibach-Normalform · Mehr sehen »
Hüllenoperator
Eine Menge aus 8 Punkten und ihre konvexe Hülle In der Mathematik versteht man unter der Hülle einer Menge eine Obermenge, die groß genug ist, um bestimmte Anforderungen zu erfüllen, und zugleich die kleinste Menge ist, die diese Anforderungen erfüllt.
Neu!!: Kellerautomat und Hüllenoperator · Mehr sehen »
Interpreter
Als Interpreter wird ein Computerprogramm bezeichnet, das eine Abfolge von Anweisungen anscheinend direkt ausführt, wobei das Format der Anweisungen vorgegeben ist.
Neu!!: Kellerautomat und Interpreter · Mehr sehen »
Kontextfreie Sprache
In der Theoretischen Informatik ist eine kontextfreie Sprache (CFL) eine formale Sprache, die durch eine kontextfreie Grammatik beschrieben werden kann.
Neu!!: Kellerautomat und Kontextfreie Sprache · 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!!: Kellerautomat und Leeres Wort · Mehr sehen »
Lineare Sprache
Die Linearen Sprachen (englisch linear languages, LIN) sind ein Fachbegriff aus der Theoretischen Informatik.
Neu!!: Kellerautomat und Lineare Sprache · Mehr sehen »
Menge (Mathematik)
Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.
Neu!!: Kellerautomat und Menge (Mathematik) · Mehr sehen »
Nichtdeterminismus
Nichtdeterminismus ist ein Konzept aus der theoretischen Informatik, in dem Algorithmen oder Maschinen (meist Turingmaschinen oder endliche Automaten) nicht nur genau eine Berechnung zu einer bestimmten Eingabe durchlaufen können (deterministisch), sondern es bei gleicher Eingabe mehrere Möglichkeiten für den Übergang in den nachfolgenden Zustand gibt.
Neu!!: Kellerautomat und Nichtdeterminismus · 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!!: Kellerautomat und Parser · 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!!: Kellerautomat und Problem · Mehr sehen »
Reflexive Relation
gerichtete Graphen dargestellt Die Reflexivität einer zweistelligen Relation R auf einer Menge ist gegeben, wenn x R x für alle Elemente x der Menge gilt, also jedes Element in Relation zu sich selbst steht.
Neu!!: Kellerautomat und Reflexive Relation · Mehr sehen »
Registermaschine
Die Registermaschine (RM) ist eine abstrakte Maschine der theoretischen Informatik.
Neu!!: Kellerautomat und Registermaschine · Mehr sehen »
Reguläre Sprache
In der theoretischen Informatik ist eine reguläre Sprache oder reguläre Menge oder erkennbare Sprache eine formale Sprache, die einigen Einschränkungen unterliegt.
Neu!!: Kellerautomat und Reguläre Sprache · 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!!: Kellerautomat und Rekursiv aufzählbare Sprache · 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!!: Kellerautomat und Stapelspeicher · 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!!: Kellerautomat und Theoretische Informatik · Mehr sehen »
Token (Übersetzerbau)
Ein Token (Art.: „das“; Pl.: ‚Tokens‘) ist eine Zeichenkette, der von einer formalen Grammatik ein Typ zugewiesen wird.
Neu!!: Kellerautomat und Token (Übersetzerbau) · Mehr sehen »
Transitive Relation
gerichtete Graphen dargestellt Eine transitive Relation ist in der Mathematik eine zweistellige Relation R auf einer Menge, die die Eigenschaft hat, dass für drei Elemente x, y, z dieser Menge aus x R y und y R z stets x R z folgt.
Neu!!: Kellerautomat und Transitive Relation · 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!!: Kellerautomat und Tupel · Mehr sehen »
Turingmaschine
Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.
Neu!!: Kellerautomat und Turingmaschine · Mehr sehen »
Umgekehrte polnische Notation
Programmierbarer Taschen­rechner HP-41CX aus den 1980er Jahren mit überbreiter Enter-Taste Die umgekehrte polnische Notation (UPN) oder reverse polnische Notation (kurz RPN), auch Postfixnotation genannt, ist eine von der polnischen Notation abgeleitete Schreibweise bzw.
Neu!!: Kellerautomat und Umgekehrte polnische Notation · Mehr sehen »
Wort (theoretische Informatik)
In der theoretischen Informatik ist ein Wort eine endliche Folge von Symbolen eines Alphabets.
Neu!!: Kellerautomat und Wort (theoretische Informatik) · Mehr sehen »
Zweikellerautomat
Der Begriff Zweikellerautomat (TPDA – engl. Two-stack Push Down Automaton) steht in der Theoretischen Informatik für ein besonderes Automatenmodell.
Neu!!: Kellerautomat und Zweikellerautomat · Mehr sehen »
Leitet hier um:
Deterministischer Kellerautomat, Keller-Automat, Kellermaschine, Push-Down-Automat, Pushdown automaton, Stackmaschine.
