•PFP + < µ PSPACE [ why ?
]
•
•To show PSPACE µ PFP + <
proceed
as before, but can’t define T0(p, t)
because we can’t express t
•Instead define T0(p), T1(p), Hq(p) using a
PFP
•Each new step recomputes these tables
•Make sure to define T0(p+1) = T0(p)
etc whenever reaching an accepting
state