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



浙公网安备 33010602011771号