... ASM)

formerly known as ``Aslan''; the name has been changed because of a name conflict with another tool.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... blocks:

the meaning of the rule is explained later

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...B

in step 1: f(0):=0; in step 2: f(0):=1

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...B.

that means that in the second step the update r:=0 is performed in B, in the third step r:=1

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... g.:

XASM uses a special syntax for pattern matching variables and equality symbol

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... "nyString".

Single quotes are used for the regular expressions in order to prevent interpretation of special symbols (like ``$\backslash$'') in the string. To understand the example: ^ stands for the beginning, $ for the end of a string, the dot represents any character, and the asterisk stand for zero or more occurrences of the preceeding expression.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.