CSSE 474: Day 7

Topics

• Revisiting the diagonal language and its complement.
• The universal language
• The undecidability of the universal language