From: Ben S on
Does anyone have any good resources on how to approach proofs?
Specifically proofs in Computation Theory (automata, regular
expressions, Turing machines, etc.).