First you have to notice that you are dealing with notation. The problem is not about the meaning of the $/$ symbol. Nor about how to evaluate expressions. Here you are at the step when a sequence of symbols is given and should be interpreted to form a meaningful expression.
Notice that while the commutative, distributive and associate laws are mathematical properties of the operations, the evaluation order has nothing to do with the operations involved.
You have three possibilities when parsing the string A/B/C
:
- the string should be interpreted as the expression $(A/B)/C$;
- the string should be interpreted as the expression $A/(B/C)$;
- the string is not well formed and should be left undefined.
The correct answer is 1. It is a natural convention to associate simbols on the left, following the order in which they are written. So this was recognized as the correct way to interpret this notation. As @hagenvonheitzen as pointed out, this is very natural if you replace division with subtraction... the use of the /
symbol is a little bit less natural because we were used to other symbols when we were first taught division. Maybe A:B:C
would be more natural. In the era of computers, the /
symbol has been choosen for division in every programming language I know, like *
has replaced $\times$. In every programming language the string 'A/B/C' is correctly interpreted from left to right. The shift from mathematics to informatics makes sense, since we are speaking of parsing which is a problem largely studied in this field.
About 2. To my knowledge there is nobody who has deliberately made this choice. This would be against intuition, against other convention and against the vast majority of people who as choosen the first interpretation. No way.
We can speak about 3. One could decide that A/B/C
cannot be interpreted as a valid notation. Something like AB/C/
. It seems that many people here agree with this answer. However think a bit about how to make it precise. If you make this choice, please tell me: what is the rule to follow to decide when the expression is valid and when it is not? Is such a rule easier to grasp than the rule of left associativity? Do you think that it would be good to teach such a rule at school? If you have common sense the answer should be: no.
Because here the point is not if you should or shouldn't use that expression. We all agree that whenever possible: you should'nt use it! The reason being that some people could interpret that notation in a wrong way. However if you are asked to give your interpretation, the answer is: associate from left to right.
addendum. A different story would be about the notation $A^{B^C}$ where most people agree that the better choice is to associate on the right: $A^{(B^C)}$. But also in this case it is good to make a choice and not let the notation be undefined.
addendum 2. A different story would also be the notation:
$$
\frac{A}{\frac{B}{C}}.
$$
In this case the interpretation is $A/(B/C)$ because the lower bar is shorter than the upper one. For this notation it makes sense to decide that the bar should always be longer than the expressions to which it applies because it cost nothing (non parenthesis are needed) and gives no ambiguity. As a consequence an expression where the two bars have equal length should be rejected as undefined.