15
Combined Complexity
Recursive function:
function
Eval(
f
)
if
f
=
9
x.
y
then
for
all
a
2
A do
if
Eval(
y
[a/x]) = true
then
return true
return
false
if
f
=
8
x.
y
then
for
all
a
2
A do
if
Eval(
y
[a/x]) = false
then
return false
return true
if
f
=
y
1
Æ
y
2
then
…
if
f
= R(a
1
, …, a
k
)
then
…