ロバート・マクノートン

ロバート・フォーブス・マクノートン・ジュニア（1924年 - 2014年）は、アメリカの数学者、論理学者、コンピュータ科学者であり、形式言語、文法と書き換えシステム、単語の組合せ論において数々の重要な貢献をした。^[1]

マクノートンはブルックリン出身で、コロンビア大学で学士号を取得した。^[1]ハーバード大学 で博士号を取得した。博士論文「システムの一貫性の確立について」はウィラード・ヴァン・オーマン・クワインの指導を受けた。^[2]ペンシルベニア大学 で教鞭をとり、その後レンセラー工科大学で教鞭をとった。^[1]

彼は2014年にニューヨーク州トロイで亡くなった。^[1]