Undecidable Languages
摘要
The previous chapter identified decidable languages about regular, context-free, and deterministic context-free languages. This chapter will study undecidable problems and techniques for proving undecidability.