In this last lecture purely on computability theory, we probe into the realm of undecidable problems, learn more about what the $\relangs$ languages are all about, and discover an unrecognizable language using a surprisingly familiar technique.
Readings
- Readings: Guide to the Lava Diagram
Links