Proof — Compiler theory

Statement

Aho–Corasick; LR parsing; dragon book. Proved in ZFC.

Source

ACM Turing Award 2020. Aho–Corasick; LR parsing; dragon book. Proved in ZFC.

Domains

computer-science

People

• Alfred Aho

Related

• Theorem: Compiler theory
• Proof: Compiler theory

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People