>>944
さあ？
実行するマシンが決まっているなら値はなんでもいいんじゃないんですか？
それこそ文字でも記号でもなんでもいい
その辺りの議論は操作的意味論の教科書で論じられていますよ