Omer Mujawar

**Chapter name**: Restricted computational models **List of bugs/typos** 1. In the section titled "Turing completeness as a bug," in the example about DAO, the sentence "Specifically Ethereum uses the Turing-complete...

**Chapter name**: Equivalent models of computation (section: "Turing completeness and equivalence, a formal definition (optional)") **List of bugs/typos** 1. In the section titled "Turing completeness and equivalence, a formal definition...

**Chapter name**: Loops and infinity **List of bugs/typos** 1. In the online site version under the section titled "“GOTO” and inner loops" (specifically, the remark "GOTO's in programming languages"), there...

**Chapter name**: Functions with Infinite domains, Automata, and Regular expressions **List of bugs/typos** 1. In online TCS site under the section titled "Algorithms for matching regular expressions," beneath the first...

**Chapter name**: Code as data, data as code **List of bugs/typos** 1. In the first figure's caption under the section titled "Representing programs as strings," the figure has a label...

**Chapter name**: Syntactic sugar, and computing every function (section: "The LOOKUP function") **List of bugs/typos** 1. Formatting Bug: In the online TCS version (in the section titled "The LOOKUP function"),...

**Chapter name**: Computation and Representation **List of bugs/typos** 1. In section titled "Two’s complement representation (optional)", the LaTeX in the second paragraph written as `$ k + k’ { -2^n,,...