成功加入购物车
图书条目标准图
[美]霍普克罗夫特(Hopcroft J.E.) 著 / 机械工业出版社 / 2008-01 / 平装
售价 ¥ 143.75
品相 九五品
延迟发货说明
上书时间2025-11-24
卖家超过10天未登录
自动机理论、语言和计算导论
《自动机理论:语言和计算机导论》(英文版)(第3版)是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的,陸质、图灵机、不可判定性以及难解问题等内容。
JohnE.Hopcroft,于斯坦福大学获得博士学位,现为康奈尔大学计算机科学系教授。1994年到2001年,任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。
1Automata:TheMethodsandtheMadness1.1WhyStudyAutomataTheory?1.1.1IntroductiontoFiniteAutomata1.1.2StructuralRepresentations1.1.3AutomataandComplexity1.2IntroductiontoFormalProof1.2.1DeductiveProofs1.2.2ReductiontoDefinitions1.2.3OtherTheoremForms1.2.4TheoremsThatAppearNottoBeIf-ThenStatements1.3AdditionalFormsofProof1.3.1ProvingEquivalencesAboutSets1.3.2TheContrapositive1.3.3ProofbyContradiction1.3.4Counterexamples1.4InductiveProofs1.4.1InductionsonIntegers1.4.2MoreGeneralFormsofIntegerInductions1.4.3StructuralInductions1.4.4MutualInductions1.5TheCentralConceptsofAutomataTheory1.5.1Alphabets1.5.2,Strings1.5.3Languages1.5.4Problems1.6SummaryofChapter11.7GradianceProblemsforChapter11.8ReferencesforChapter12FiniteAutomata2.1AnInformalPictureofFiniteAutomata2.1.1TheGroundRules2.1.2TheProtocol2.1.3EnablingtheAutomatatoIgnoreActions2.1.4TheEntireSystemasanAutomaton2.1.5UsingtheProductAutomatontoValidatetheProtocol2.2DeterministicFiniteAutomata2.2.1DefinitionofaDeterministicFiniteAutomaton2.2.2HowaDFAProcessesStrings2.2.3SimplerNotationsforDFAs2.2.4ExtendingtheTransitionFunctiontoStrings2.2.5TheLanguageofaDFA2.2.6ExercisesforSection2.22.3NondeterministicFiniteAutomata2.3.1AnInformalViewofNondeterministicFiniteAutomata2.3.2DefinitionofNondeterministicFiniteAutomata2.3.3TheExtendedTransitionFunction2.3.4TheLanguageofanNFA2.3.5EquivalenceofDeterministicandNondeterministicFiniteAutomata2.3.6ABadCasefortheSubsetConstruction2.3.7ExercisesforSection2.32.4AnApplication:TextSearch2.4.1FindingStringsinText2.4.2NondeterministicFiniteAutomataforTextSearch2.4.3ADFAtoRecognizeaSetofKeywords2.4.4ExercisesforSection2.42.5FiniteAutomataWithEpsilon-Transitions2.5.1Usesofe-Transitions2.5.2TheFormalNotationforanc-NFA2.5.3Epsilon-Closures2.5.4ExtendedTransitionsandLanguagesforc-NFAs2.5.5Eliminatinge-Transitions2.5.6ExercisesforSection2.52.6SummaryofChapter22.7GradianceProblemsforChapter22.8ReferencesforChapter23RegularExpressionsandLanguages3.1RegularExpressions3.1.1TheOperatorsofRegularExpressions3.1.2BuildingRegularExpressions3.1.3PrecedenceofRegular-ExpressionOperators3.1.4ExercisesforSection3.13.2FiniteAutomataandRegularExpressions3.2.1FromDFAstoRegularExpressions3.2.2ConvertingDFAstoRegularExpressionsbyEliminatingStates……4PropertieskfRegularLanguages5Context-FreeGrammarsandLanguages6PushdownAutomata7PropertiesofContext-FreeLanguages8IntroductiontoTuringMachines9Undecidability10IntractableProblems11AdditionalClassesofProblemsIndex
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30