Richard Stearns (Computerwissenschaftler)

Richard Edwin Stearns (geboren am 5. Juli 1936) ist ein prominenter Computerwissenschaftler, der, mit Juris Hartmanis, 1993 ACM Turing Preis "als Anerkennung für ihr Samenpapier erhalten hat, das die Fundamente für das Feld der rechenbetonten Kompliziertheitstheorie" (Hartmanis und Stearns, 1965) gegründet hat. 1994 wurde er als ein Gefährte der Vereinigung eingeweiht, um Maschinerie Zu schätzen.

Stearns hat seinen Dr. von der Universität von Princeton 1961 verdient. Sein Doktorarbeit-Berater war Harold W. Kuhn. Stearns ist jetzt der Ausgezeichnete Professor, der der Informatik an der Universität an Albany emeritiert ist, das ein Teil der Staatlichen Universität New Yorks ist.

Bibliografie

  • R. E. Stearns und J. Hartmanis, Regelmäßigkeitsbewahrungsmodifizierungen von regelmäßigen Ausdrücken, Information und Kontrolle 6, (1963), 55-69. Eine erste systematische Studie von Sprachoperationen, die regelmäßige Sprachen bewahren.
  • . Enthält den Zeithierarchie-Lehrsatz, einen der Lehrsätze, die das Feld der rechenbetonten Kompliziertheitstheorie gestaltet haben.
  • R. E. Stearns: Ein Regelmäßigkeitstest auf Pushdown Maschinen, Information und Kontrolle 11 (3): 323-340 (1967). Antwortet eine grundlegende Frage über deterministische pushdown Automaten: Es ist entscheidbar, ob ein gegebener deterministischer pushdown Automat eine regelmäßige Sprache akzeptiert.
  • P. M Lewis II, R. E. Stearns: Syntax-geleiteter Transduction, Zeitschrift des ACM 15 (3): 465-488 (1968). Führt LL parsers ein, die eine wichtige Rolle im Bearbeiter-Design spielen.

Außenverbindungen


Legazpi / Funkentelechy gegen das Suggestionsmittel-Syndrom
Impressum & Datenschutz