言語が違うんだから、形式（？）なるものが同じだとしても、意味関数や状態遷移機械は
もちろん違うし、全く関係ないんだが。