チューリングマシン
meta-circular evaluator は、ある意味で、チューリングマシンにおける万能チューリングマシンに相当する。（当初プログラムの表現法としていた）「M式」を、自身が扱うデータ構造に変換した「S式」は、万能チューリングマシンの入力（テープの初期状態）として与えられるチューリングマシンの記述に相当する。マッカーシーはやはり、プログラムのS式による表現はcodice_3を考えるための論文の中だけのものと考えており、実際のプログラムをS式で書くようになるとは考えていなかった。