UNIX and B
Statement
UNIX; B language; regex. Proved in ZFC.
Source
ACM Turing Award 1983. UNIX; B language; regex. Proved in ZFC.
Domains
computer-science
UNIX; B language; regex. Proved in ZFC.
ACM Turing Award 1983. UNIX; B language; regex. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/ken-thompson-turing-1983/