Essentials of Theoretical Computer Science - F. D. Lewis

Essentials of Theoretical Computer Science - F. D. Lewis

ID:39396707

大?。?.30 MB

頁數(shù):287頁

時間:2019-07-02

Essentials of Theoretical Computer Science - F. D. Lewis_第1頁
Essentials of Theoretical Computer Science - F. D. Lewis_第2頁
Essentials of Theoretical Computer Science - F. D. Lewis_第3頁
Essentials of Theoretical Computer Science - F. D. Lewis_第4頁
Essentials of Theoretical Computer Science - F. D. Lewis_第5頁
資源描述:

《Essentials of Theoretical Computer Science - F. D. Lewis》由會員上傳分享,免費在線閱讀,更多相關(guān)內(nèi)容在學術(shù)論文-天天文庫。

1、winxos11-01-28winxos11-01-28EssentialssofTheoreticalheoreticComputerterSciencencF.D.LewisUniversityofKentuckyHowtoNavigateTableofThisTextContentsCONTENTSOTitlePageCopyrightNoticePrefaceCOMPUTABILITYIntroductionTheNICEProgrammingLanguageTuringMachinesASmallerProgrammingLanguageEquiva

2、lenceoftheModelsMachineEnhancementTheThesesofChurchandTuringHistoricalNotesandReferencesProblemsUNSOLVABILITYIntroductionArithmetizationPropertiesoftheEnumerationUniversalMachinesandSimulationSolvabilityandtheHaltingProblemReducibilityandUnsolvabilityEnumerableandRecursiveSetsHistor

3、icalNotesandReferencesProblemsCOMPLEXITYIntroductionMeasuresandResourceBoundsComplexityClassesReducibilitiesandCompletenessTheClassesPandNPIntractableProblemsHistoricalNotesandReferencesProblemsAUTOMATAIntroductionFiniteAutomataClosurePropertiesNondeterministicOperationRegularSetsan

4、dExpressionsDecisionProblemsforFiniteAutomataPushdownAutomataUnsolvableProblemsforPushdownAutomataLinearBoundedAutomataHistoricalNotesandReferencesProblemsLANGUAGESIntroductionGrammarsLanguagePropertiesRegularLanguagesContextFreeLanguagesContextFreeLanguagePropertiesParsingandDeterm

5、inisticLanguagesSummaryHistoricalNotesandReferencesProblemsCOMPUTABILITYCPBYBeforeexaminingtheintrinsicnatureofcomputationwemusthaveapreciseideaofwhatcomputationmeans.Inotherwords,weneedtoknowwhatwe’retalkingabout!Todothis,weshallbeginwithintuitivenotionsoftermssuchascalculation,com

6、putingprocedure,andalgorithm.Thenweshallbeabletodevelopaprecise,formalcharacterizationofcomputationwhichcapturesallofthemodernaspectsandconceptsofthisimportantactivity.Partofthisdefinitionalprocessshallinvolvedevelopingmodelsofcomputation.Theywillbepresentedwithemphasisupontheirfini

7、tenatureandtheircomputationaltechiques,thatis,theirmethodsoftransforminginputsintooutputs.Inclosing,weshallcompareourvariousmodelsanddiscusstheirrelativepower.Thesectionsareentitled:TheNICEProgrammingLanguageTuringMachinesASmallerProgrammingLanguageEquivalenceoftheModelsMachineEnhan

8、cementTheThesesofCh

當前文檔最多預(yù)覽五頁,下載文檔查看全文

此文檔下載收益歸作者所有

當前文檔最多預(yù)覽五頁,下載文檔查看全文
溫馨提示:
1. 部分包含數(shù)學公式或PPT動畫的文件,查看預(yù)覽時可能會顯示錯亂或異常,文件下載后無此問題,請放心下載。
2. 本文檔由用戶上傳,版權(quán)歸屬用戶,天天文庫負責整理代發(fā)布。如果您對本文檔版權(quán)有爭議請及時聯(lián)系客服。
3. 下載前請仔細閱讀文檔內(nèi)容,確認文檔內(nèi)容符合您的需求后進行下載,若出現(xiàn)內(nèi)容與標題不符可向本站投訴處理。
4. 下載文檔時可能由于網(wǎng)絡(luò)波動等原因無法下載或下載錯誤,付費完成后未能成功下載的用戶請聯(lián)系客服處理。