計(jì)算理論基礎(chǔ)教學(xué)大綱-文庫(kù)吧在線文庫(kù)
【正文】 泵定理 （重點(diǎn)） ? *狀態(tài)最小化 ：語(yǔ)言等價(jià)類(lèi)的劃分（它對(duì)證明一個(gè)語(yǔ)言是正則語(yǔ)言有什么啟示） 在自動(dòng)機(jī)的基礎(chǔ)上對(duì)語(yǔ)言等價(jià)類(lèi)的劃分以及在原語(yǔ)言的基礎(chǔ)上對(duì)語(yǔ)言的劃分 他們之間有什么關(guān)系。 ? *語(yǔ)言的有窮表示（字符串）和由于這一特點(diǎn)而帶來(lái)的表示上的先天缺陷 。 ? *字母表和語(yǔ)言 ：對(duì)何謂字母表，何謂字符串，以及字符串的性質(zhì)，如空串，串長(zhǎng)度，還有其上的諸如連接 ，前綴，后綴，反轉(zhuǎn)，補(bǔ)和 Kleene等等運(yùn)算，以及它的子串 這些概念有清楚的認(rèn)識(shí)，注意區(qū)分 L? 和 *L 的關(guān)系。 正則語(yǔ)言與有窮自動(dòng)機(jī)的關(guān)系，它們之間的互化。 ? *下推自動(dòng)機(jī)與上下無(wú)關(guān)語(yǔ)言的關(guān)系。 ? 確定性與語(yǔ)法分析 下推自動(dòng)機(jī)的確定型定義，字符串之間的相容和轉(zhuǎn)移之間的兼容關(guān)系。 Turing 機(jī)的記號(hào)，圖表示。 2． 雙向無(wú)窮帶 Turing。（這樣定義的原因） ? *數(shù)值函數(shù) 1． 基本函數(shù) 2． 函數(shù)的組合與遞歸定義 3． 原始遞歸函數(shù) 4． 遞歸謂詞 5． 極小化的定義 6． ? 遞歸的定義 7． ? 遞歸和遞歸之間的關(guān)系。 ? *非確
公司管理相關(guān)推薦
鄂ICP備17016276號(hào)-1