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

Semi-Thue-System

Index Semi-Thue-System

Semi-Thue-System (oder auch Umformungssystem, Wortersetzungssystem oder Stringersetzungssystem) ist in der Theoretischen Informatik ein Regelsystem zur Transformation von Wörtern.

18 Beziehungen: Ableitung (Informatik), Axel Thue, Chomsky-Hierarchie, David Hilbert, Emil Leon Post, Formale Grammatik, Hilbertsche Probleme, Logik, Mathematik, Mathematiker, Nichtterminalsymbol, Norwegen, Symmetrische Relation, Terminalsymbol, Theoretische Informatik, Transitive Hülle (Relation), Wort (theoretische Informatik), Wortproblem.

Ableitung (Informatik)

Als Ableitung wird in der theoretischen Informatik der Vorgang bezeichnet, ein Wort nach den Regeln einer formalen Grammatik zu erzeugen.

Neu!!: Semi-Thue-System und Ableitung (Informatik) · Mehr sehen »

Axel Thue

Axel Thue Axel Thue (* 19. Februar 1863 in Tønsberg, Norwegen; † 7. März 1922 in Oslo) war ein norwegischer Mathematiker, bekannt für seine Beiträge in der Kombinatorik und seine Arbeiten zur Zahlentheorie (diophantische Approximationen, Diophantische Gleichungen).

Neu!!: Semi-Thue-System und Axel Thue · 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!!: Semi-Thue-System und Chomsky-Hierarchie · 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!!: Semi-Thue-System und David Hilbert · Mehr sehen »

Emil Leon Post

Emil Leon Post Emil Leon Post (* 11. Februar 1897 in Augustów, Kongresspolen; † 21. April 1954 in New York, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker.

Neu!!: Semi-Thue-System und Emil Leon Post · Mehr sehen »

Formale Grammatik

Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.

Neu!!: Semi-Thue-System und Formale Grammatik · Mehr sehen »

Hilbertsche Probleme

Die hilbertschen Probleme sind eine Liste von 23 Problemen der Mathematik.

Neu!!: Semi-Thue-System und Hilbertsche Probleme · Mehr sehen »

Logik

Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.

Neu!!: Semi-Thue-System und Logik · 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!!: Semi-Thue-System und Mathematik · Mehr sehen »

Mathematiker

Archimedes, einer der bekanntesten Mathematiker der Antike Leonhard Euler, einer der produktivsten Mathematiker der Neuzeit russische Mathematikerin, die 1884 an der Universität Stockholm die weltweit erste Professorin für Mathematik wurde Mathematiker beschäftigen sich mit der Bewahrung und Weiterentwicklung des Fachgebiets der Mathematik und mit der Anwendung der Erkenntnisse auf praktische Belange.

Neu!!: Semi-Thue-System und Mathematiker · Mehr sehen »

Nichtterminalsymbol

Ein Nichtterminalsymbol (auch Nichtterminal, Nonterminalsymbol oder Variable genannt) einer formalen Grammatik ist ein Symbol, das nicht in den endgültigen Wörtern vorkommt, die in der Grammatik erzeugt werden können.

Neu!!: Semi-Thue-System und Nichtterminalsymbol · Mehr sehen »

Norwegen

Norwegen (norwegisch Norge (Bokmål) oder Noreg (Nynorsk)), amtlich Königreich Norwegen beziehungsweise Kongeriket Norge/Noreg, ist ein Staat in Nordeuropa auf der Halbinsel Skandinavien.

Neu!!: Semi-Thue-System und Norwegen · Mehr sehen »

Symmetrische Relation

gerichtete Graphen dargestellt Die Symmetrie einer zweistelligen Relation R auf einer Menge ist gegeben, wenn aus x R y stets y R x folgt.

Neu!!: Semi-Thue-System und Symmetrische Relation · Mehr sehen »

Terminalsymbol

Ein Terminalsymbol (auch Terminalzeichen oder kurz Terminal genannt) einer formalen Grammatik ist ein Symbol, das einzeln nicht weiter durch eine Produktionsregel ersetzt werden kann.

Neu!!: Semi-Thue-System und Terminalsymbol · 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!!: Semi-Thue-System und Theoretische Informatik · Mehr sehen »

Transitive Hülle (Relation)

Die transitive Hülle bzw.

Neu!!: Semi-Thue-System und Transitive Hülle (Relation) · Mehr sehen »

Wort (theoretische Informatik)

In der theoretischen Informatik ist ein Wort eine endliche Folge von Symbolen eines Alphabets.

Neu!!: Semi-Thue-System und Wort (theoretische Informatik) · Mehr sehen »

Wortproblem

Wortproblem steht für.

Neu!!: Semi-Thue-System und Wortproblem · Mehr sehen »

Leitet hier um:

Thue-System, Umformungssystem.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »