Ask HN: What are the best books to self study models of computation?

Free e-books &#x2F; lecture notes:<p><a href="http:&#x2F;&#x2F;cs.brown.edu&#x2F;people&#x2F;jsavage&#x2F;book&#x2F;" rel="nofollow">http:&#x2F;&#x2F;cs.brown.edu&#x2F;people&#x2F;jsavage&#x2F;book&#x2F;</a><p><a href="http:&#x2F;&#x2F;joshua.smcvt.edu&#x2F;computation&#x2F;book.pdf" rel="nofollow">http:&#x2F;&#x2F;joshua.smcvt.edu&#x2F;computation&#x2F;book.pdf</a><p><a href="https:&#x2F;&#x2F;doc.lagout.org&#x2F;science&#x2F;0_Computer%20Science&#x2F;4_Theory%20of%20Computation&#x2F;Computability%20and%20Complexity.pdf" rel="nofollow">https:&#x2F;&#x2F;doc.lagout.org&#x2F;science&#x2F;0_Computer%20Science&#x2F;4_Theory...</a><p><a href="http:&#x2F;&#x2F;web.cs.ucdavis.edu&#x2F;~doty&#x2F;fall2015ecs120&#x2F;notes.pdf" rel="nofollow">http:&#x2F;&#x2F;web.cs.ucdavis.edu&#x2F;~doty&#x2F;fall2015ecs120&#x2F;notes.pdf</a><p><a href="http:&#x2F;&#x2F;web.cecs.pdx.edu&#x2F;~black&#x2F;CS311&#x2F;Lecture%20Notes&#x2F;Lambda%20Calculus.pdf" rel="nofollow">http:&#x2F;&#x2F;web.cecs.pdx.edu&#x2F;~black&#x2F;CS311&#x2F;Lecture%20Notes&#x2F;Lambda%...</a><p><a href="https:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1607.02291" rel="nofollow">https:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1607.02291</a><p><a href="http:&#x2F;&#x2F;www.lsis.org&#x2F;poccim&#x2F;phd_thesis_marco_pocci.pdf" rel="nofollow">http:&#x2F;&#x2F;www.lsis.org&#x2F;poccim&#x2F;phd_thesis_marco_pocci.pdf</a><p>Collage of machine models:<p><a href="https:&#x2F;&#x2F;www.revolvy.com&#x2F;page&#x2F;Finite%252Dstate-machine" rel="nofollow">https:&#x2F;&#x2F;www.revolvy.com&#x2F;page&#x2F;Finite%252Dstate-machine</a><p>Github repo of models:<p><a href="https:&#x2F;&#x2F;github.com&#x2F;topics&#x2F;theory-of-computation" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;topics&#x2F;theory-of-computation</a>