3 - 可判定性 -- Decidability
Source:
decidable language, lecture, CoCo, UCPH, DIKU, 2021.
Introduction of Theory of computation, Michael Sipser.