チューリング賞
ナウアは ALGOL 60 プログラミング言語の定義に関する貢献に対して2005年のチューリング賞を授与された。特にバッカス・ナウア記法を最初に使った "Report on the Algorithmic Language ALGOL 60" では編集者の役割を果たした。2012年現在、デンマーク人としては唯一のチューリング賞受賞者である。