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

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