Proof — ALGOL 60 and BNF
Statement
ALGOL 60; Backus–Naur form; compiler design. Proved in ZFC.
Source
ACM Turing Award 2005. ALGOL 60; Backus–Naur form; compiler design. Proved in ZFC.
Domains
computer-science
ALGOL 60; Backus–Naur form; compiler design. Proved in ZFC.
ACM Turing Award 2005. ALGOL 60; Backus–Naur form; compiler design. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/naur-turing-2005/