Inhaltsverzeichnis
12 Beziehungen: Algorithmus, Äquivalenzproblem, Chomsky-Hierarchie, Endlicher Automat, Endlichkeitsproblem, Entscheidbar, Formale Grammatik, Formale Sprache, Graph (Graphentheorie), Optimierungsproblem, Theoretische Informatik, Wortproblem.
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.
Sehen Leerheitsproblem und Algorithmus
Äquivalenzproblem
Als Äquivalenzproblem bezeichnet man in der Theoretischen Informatik das Problem, zu entscheiden, ob zwei formale Definitionen von zwei Sprachen L_1 und L_2 äquivalent sind, also L_1.
Sehen Leerheitsproblem und Äquivalenzproblem
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.
Sehen Leerheitsproblem und Chomsky-Hierarchie
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.
Sehen Leerheitsproblem und Endlicher Automat
Endlichkeitsproblem
Als Endlichkeitsproblem einer formalen Sprache L bezeichnet man in der theoretischen Informatik das Problem, zu entscheiden, ob die Sprache endlich ist.
Sehen Leerheitsproblem und Endlichkeitsproblem
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.
Sehen Leerheitsproblem und Entscheidbar
Formale Grammatik
Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.
Sehen Leerheitsproblem und Formale Grammatik
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.
Sehen Leerheitsproblem und Formale Sprache
Graph (Graphentheorie)
Ein Graph ist in der Graphentheorie eine abstrakte Struktur, die eine Menge von Objekten zusammen mit den zwischen diesen Objekten bestehenden Verbindungen repräsentiert.
Sehen Leerheitsproblem und Graph (Graphentheorie)
Optimierungsproblem
Ein Optimierungsproblem ist ein mathematisches Problem.
Sehen Leerheitsproblem und Optimierungsproblem
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.
Sehen Leerheitsproblem und Theoretische Informatik
Wortproblem
Wortproblem steht für.