Termination proof
1: switching to dependency pairs
The following set of initial dependency pairs has been identified.
|
g#(
a
)
|
→ |
h#(
a
,
b
,
a
)
|
|
i#(
x
)
|
→ |
f#(
x
,
x
)
|
|
h#(
x
,
x
,
y
)
|
→ |
g#(
x
)
|
1.1: dependency graph processor
The dependency pairs are split into 0 component(s).