The Automaton Expressions Package This package contains the predefined expressions for automata.

Package Specification

This package contains the predefined expressions for automata.

The following default expressions have been defined:

Expressions
Constant: -2147483648..2147483648 A constant integer value.
Binary Expression: <expression_1> <operator> <expression_2> A binary expression. <expression_1> and <expression_2> evaluate to sub-expressions. <operator< will be one of the following binary operators we have defined:
mathematical
+addition
-subtraction
*multiplication
/division. This operator has been modified: A division by zero will be performed as modulo division by one!
*modules. This operator has been modified: A modulo division by zero will be performed as a modulo division by one!
|binary or
&binary and
^binary xor
logical
||logical or
&&logical and
Unary Expression: <operator> <expression> An unary expression. <expression> evaluate to a sub-expression. <operator< will be one of the following unary operators we have defined:
mathematical
~binary not
-unary minus
logical
!logical not
Read [<addr>] Absolute memory access. Obtain the value of the memory cell with the address <addr>.
Read [[<addr>]] Relative memory access. Obtain the value of the memory cell referred by the memory cell with the address <addr>.