Interactive Mlatu-6 Evaluator
About
Mlatu-6
i
n
i
t
(
c
)
(
b
)
(
a
)
(
(
+
>
)
~
>
,
<
,
~
)
~
,
<
m
a
x
S
t
e
p
s
1
0
0
(
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
