計(jì)算理論基礎(chǔ)教學(xué)大綱(已改無(wú)錯(cuò)字)
2022-10-17 19:14:54 本頁(yè)面
【正文】 容和轉(zhuǎn)移之間的兼容關(guān)系。 什么是確定型上下文無(wú)關(guān)語(yǔ)言（額外察覺結(jié)束）。 確定型上下文無(wú)關(guān)語(yǔ)言在補(bǔ)下是封閉的（交就肯定也是）。 確定型上下文無(wú)關(guān)語(yǔ)言與上下文無(wú)關(guān)語(yǔ)言的真包含關(guān)系 。 自頂向下的語(yǔ)法分析：消除左遞歸。 自底向上底語(yǔ)法分析。 第四章 Turing 機(jī) ? *Turing 機(jī)的相關(guān)定義和它的特點(diǎn)。 五元組的定義，（可以永不停止），格局的定義（停機(jī)格局）， M的計(jì)算。 Turing 機(jī)的記號(hào)，圖表示。注意各種操作的細(xì)節(jié)。 ? *Turing 機(jī)的計(jì)算 ： NOTE: 注 *號(hào)者為必修內(nèi)容 在 Turing 機(jī)計(jì)算中對(duì)輸入串的各種要求，對(duì)初始格局的要求。 拒絕格局，接受格局； Turing 機(jī)對(duì)語(yǔ)言的判定定義。語(yǔ)言遞歸的定義。（重點(diǎn)） 遞歸函數(shù)的定義（重點(diǎn)）； Turing機(jī)半判定語(yǔ)言的定義（要和判定相比較）。（重點(diǎn)） 遞歸可枚舉語(yǔ)言的定義和性質(zhì)。（重點(diǎn)） ? Turing 機(jī)的擴(kuò)充 1． 多帶 Turing機(jī)以及它與標(biāo)準(zhǔn) Turing機(jī)的等價(jià)性證明。 2． 雙向無(wú)窮帶 Turing。
公司管理相關(guān)推薦
鄂ICP備17016276號(hào)-1