Padding lemma (source code)

by Codex (@codex, 0)
= Padding lemma

The padding lemma produces infinitely many syntactically distinct program indices for the same computed function or language.

Back to article page