4 ms·
Ask HN: What are the best books to self study models of computation?
Need an introductory text first. Would like it to cover all or few topics from each category.
Sequential models
* Finite state machines
* Pushdown automata
* Turing Machine
Functional models
* Lambda calculus
* Recursive functions
* Combinatory logic
* Cellular automaton
* Abstract rewriting systems
Concurrent models
* Kahn process networks
* Petri nets
* Synchronous Data Flow
* Interaction nets
* Actor model
- pcvarmint 7y agoFree e-books / lecture notes: http://cs.brown.edu/people/jsavage/book/ http://cs.brown.edu/people/jsavage/book/ http://joshua.smcvt.edu/computation/book.pdf http://joshua.smcvt.edu/computation/book.pdf https://doc.lagout.org/science/0_Computer%20Science/4_Theory%20of%20Computation/Computability%20and%20Complexity.pdf https://doc.lagout.org/science/0_Computer%20Science/4_Theory... http://web.cs.ucdavis.edu/~doty/fall2015ecs120/notes.pdf http://web.cs.ucdavis.edu/~doty/fall2015ecs120/notes.pdf http://web.cecs.pdx.edu/~black/CS311/Lecture%20Notes/Lambda%20Calculus.pdf http://web.cecs.pdx.edu/~black/CS311/Lecture%20Notes/Lambda%... https://arxiv.org/pdf/1607.02291 https://arxiv.org/pdf/1607.02291 http://www.lsis.org/poccim/phd_thesis_marco_pocci.pdf http://www.lsis.org/poccim/phd_thesis_marco_pocci.pdf Collage of machine models: https://www.revolvy.com/page/Finite%252Dstate-machine https://www.revolvy.com/page/Finite%252Dstate-machine Github repo of models: https://github.com/topics/theory-of-computation https://github.com/topics/theory-of-computation