これらの値を達成したチューリングマシンの実例はheiner marxenのサイトかpascal michelのサイトで見ることができる。