28
Proof Sketch
•
NLOGSPACE \subseteq TrCl + <
•
•
Standard simulation of a Turing Machine