Possible Duplicate:List of intro TCS books for those who dont know much about TCS Im taking a course on Theoretical  computer Science. and I use Sipser's Introduction to Theory of Computation as my reference manual. However, many times I find myself lost in the proofs. Ive tried following Shai Simpson's online lectures ,but would prefer something more watered down and easier to understand. Im open to any pointers/strategies or resources.
Supporting material for theory of computation
automata