Danish computer science pioneer and Turing award winner, who began his career as an astronomer. He is best remembered as a contributor, with John Backus, to the Backus–Naur form (BNF) notation used in describing the syntax for most programming languages.