アルフレッド・ヴァイノ・エイホ（1941年8月9日生まれ）は、カナダの計算機科学者であり、プログラミング言語、コンパイラ、および関連するアルゴリズムに関する業績と、コンピュータプログラミングの技術と科学に関する教科書で最もよく知られている。彼と長年の共同研究者であるジェフリー・ウルマンは、コンピュータ科学における最高の栄誉と一般に認められている2020年のチューリング賞を受賞している。エイホは、アルゴリズムとプログラミングツールの分野への貢献により、1999年に米国国家工学アカデミーに選出された。
エイホの研究と出版物は、プログラミング言語の設計、分析、およびコンパイルの方法に永続的な影響を与えてきた。彼の教科書、特にコンパイラ設計に関する「ドラゴンブック」は、世代を超えたコンピュータ科学者やエンジニアを教育してきた。彼の業績は、理論的基盤からUnixオペレーティングシステムで使用される実用的なツールまで多岐にわたる。
教育と初期の経歴
エイホは、トロント大学で工学物理学の学士号（1963年）を取得し、その後、プリンストン大学で電気工学/計算機科学の修士号（1965年）と博士号（1967年）を取得した。博士論文では、文脈自由言語の能力を拡張しながらも、その多くの決定可能性と閉包性を保持するための手段として、添字文法とネストスタックオートマトンを創り出した。添字文法の応用の一つは、並列書き換えシステムのモデル化であり、特に生物学的応用において用いられる。
プリンストン大学卒業後、エイホはベル研究所の計算科学研究センターに入所し、効率的な正規表現と文字列パターンマッチングアルゴリズムを考案し、Unixツールのegrepとfgrepの初期版に実装した。fgrepアルゴリズムは、エイホ–コラシックアルゴリズムとして知られるようになり、いくつかの書誌検索システムやその他の文字列検索アプリケーションで使用されている。
コンパイラとツールへの貢献
ベル研究所で、エイホはスティーブ・ジョンソンとジェフリー・ウルマンと緊密に協力して、プログラミング言語を解析および変換するための効率的なアルゴリズムを開発した。スティーブ・ジョンソンは、ボトムアップのLALR構文解析アルゴリズムを使用して構文解析生成ツールyaccを作成し、マイケル・E・レスクとエリック・シュミットは、エイホの正規表現パターンマッチングアルゴリズムを使用して字句解析生成ツールlexを作成した。lexとyaccのツールとその派生版は、今日の多くのプログラミング言語コンパイラのフロントエンドを開発するために使用されてきた。
エイホはまた、ピーター・J・ワインバーガーとブライアン・カーニハンとの共著であるAWKプログラミング言語でも広く知られている（「A」は「Aho」を表す）。このテキスト処理言語は、Unix環境で標準的なツールとなり、その後の多くのスクリプト言語に影響を与えた。
ドラゴンブックとアルゴリズム
エイホとウルマンは、コンパイラ設計に関する理論を体系化した一連の教科書を執筆した。1977年の教科書『コンパイラ設計の原理』は表紙に緑のドラゴンがあり、「緑のドラゴンブック」として知られるようになった。1986年には、エイホとウルマンにラヴィ・セシが加わり、新版「赤のドラゴンブック」が作成され、2006年にはモニカ・ラムも加わり「紫のドラゴンブック」が作成された。ドラゴンブックは、大学の講義や業界の参考書として使用されている。
1974年、エイホ、ジョン・ホップクロフト、ウルマンは『コンピュータアルゴリズムの設計と解析』を執筆し、アルゴリズムに関する初期の研究の一部を体系化した。この本は、数十年にわたりコンピュータ科学で最も引用された書籍の一つとなり、アルゴリズムとデータ構造をコンピュータ科学の中心的なコースとして確立するのに貢献した。
学術経歴と栄誉
1995年以降、エイホはコロンビア大学でコンピュータ科学のローレンス・ガスマン教授職を務めている。彼は1995年から1997年まで、そして2003年春にも学科長を務めた。2010年時点で、彼の研究関心はプログラミング言語、コンパイラ、アルゴリズム、量子コンピューティングを含む。彼はコロンビア大学の言語とコンパイラ研究グループの一員である。
エイホは、IEEEのジョン・フォン・ノイマンメダルや、米国国家工学アカデミーおよび米国国家科学アカデミーの会員資格など、多くの権威ある栄誉を受賞している。2003年には米国芸術科学アカデミーのフェローに選出された。ウォータールー大学、ヘルシンキ大学、トロント大学から名誉博士号を授与されている。彼は、米国科学振興協会、ACM、ベル研究所、およびIEEEのフェローである。エイホ、ホップクロフト、ウルマンは、NECコーポレーションが授与する2017年のC&C賞を共同受賞した。彼とウルマンは、2021年3月31日に2020年のチューリング賞の受賞者に指名された。
私生活と教育活動
エイホは1995年以降、ニューヨーク市のコロンビア大学で教鞭を執っている。2003年にはコロンビア大学卒業生協会からグレート・ティーチャー賞を受賞した。エイホは、米国科学財団のコンピュータ・情報科学・工学部門の諮問委員会の委員長を2度務めた。彼はACMのアルゴリズムと計算可能性理論に関する特別興味グループの元会長である。全体として、彼の著作は2019年5月8日時点で81,040回引用され、h指数は66である。