No.13270930 ViewReplyOriginalReport
How much overlap is there between Sipser and https://introtcs.org/public/index.html? Can I do only the latter or will I miss something? Is it a good resource?