Interactive Mlatu-6 Evaluator
About
Mlatu-6
O
u
t
[
]
=
I
n
i
t
(
c
)
(
b
)
(
a
)
(
(
+
>
)
~
>
,
<
,
~
)
~
,
<
S
t
a
r
t
S
t
e
p
0
M
a
x
S
t
e
p
s
1
0
0
M
a
x
L
e
n
g
t
h
1
0
0
T
r
a
c
e
L
e
n
g
t
h
P
l
o
t
L
o
g
L
e
n
g
t
h
P
l
o
t
(
c
)
(
b
)
(
a
)
(
(
+
>
)
~
>
,
<
,
~
)
~
,
<
(
c
)
(
b
)
(
(
+
>
)
~
>
,
<
,
~
)
(
a
)
,
<
(
c
)
(
b
)
(
(
+
>
)
~
>
,
<
,
~
a
)
<
(
c
)
(
b
)
(
+
>
)
~
>
,
<
,
~
a
(
c
)
(
+
>
)
(
b
)
>
,
<
,
~
a
(
c
)
(
+
>
)
(
(
b
)
)
,
<
,
~
a
(
c
)
(
+
>
(
b
)
)
<
,
~
a
(
c
)
+
>
(
b
)
,
~
a
(
c
)
(
c
)
>
(
b
)
,
~
a
(
c
)
(
(
c
)
)
(
b
)
,
~
a
(
c
)
(
(
c
)
b
)
~
a
(
(
c
)
b
)
(
c
)
a
(
(
c
)
b
)
(
c
)
a
C
o
d
e
