Operator Hierarchy

In this paragraph, all operators already known together with the assign operators (=, +=, -=... ++, -) as well as [ ] and., which will be discussed later, are listed in a table. 

To avoid confusions we already mention at this point that the brackets used as operators [ ] are intended to get a character at a certain position of a string. (Brackets are also used to mark cell positions; but then they do not function as operators.)

By the selection operator . Single registers of cell expressions are accessed.

The operators are listed in rows by descending evaluation order. Besides, for operators with the same priority it is indicated whether they are evaluated from the left to the right (L) or the other way around (R).

Concerning evaluation order and direction SCARLET totally agrees with the programming language C.

Operators	Direction
( ), [ ], .	L
++, -, !, + ( Sign), - ( Sign)	R
*, /, %	L
+, -	L
<<, >>	L
<, <=, >, >=	L
==, !=	L
&	L
|	L
&&	L
||	L
=, +=, -=, *=, %=, /=, <<=, >>=, &=, |=	R

Operator Table

Operator associability

In programming languages and mathematical notation, the associability (or fixity) of an operator is a property that determines how operators of the same precedence are grouped in the absence of parentheses. If an operand is both preceded and followed by operators (for example, "^ 4 ^"), and those operators have equal precedence, then the operand may be used as input to two different operations (i.e. the two operations indicated by the two operators). The choice of which operations to apply the operand to, is determined by the "associability" of the operators. Operators may be left-associative (meaning the operations are grouped from the left), right-associative (meaning the operations are grouped from the right) or non-associative (meaning there is no defined grouping). The associability and precedence of an operator is a part of the definition of the programming language; different programming languages may have different associability and precedence for the same type of operator.

Consider the expression a ~ b ~ c. If the operator ~ has left associability, this expression would be interpreted as (a ~ b) ~ c. If the operator has right associability, the expression would be interpreted as a ~ (b ~ c). If the operator is non-associative, the expression might be a syntax error, or it might have some special meaning. Some mathematical operators have inherent associability. For example, subtraction and division, as used in conventional math notation, are inherently left-associative. Addition and multiplication, by contrast, have no inherent associability, though most programming languages define associability for these operations as well.

Many programming language manuals provide a table of operator precedence and associability; see, for example, the table for C and C++.

The concept of notational associability described here is related to, but different from the mathematical associability. An operation that is mathematically associative, by definition requires no notational associability (e.g. addition has the associative property; therefore it does not have to be either left associative or right associative). An operation that is not mathematically associative, however, must be rotationally left-, right-, or non-associative (e.g. subtraction does not have the associative property; therefore it must have notational associability).

Examples

Associability is only needed when the operators in an expression have the same precedence. Usually + and - have the same precedence. Consider the expression 7 − 4 + 2. The result could be either (7 − 4) + 2 = 5 or 7 − (4 + 2) = 1. The former result corresponds to the case when + and − are left-associative, the latter to when + and - are right-associative.

In order to reflect normal mathematical usage, addition, subtraction, multiplication, and division operators are usually left-associative while an exponentiation operator (if present) is right-associative. Any assignment operators are also typically right-associative. To prevent cases where operands would be associated with two operators or no operator at all, operators with the same precedence must have the same associability.

A detailed example

Consider the expression 5^4^3^2. A parser reading the tokens from left to right would apply the associability rule to a branch, because of the right-associability of ^, in the following way:

1. Term 5 is read.
2. No terminal ^ is read. Node: "5^".
3. Term 4 is read. Node: "5^4".
4. No terminal ^ is read, triggering the right-associability rule. Associability decides node: "5^ (4^".
5. Term 3 is read. Node: "5^ (4^3".
6. No terminal ^ is read, triggering the re-application of the right-associability rule. Node "5^ (4^ (3^".
7. Term 2 is read. Node "5^ (4^ (3^2".
8. No tokens to read. Apply associability to produce parse tree "5^ (4^ (3^2))".

This can then be evaluated depth-first, starting at the top node (the first ^):

1. The evaluator walks down the tree, from the first, over the second, to the third ^ expression.
2. It evaluates as: 3² = 9. The result replaces the expression branch as the second operand of the second ^.
3. Evaluation continues one level up the parse tree as: 4⁹ = 262144. Again, the result replaces the expression branch as the second operand of the first ^.
4. Again, the evaluator steps up the tree to the root expression and evaluates as: 5²⁶²¹⁴⁴ ≈ 6.2060699 × 10¹⁸³²³⁰. The last remaining branch collapses and the result becomes the overall result, therefore completing overall evaluation.

A left-associative evaluation would have resulted in the parse tree ((5^4) ^3) ^2 and the completely different results 625, 244140625 and finally ~5.9604645 × 10¹⁶.

Right-associability of assignment operators

In many imperative programming languages, the assignment operator is defined to be right-associative, and assignment is defined to be an expression (with a value), not just a statement. This allows chained assignment by using the value of one assignment expression as the input (right operand) of the next.

For example, in C, the assignment a = b is an expression that returns a value (namely, b converted to the type of a) with the side effect of setting a to this value.^[a] An assignment can be performed in the middle of an expression. The right-associability of the = operator allows expressions such as a = b = c to be interpreted as a = (b = c), thereby setting both a and b to the value of c. In C, the alternative (a = b) = c does not make sense because a = b is not an L-Value, just an r-value. However, in C++ an assignment a = b returns a value referring to the left term in the assignment. Therefore (a = b) = c can be interpreted as a = b; a = c;

Non-associative operators

Non-associative operators are operators that have no defined behavior when used in sequence in an expression. In Prolog, the infix operator: - is non-associative because constructs such as "a: - b: - c" constitute syntax errors.

Another possibility is that sequences of certain operators are interpreted in some other way, which cannot be expressed as associability. This generally means that syntactically, there is a special rule for sequences of these operations, and semantically the behavior is different. A good example is in Python, which has several such constructs.The assignment operator does not have a value (assignments are statements, not operations), and is not associative. Chained assignment is instead implemented by having a grammar rule for sequences of assignments a = b = c, which are then assigned left-to-right. Further, combinations of assignment and augmented assignment, like a = b += c are not legal in Python, though they are legal C. Another example are comparison operators, such as >, ==, and <=. A chained comparison like a < b < c is interpreted as (a < b) and (b < c), not equivalent to either (a < b) < c or a < (b < c).

                                  

                                                              SUBMITTED BY – SANJEEV KUMAR

        ROLL NO.-4254

        CLASS-B.sc (1) (C.S)