> Mc上で仮想Mpを定義できれば どっちが本物とは言えなくなる罠。

これが出来ないんじゃないのかな、
というのが上のレスと思われ。

> チューリング機械は現代のプログラミング言語よりも表現上の制約を受けている。
これについては、そうは思わない。
チューリング機械は現代のプログラミング言語の表現のどのようなモノも、
（表現が長たらしくなるが）表現できる。逆に、
現代のプログラミング言語はチューリング機械の表現のどのようなモノも、
（言語機能と同レベルで）表現できるとは限らない。
「言語機能と同レベルで」ってのはチューリング機械自体をエミュる層をわざわざ作らずに、ということ。