21 Beziehungen: Abgeschlossenheit (algebraische Struktur), Chomsky-Hierarchie, Entscheidbar, Formale Sprache, Homomorphismus, Kleenesche und positive Hülle, Komplement (Mengenlehre), Kontextfreie Sprache, Kontextsensitive Grammatik, Kurodas Problem, Linear beschränkte Turingmaschine, Logarithmisch platzbeschränkte Reduktion, Menge (Mathematik), Monotone Grammatik, Nichtdeterminismus, NSPACE, Polynomialzeitreduktion, PSPACE, Theoretische Informatik, Uwe Schöning, Wortproblem.
Abgeschlossenheit (algebraische Struktur)
In der Mathematik, insbesondere der Algebra, versteht man unter Abgeschlossenheit einer Menge bezüglich einer Verknüpfung, dass die Verknüpfung beliebiger Elemente dieser Menge wieder ein Element der Menge ist.
Neu!!: Kontextsensitive Sprache und Abgeschlossenheit (algebraische Struktur) · 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!!: Kontextsensitive Sprache und Chomsky-Hierarchie · 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!!: Kontextsensitive Sprache und Entscheidbar · 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!!: Kontextsensitive Sprache und Formale Sprache · Mehr sehen »
Homomorphismus
Als Homomorphismus (von „gleich“ und morphé „Form, Gestalt“; nicht zu verwechseln mit Homöomorphismus) werden in der Mathematik Abbildungen bezeichnet, die eine (oft algebraische) mathematische Struktur erhalten bzw.
Neu!!: Kontextsensitive Sprache und Homomorphismus · Mehr sehen »
Kleenesche und positive Hülle
Die kleenesche Hülle (auch endlicher Abschluss, Kleene-*-Abschluss, Verkettungshülle oder Sternhülle genannt) eines Alphabets \Sigma oder einer formalen Sprache L ist die Menge aller Wörter, die durch beliebige Konkatenation (Verknüpfung) von Symbolen des Alphabets \Sigma bzw.
Neu!!: Kontextsensitive Sprache und Kleenesche und positive Hülle · Mehr sehen »
Komplement (Mengenlehre)
In der Mengentheorie und anderen Teilgebieten der Mathematik sind zwei verschiedene Komplemente definiert: Das relative Komplement und das absolute Komplement.
Neu!!: Kontextsensitive Sprache und Komplement (Mengenlehre) · 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!!: Kontextsensitive Sprache und Kontextfreie Sprache · Mehr sehen »
Kontextsensitive Grammatik
Die kontextsensitiven Grammatiken (kurz CSG, von engl. context-sensitive grammar) sind eine Klasse formaler Grammatiken und identisch mit den Typ-1-Grammatiken der Chomsky-Hierarchie.
Neu!!: Kontextsensitive Sprache und Kontextsensitive Grammatik · Mehr sehen »
Kurodas Problem
Kurodas Problem ist ein Begriff aus der Automatentheorie und Komplexitätstheorie.
Neu!!: Kontextsensitive Sprache und Kurodas Problem · Mehr sehen »
Linear beschränkte Turingmaschine
Eine linear beschränkte Turingmaschine (auch LBA.
Neu!!: Kontextsensitive Sprache und Linear beschränkte Turingmaschine · Mehr sehen »
Logarithmisch platzbeschränkte Reduktion
Eine logarithmisch platzbeschränkte Reduktion (auch als logarithmische Reduktion bezeichnet) ist eine spezielle Form der Reduktion.
Neu!!: Kontextsensitive Sprache und Logarithmisch platzbeschränkte Reduktion · 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!!: Kontextsensitive Sprache und Menge (Mathematik) · Mehr sehen »
Monotone Grammatik
Eine monotone Grammatik (auch nichtverkürzende Grammatik, beschränkte Grammatik oder expansive Grammatik) ist eine formale Grammatik, die nur Produktionsregeln enthält, deren rechte Seite nicht kürzer als die linke Seite ist.
Neu!!: Kontextsensitive Sprache und Monotone Grammatik · 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!!: Kontextsensitive Sprache und Nichtdeterminismus · Mehr sehen »
NSPACE
NSPACE (selten auch NTAPE, von englisch: Non-deterministic Turing machine tape) ist ein Begriff aus der Komplexitätstheorie, einem Teilgebiet der theoretischen Informatik.
Neu!!: Kontextsensitive Sprache und NSPACE · Mehr sehen »
Polynomialzeitreduktion
Eine Polynomialzeitreduktion (auch polynomielle Reduktion) ist eine spezielle Form der Reduktion in der theoretischen Informatik.
Neu!!: Kontextsensitive Sprache und Polynomialzeitreduktion · Mehr sehen »
PSPACE
In der Komplexitätstheorie bezeichnet PSPACE die Klasse der Entscheidungsprobleme, die von deterministischen Turingmaschinen mit polynomiellem Platz entschieden werden können.
Neu!!: Kontextsensitive Sprache und PSPACE · 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!!: Kontextsensitive Sprache und Theoretische Informatik · Mehr sehen »
Uwe Schöning
Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker.
Neu!!: Kontextsensitive Sprache und Uwe Schöning · Mehr sehen »
Wortproblem
Wortproblem steht für.
Neu!!: Kontextsensitive Sprache und Wortproblem · Mehr sehen »