3 - 可判定性 -- Decidability

Source：
decidable language, lecture, CoCo, UCPH, DIKU, 2021.
Introduction of Theory of computation, Michael Sipser.

标签：可判定性,UCPH,Theory,language,--,Michael,Decidability
来源： https://www.cnblogs.com/romaLzhih/p/14444882.html