横レスだが…

＞｢ab｣には四則演算子が含まれない。つまり、概念的に計算は完了しているということ。
＞「６÷ａ」には四則演算子が含まれる。つまり、これから計算はするということ。

この部分に全く根拠がない。