语言与机器：计算机科学理论导论

图书标准信息

• 作者 [美]苏达饮 著
• 出版社 清华大学出版社
• 出版时间 2007-07
• 版次 3
• ISBN 9787302151722
• 定价 69.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 654页
• 正文语种 英语

【内容简介】

《语言与机器：计算机科学理论导论（第3版）（影印版）》介绍了计算机科学的基础知识，以及各种算法计算的能力和局限性。《语言与机器：计算机科学理论导论（第3版）（影印版）》通过大量示例，以一种直观、易懂的方式阐释了计算机科学理论的概念及相关数学知识。第3版还扩展介绍了自动机理论、计算理论和计算复杂性等内容。《语言与机器：计算机科学理论导论（第3版）（影印版）》可作为计算机及相关专业的计算机科学理论课程的教材。

【目录】

Pretace
IntroductiOn
PARTIFoundations
Chapter1MathematicaIPreliminaries
1.1SetTheory
1.2CartesianProduct，Relations，andFunctions
1.3EquivalenceRelations
1.4CountableandUncountableSets
1.5DiagonalizatiOnandSelf-Reference
1.6RecursiveDefinitions
1.7MathematicalInduction
1.8DirectedGraphs
Exercises
BibliographicNotes
Chapter2Languages
2.1StringsandLanguages
2.2FiniteSpecificationofLanguages
2.3RegularSetsandExpressions
2.4RegularExpressionsandTextSearching
Exercises
BibliographicNotes

PARTIIGrammars，Automata，andLanguages
Chapter3Context-FreeGrammars
3.1Context-FreeGrammarsandLanguages
3.2ExamplesofGrammarsandLanguages
3.3RegularGrammars
3.4VerifyingGrammars
3.5LeftmostDerivationsandAmbiguity
3.6Context-FreeGrammarsandProgrammingLanguageDefinition
Exercises
BibliographicNotes
Chapter4NormaIFormsforContext-FreeGrammars
4.1GrammarTransformations
4.2Eliminationofλ-Rules
4.3EliminationofChinRules
4.4UselessSymbols
4.5ChomskyNormalForm
4.6TheCYKAlgorithm
4.7RemovalofDirectLeftRecursion
4.8GreibachNormalForm
Exercises
BibliographicNOtes
Chapter5FiniteAutGImata
5.1AFinite.StateMachine
5.2DeterministicFiniteAutOmata
5.3StateDiagramsandExamples
5.4NondeterministicFiniteAutomata
5.5λ-Transitions
5.6RemovingNondeterminism
5.7DFAMinimization
Exercises
BibliographicNotes
……

PARTIIIComputability
PARTIVComputationalComplexity
PARTVDeterministicParsing
Appendix
Bibliography
SubjectIndex