扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
JAVA持续交付
-
>
EXCEL最强教科书(完全版)(全彩印刷)
-
>
深度学习
自动机理论、语言和计算导论(英文版、第3版) 版权信息
- ISBN:9787111223924
- 条形码:9787111223924 ; 978-7-111-22392-4
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>
自动机理论、语言和计算导论(英文版、第3版) 内容简介
本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的,陸质、图灵机、不可判定性以及难解问题等内容。
本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书,适合用作国内高校计算机专业高年级本科生或研究生的教材,还可供从事理论计算工作的研究人员参考。
自动机理论、语言和计算导论(英文版、第3版) 目录
1 automata: the methods and the madness
1.1 why study automata theory?
1.1.1 introduction to finite automata
1.1.2 structural representations
1.1.3 automata and complexity
1.2 introduction to formal proof
1.2.1 deductive proofs
1.2.2 reduction to definitions
1.2.3 other theorem forms
1.2.4 theorems that appear not to be if-then statements
1.3 additional forms of proof
1.3.1 proving equivalences about sets
1.3.2 the contrapositive
1.3.3 proof by contradiction
1.3.4 counterexamples
1.1 why study automata theory?
1.1.1 introduction to finite automata
1.1.2 structural representations
1.1.3 automata and complexity
1.2 introduction to formal proof
1.2.1 deductive proofs
1.2.2 reduction to definitions
1.2.3 other theorem forms
1.2.4 theorems that appear not to be if-then statements
1.3 additional forms of proof
1.3.1 proving equivalences about sets
1.3.2 the contrapositive
1.3.3 proof by contradiction
1.3.4 counterexamples
展开全部
自动机理论、语言和计算导论(英文版、第3版) 作者简介
John E.Hopcroft 于斯坦福大学获得博士学位,现为康奈尔大学计算机科学系教授。1994年到2001年,任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。
书友推荐
- >
推拿
推拿
¥12.2¥32.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥16.9¥49.8 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.9¥49.8 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
姑妈的宝刀
姑妈的宝刀
¥15.7¥30.0
本类畅销
-
大模型应用开发极简入门 基于GPT-4和ChatGPT
¥41.9¥59.8 -
人工智能 现代方法 第4版(全2册)
¥120.8¥198 -
计算机视觉:算法与应用
¥95.9¥139 -
必然(修订版)
¥53.5¥89 -
GPT时代人类再腾飞
¥54.9¥89.9 -
生成式人工智能(AIGC)应用
¥64.9¥90
浏览历史
我的创意旅行大地图-孤独星球童书系列 185枚精美贴纸220个国家和地区
¥15.4¥38.0中医诊断学-中医考试必备掌中宝典
¥4.1¥5.0小儿推拿:少生病,不吃药
¥40.4¥68.0中国文化“走出去”研究报告(2018)中国文化走出去研究报告总论
¥73.5¥98.0医用耗材管理
¥47.9¥69.0