3 - 可判定性 -- Decidability

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


posted @ 2021-02-25 07:26  romaLzhih  阅读(74)  评论(0编辑  收藏  举报