|
|
|
|
|
|
by troydj
3506 days ago
|
|
|
Yes, agreed! You'd think most of the CS people in a room listening to a Lamport lecture, of all things, would've at some point in their education taken a theory of computation or similar course. The notation Lamport was asking about is already taught by page 7 of chapter 0 in Sipser [1]. [1. https://www.amazon.com/Introduction-Theory-Computation-Micha...] |
|
|