R
↳Dependency Pair Analysis
APP(f, app(g, x)) -> APP(g, app(g, app(f, x)))
APP(f, app(g, x)) -> APP(g, app(f, x))
APP(f, app(g, x)) -> APP(f, x)
APP(f, app(g, x)) -> APP(g, app(g, app(g, x)))
APP(f, app(g, x)) -> APP(g, app(g, x))
R
↳DPs
→DP Problem 1
↳Argument Filtering and Ordering
APP(f, app(g, x)) -> APP(f, x)
app(f, app(g, x)) -> app(g, app(g, app(f, x)))
app(f, app(g, x)) -> app(g, app(g, app(g, x)))
innermost
APP(f, app(g, x)) -> APP(f, x)
POL(g) = 0 POL(APP(x1, x2)) = x1 + x2 POL(f) = 0 POL(app(x1, x2)) = 1 + x1 + x2
APP(x1, x2) -> APP(x1, x2)
app(x1, x2) -> app(x1, x2)
R
↳DPs
→DP Problem 1
↳AFS
→DP Problem 2
↳Dependency Graph
app(f, app(g, x)) -> app(g, app(g, app(f, x)))
app(f, app(g, x)) -> app(g, app(g, app(g, x)))
innermost