Summary of definitions of the textbook: Introduction to the Theory of Computation, Michael Sipser, 3rd edition (2012), which we discussed in the lecture. I also added some comments.