Proof — Backus–Naur form

Statement

BNF; FORTRAN; formal language specification. Proved in ZFC.

Source

ACM Turing Award 1977. BNF; FORTRAN; formal language specification. Proved in ZFC.

Domains

computer-science

People

• John Backus

Related

• Theorem: Backus–Naur form
• Proof: Backus–Naur form

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People