Termination w.r.t. Q
of the given
QTRS
could not be shown:
0 QTRS
(0)
Obligation:
Q restricted rewrite system:
The TRS R consists of the following rules:
*
(
X
,
+
(
Y
,
1
)) →
+
(
*
(
X
,
+
(
Y
,
*
(
1
,
0
))),
X
)
*
(
X
,
1
) →
X
*
(
X
,
0
) →
X
*
(
X
,
0
) →
0
Q is empty.