計算理論基礎教學大綱-wenkub.com
2024-08-31 19:14 本頁面
【正文】 （這樣定義的原因） ? *數(shù)值函數(shù) 1． 基本函數(shù) 2． 函數(shù)的組合與遞歸定義 3． 原始遞歸函數(shù) 4． 遞歸謂詞 5． 極小化的定義 6． ? 遞歸的定義 7． ? 遞歸和遞歸之間的關系。 ? *非確定型 Turing 機的相關定義以及它在判定，半判定，計算等功能上與標準 Turing 機的等價性 。 2． 雙向無窮帶 Turing。語言遞歸的定義。 Turing 機的記號，圖表示。 自頂向下的語法分析：消除左遞歸。 ? 確定性與語法分析 下推自動機的確定型定義，字符串之間的相容和轉移之間的兼容關系。 單文字的上下文無關語言必定是正則語言。 ? *下推自動機與上下無關語言的關系。 還有其上的推導。 正則語言與有窮自動機的關系，它們之間的互化。 ? *非確定型有窮自動機的定義和它與確定型之間的區(qū)別。 ? *字母表和語言 ：對何謂字母表，何謂字符串，以及字符串的性質，如空串，串長度，還有其上的諸如連接 ，前綴，后綴，反轉，補和 Kleene等等運算，以及它的子串 這些概念有清楚的認識，注意區(qū)分 L? 和 *L
公司管理相關推薦
鄂ICP備17016276號-1