Read Sipser § 7.1 and § 7.2
- True or False: The time complexity of a language A depends on the model of computation that is used.
- In theorem 7.11, we show that a DTM can simulate a NTM with runtime t(n) in 2^{O(t(n))} time. How does the proof of the theorem bound the total number of leaves in the tree when a Turing machine can potentially go into infinite loops?
- What is the complexity class P? Answer in a sentence or two.
- How do we show that a language belongs to P? Answer in a sentence or two.