自动机理论、语言和计算导论(英文版.第3版)

自动机理论、语言和计算导论(英文版.第3版)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] (Hopcroft J.E.)
2008-01
版次: 1
ISBN: 9787111223924
定价: 59.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 535页
原版书名: Introduction to Automata Theory, Languages, and Computation (3rd Edition)
分类: 语言文字
94人买过
  •   《自动机理论:语言和计算机导论》(英文版)(第3版)是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的,陸质、图灵机、不可判定性以及难解问题等内容。   JohnE.Hopcroft,于斯坦福大学获得博士学位,现为康奈尔大学计算机科学系教授。1994年到2001年,任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。 1Automata:TheMethodsandtheMadness
    1.1WhyStudyAutomataTheory?
    1.1.1IntroductiontoFiniteAutomata
    1.1.2StructuralRepresentations
    1.1.3AutomataandComplexity
    1.2IntroductiontoFormalProof
    1.2.1DeductiveProofs
    1.2.2ReductiontoDefinitions
    1.2.3OtherTheoremForms
    1.2.4TheoremsThatAppearNottoBeIf-ThenStatements
    1.3AdditionalFormsofProof
    1.3.1ProvingEquivalencesAboutSets
    1.3.2TheContrapositive
    1.3.3ProofbyContradiction
    1.3.4Counterexamples
    1.4InductiveProofs
    1.4.1InductionsonIntegers
    1.4.2MoreGeneralFormsofIntegerInductions
    1.4.3StructuralInductions
    1.4.4MutualInductions
    1.5TheCentralConceptsofAutomataTheory
    1.5.1Alphabets
    1.5.2,Strings
    1.5.3Languages
    1.5.4Problems
    1.6SummaryofChapter1
    1.7GradianceProblemsforChapter1
    1.8ReferencesforChapter1
    2FiniteAutomata
    2.1AnInformalPictureofFiniteAutomata
    2.1.1TheGroundRules
    2.1.2TheProtocol
    2.1.3EnablingtheAutomatatoIgnoreActions
    2.1.4TheEntireSystemasanAutomaton
    2.1.5UsingtheProductAutomatontoValidatetheProtocol
    2.2DeterministicFiniteAutomata
    2.2.1DefinitionofaDeterministicFiniteAutomaton
    2.2.2HowaDFAProcessesStrings
    2.2.3SimplerNotationsforDFAs
    2.2.4ExtendingtheTransitionFunctiontoStrings
    2.2.5TheLanguageofaDFA
    2.2.6ExercisesforSection2.2
    2.3NondeterministicFiniteAutomata
    2.3.1AnInformalViewofNondeterministicFiniteAutomata
    2.3.2DefinitionofNondeterministicFiniteAutomata
    2.3.3TheExtendedTransitionFunction
    2.3.4TheLanguageofanNFA
    2.3.5EquivalenceofDeterministicandNondeterministicFiniteAutomata
    2.3.6ABadCasefortheSubsetConstruction
    2.3.7ExercisesforSection2.3
    2.4AnApplication:TextSearch
    2.4.1FindingStringsinText
    2.4.2NondeterministicFiniteAutomataforTextSearch
    2.4.3ADFAtoRecognizeaSetofKeywords
    2.4.4ExercisesforSection2.4
    2.5FiniteAutomataWithEpsilon-Transitions
    2.5.1Usesofe-Transitions
    2.5.2TheFormalNotationforanc-NFA
    2.5.3Epsilon-Closures
    2.5.4ExtendedTransitionsandLanguagesforc-NFAs
    2.5.5Eliminatinge-Transitions
    2.5.6ExercisesforSection2.5
    2.6SummaryofChapter2
    2.7GradianceProblemsforChapter2
    2.8ReferencesforChapter2
    3RegularExpressionsandLanguages
    3.1RegularExpressions
    3.1.1TheOperatorsofRegularExpressions
    3.1.2BuildingRegularExpressions
    3.1.3PrecedenceofRegular-ExpressionOperators
    3.1.4ExercisesforSection3.1
    3.2FiniteAutomataandRegularExpressions
    3.2.1FromDFAstoRegularExpressions
    3.2.2ConvertingDFAstoRegularExpressionsbyEliminatingStates
    ……
    4PropertieskfRegularLanguages
    5Context-FreeGrammarsandLanguages
    6PushdownAutomata
    7PropertiesofContext-FreeLanguages
    8IntroductiontoTuringMachines
    9Undecidability
    10IntractableProblems
    11AdditionalClassesofProblems
    Index
  • 内容简介:
      《自动机理论:语言和计算机导论》(英文版)(第3版)是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的,陸质、图灵机、不可判定性以及难解问题等内容。
  • 作者简介:
      JohnE.Hopcroft,于斯坦福大学获得博士学位,现为康奈尔大学计算机科学系教授。1994年到2001年,任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。
  • 目录:
    1Automata:TheMethodsandtheMadness
    1.1WhyStudyAutomataTheory?
    1.1.1IntroductiontoFiniteAutomata
    1.1.2StructuralRepresentations
    1.1.3AutomataandComplexity
    1.2IntroductiontoFormalProof
    1.2.1DeductiveProofs
    1.2.2ReductiontoDefinitions
    1.2.3OtherTheoremForms
    1.2.4TheoremsThatAppearNottoBeIf-ThenStatements
    1.3AdditionalFormsofProof
    1.3.1ProvingEquivalencesAboutSets
    1.3.2TheContrapositive
    1.3.3ProofbyContradiction
    1.3.4Counterexamples
    1.4InductiveProofs
    1.4.1InductionsonIntegers
    1.4.2MoreGeneralFormsofIntegerInductions
    1.4.3StructuralInductions
    1.4.4MutualInductions
    1.5TheCentralConceptsofAutomataTheory
    1.5.1Alphabets
    1.5.2,Strings
    1.5.3Languages
    1.5.4Problems
    1.6SummaryofChapter1
    1.7GradianceProblemsforChapter1
    1.8ReferencesforChapter1
    2FiniteAutomata
    2.1AnInformalPictureofFiniteAutomata
    2.1.1TheGroundRules
    2.1.2TheProtocol
    2.1.3EnablingtheAutomatatoIgnoreActions
    2.1.4TheEntireSystemasanAutomaton
    2.1.5UsingtheProductAutomatontoValidatetheProtocol
    2.2DeterministicFiniteAutomata
    2.2.1DefinitionofaDeterministicFiniteAutomaton
    2.2.2HowaDFAProcessesStrings
    2.2.3SimplerNotationsforDFAs
    2.2.4ExtendingtheTransitionFunctiontoStrings
    2.2.5TheLanguageofaDFA
    2.2.6ExercisesforSection2.2
    2.3NondeterministicFiniteAutomata
    2.3.1AnInformalViewofNondeterministicFiniteAutomata
    2.3.2DefinitionofNondeterministicFiniteAutomata
    2.3.3TheExtendedTransitionFunction
    2.3.4TheLanguageofanNFA
    2.3.5EquivalenceofDeterministicandNondeterministicFiniteAutomata
    2.3.6ABadCasefortheSubsetConstruction
    2.3.7ExercisesforSection2.3
    2.4AnApplication:TextSearch
    2.4.1FindingStringsinText
    2.4.2NondeterministicFiniteAutomataforTextSearch
    2.4.3ADFAtoRecognizeaSetofKeywords
    2.4.4ExercisesforSection2.4
    2.5FiniteAutomataWithEpsilon-Transitions
    2.5.1Usesofe-Transitions
    2.5.2TheFormalNotationforanc-NFA
    2.5.3Epsilon-Closures
    2.5.4ExtendedTransitionsandLanguagesforc-NFAs
    2.5.5Eliminatinge-Transitions
    2.5.6ExercisesforSection2.5
    2.6SummaryofChapter2
    2.7GradianceProblemsforChapter2
    2.8ReferencesforChapter2
    3RegularExpressionsandLanguages
    3.1RegularExpressions
    3.1.1TheOperatorsofRegularExpressions
    3.1.2BuildingRegularExpressions
    3.1.3PrecedenceofRegular-ExpressionOperators
    3.1.4ExercisesforSection3.1
    3.2FiniteAutomataandRegularExpressions
    3.2.1FromDFAstoRegularExpressions
    3.2.2ConvertingDFAstoRegularExpressionsbyEliminatingStates
    ……
    4PropertieskfRegularLanguages
    5Context-FreeGrammarsandLanguages
    6PushdownAutomata
    7PropertiesofContext-FreeLanguages
    8IntroductiontoTuringMachines
    9Undecidability
    10IntractableProblems
    11AdditionalClassesofProblems
    Index
查看详情
您可能感兴趣 / 更多
自动机理论、语言和计算导论(英文版.第3版)
数学旅行家 文教科普读物 (美)卡尔文・c.克劳森
[美]卡尔文・c.克劳森
自动机理论、语言和计算导论(英文版.第3版)
向世界好的医院力
[美]理查德·温特斯(RichardWinters)
自动机理论、语言和计算导论(英文版.第3版)
像作家一样阅读:提升读写能力的10堂课
[美]艾琳·M.普希曼
自动机理论、语言和计算导论(英文版.第3版)
黑的眼睛不看光明 心理学
[美]玛利亚娜·亚历山德里
自动机理论、语言和计算导论(英文版.第3版)
觉醒 外国现当代文学
[美]凯特·肖邦
自动机理论、语言和计算导论(英文版.第3版)
从众陷阱 成功学 (美)托德·罗斯(todd rose)
[美]托德·罗斯(toddrose)
自动机理论、语言和计算导论(英文版.第3版)
海洋全书:国家地理新探索
[美]西尔维娅·A.厄尔
自动机理论、语言和计算导论(英文版.第3版)
吃的勇气:365天告别饮食内耗,与食物和解
[美]伊芙琳·特里波尔(EvelynTribole)