計算理論中的四類語言及其關係

整理自書本1。 四類語言分別是正則語言（regular）、上下文無關語言（context-free）、可判定語言（decidable）和圖靈可識別語言（Turing-recognizable）。其關係如下圖所示： 解釋一下這幾種語言的含義。 書上定義3.52： 如果一個語言能夠被某圖靈機所識別，那麼稱這個語言是圖靈可識別的（Turing-recognizable）。 圖靈可識別語言也可以稱爲遞歸可

>>阅读原文<<