lifelonglearner comments on Anyone recommend a video course on the theory of computation?