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

Kontextsensitive Sprache

Index Kontextsensitive Sprache

Die kontextsensitiven Sprachen (englisch context-sensitive languages, abgekürzt durch CSL) sind eine Klasse der formalen Sprachen, einem Teilgebiet der Theoretischen Informatik.

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 »

Leitet hier um:

Typ-1-Sprache.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »