リチャード・E・スターンズ

リチャード・エドウィン・スターンズ
リチャード・エドウィン・スターンズ
	リチャード・スターンズ、2009年
生まれる	1936年7月5日（88歳）; ニュージャージー州コールドウェル
母校	カールトン大学(BA); プリンストン大学(Ph.D.)
受賞歴	ACM チューリング賞（1993年）; フレデリック・W・ランチェスター賞（1995年）
	科学者としてのキャリア
機関	アルバニー大学
博士課程の指導教員	ハロルド・W・クーン

リチャード・エドウィン・スターンズ（1936年7月5日生まれ）は、アメリカのコンピュータ科学者であり、ジュリス・ハートマニスとともに「計算複雑性理論の分野の基礎を確立した独創的な論文」により1993年のACM チューリング賞を受賞した。 ^{[1] 1994年に彼は}計算機学会フェローに選出された。

スターンズは1958年にカールトン大学で数学の学士号を取得しました。^[2]その後、ハロルド・W・クーンの指導の下、「サイドペイメントのない3人協力ゲーム」と題する博士論文を完成させ、1961年にプリンストン大学で数学の博士号を取得しました。^{[3]スターンズは現在、}ニューヨーク州立大学の一部であるアルバニー大学のコンピュータサイエンスの名誉教授です。^[4]

文献

Stearns, RE; Hartmanis, J. (1963 年 3 月)、「正規表現の規則性を維持する変更」、Information and Control、6 (1): 55–69、doi : 10.1016/S0019-9958(63)90110-4正規言語を保存する言語操作に関する最初の体系的な研究。
Hartmanis, J. ; Stearns, RE (1965 年 5 月)、「アルゴリズムの計算複雑性について」、アメリカ数学会誌、117、アメリカ数学会: 285–306、doi : 10.2307/1994208、JSTOR 1994208、MR 0170805計算複雑性理論の分野を形成した定理の 1 つである時間階層定理が含まれています。
スターンズ、RE（1967年9月）、「プッシュダウンマシンの規則性テスト」、情報制御、11（3）：323–340、doi：10.1016 / S0019-9958（67）90591-8決定性プッシュダウンオートマトンに関する基本的な質問に答えます。特定の決定性プッシュダウンオートマトンが正規言語を受け入れるかどうかは決定可能です。
Lewis II, PM; Stearns, RE (1968)、「構文指向性トランスダクション」、Journal of the ACM、15 (3): 465–488、doi : 10.1145/321466.321477、S2CID 16512120コンパイラ設計において重要な役割を果たすLL パーサーを紹介します。

^ Lewis, Philip M. 「Richard ("Dick") Edwin Stearns」。AMTuring.ACM.org。Association for Computing Machinery。2019年3月10日閲覧。
^ 「Richard E Stearns - AM Turing Award Laureate」. amturing.acm.org . 2020年6月18日閲覧。
^ スターンズ、リチャード・エドウィン（1961年）。サイドペイメントのない3人協力ゲーム。
^ 「Richard E. Stearns」. IEEE Xplore . 2024年2月15日閲覧。