[HIT-FLAA]哈工大2020春形式語言與自動機複習筆記 (4)

本系列文章 有窮自動機 正則表達式 上下文無關文法和下推自動機 圖靈機 文章目錄：圖靈機 1. 形式化定義 1. 瞬時描述 2. 停機 2. 構造 3. 雙棧自動機 (Two Stack Machine) 4. 圖靈機編碼 1. 字符串排序枚舉 2. 編碼 5. TM接受的語言 1. 遞歸可枚舉語言 2. 非遞歸可枚舉語言 3. 遞歸語言 4. 通用語言 5. 語言的範疇 6. 喬姆斯基文法 1.

>>阅读原文<<