8 Beziehungen: Äquivalenzproblem, Gay-Lussac-Humboldt-Preis, Gödel-Preis, Juri Wladimirowitsch Matijassewitsch, Kellerautomat, Postsches Korrespondenzproblem, Universität Bordeaux, 1957.
Ä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.
Neu!!: Géraud Sénizergues und Äquivalenzproblem · Mehr sehen »
Gay-Lussac-Humboldt-Preis
Der Gay-Lussac-Humboldt-Preis ist ein 1981 vom französischen Präsidenten Valéry Giscard d’Estaing und seinem Amtskollegen Bundeskanzler Helmut Schmidt auf Empfehlung der deutschen und französischen Forschungsministerien geschaffener deutsch-französischer Wissenschaftspreis.
Neu!!: Géraud Sénizergues und Gay-Lussac-Humboldt-Preis · Mehr sehen »
Gödel-Preis
Der Gödel-Preis wird jährlich seit 1993 für herausragende Veröffentlichungen in der theoretischen Informatik von der European Association for Theoretical Computer Science (EATCS) und der Association for Computing Machinery (ACM) Special Interest Group on Algorithms and Computation Theory (ACM SIGACT) verliehen.
Neu!!: Géraud Sénizergues und Gödel-Preis · Mehr sehen »
Juri Wladimirowitsch Matijassewitsch
Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (englische Transkription Yuri Matiyasevich; * 2. März 1947 in Leningrad) ist ein russischer Mathematiker und Informatiker.
Neu!!: Géraud Sénizergues und Juri Wladimirowitsch Matijassewitsch · Mehr sehen »
Kellerautomat
Ein Kellerautomat (KA, auch PDA für englisch pushdown automaton; auch Stackmaschine) ist ein Automat im Sinne der theoretischen Informatik, ein Konstrukt, das verwendet wird, um gewisse Eigenschaften von Problemen und Algorithmen zu analysieren und zu beweisen.
Neu!!: Géraud Sénizergues und Kellerautomat · Mehr sehen »
Postsches Korrespondenzproblem
Das Postsche Korrespondenzproblem (nach Emil Leon Post, abgekürzt auch PKP oder englisch PCP) ist ein Beispiel für ein unentscheidbares Problem in der Theoretischen Informatik.
Neu!!: Géraud Sénizergues und Postsches Korrespondenzproblem · Mehr sehen »
Universität Bordeaux
Campus Pey-Berland Campus la Victoire Hall Campus Belvédère Die Gründung der Universität Bordeaux durch Papst Eugen IV. geht auf das Jahr 1441 zurück.
Neu!!: Géraud Sénizergues und Universität Bordeaux · Mehr sehen »
1957
Mit dem Sputnik-Satelliten begann 1957 das Zeitalter der Raumfahrt.
Neu!!: Géraud Sénizergues und 1957 · Mehr sehen »