Intuitive Fassung *Ein Operator heiße berechenbar, falls es eine Turing-Maschine gibt, die für beliebige (nicht notwendigerweise selbst berechenbare) Aufzählungen des Graphens als Eingabe ihrerseits den Graphen von aufzählt.