&gt;&gt; You need automata theory... Turing-completeness... PDAs and FSAs...<p>&gt; Why?<p>So you can write parsers.  To give a real-world example, so you can know immediately why trying to parse HTML with a regular expression can&#x27;t possibly work.<p>&gt;&gt; You need to know how to compile a high-level language down to an RTL.<p>&gt;Why?<p>So that when your compiler screws up you can look at its output, figure out what it did wrong, and fix it.<p>&gt;&gt; You need to understand what a fixed point is and why it matters.<p>&gt; Well, I don&#x27;t, and I don&#x27;t. I request a pointer to suitable study material<p><a href="http:&#x2F;&#x2F;ocw.mit.edu&#x2F;courses&#x2F;electrical-engineering-and-computer-science&#x2F;6-001-structure-and-interpretation-of-computer-programs-spring-2005&#x2F;video-lectures&#x2F;" rel="nofollow">http:&#x2F;&#x2F;ocw.mit.edu&#x2F;courses&#x2F;electrical-engineering-and-comput...</a><p>Particularly lectures 2A and 7A.