... 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.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.