
会员
有限自动机理论
更新时间:2018-12-27 14:33:03 最新章节:参考文献
书籍简介
本书简述了形式语言的基本内容,包括文法的分类和语言间运算的封闭性;系统论述了有限自动机:有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论。从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行了讨论;介绍了文法与等价的自动机之间的转换方法;并介绍了有限自动机的一些典型应用。本书以新的思维方式为读者提供一把钥匙,主要培养读者的独立思考能力,使用符号化的系统描述程序设计语言或自然语言的语法结构的能力,以及构造自动机的能力。
上架时间:2013-08-01 00:00:00
出版社:电子工业出版社
上海阅文信息技术有限公司已经获得合法授权,并进行制作发行
最新章节
陈文宇 田玲 程伟 刘贵松
同类热门书
最新上架
- 会员本书从MATLAB基础语法讲起,介绍了基于MATLAB函数的科学计算问题求解方法,实现了大量科学计算算法。全书分为三大部分。第1-2章对全书用到的MATLAB基础进行了简单介绍。第3-12章包括线性方程组求解、非线性方程求解、数值优化、数据插值、数据拟合与回归分析、数值积分、常微分方程求解、偏微分方程求解、概率统计计算及图像处理与信号处理等内容。第13-l5章以实际生活中的数学问题为例,将前文介绍自然7字
- 会员本书是《特殊函数概论》的习题解答,讲述了一些主要的特殊函数,如超几何函数、勒让德函数、合流超几何函数、贝塞耳函数、椭圆函数、椭球谐函数、马丢函数。作者不仅解答了原著中的所有习题,还对原著中存在的很多错误进行了纠正。自然0字
- 会员本书以数学实例揭示数学潜在的规律,同时探索用美学原理指导数学创造和发现的途径。内容包括:数,科学的语言;形,数的伴侣;数与形,相得益彰;曲线,大自然的写真;抽象,数学的灵魂;无穷,艰难的旅程。自然14字
- 会员数学来源于生活也高于生活,却高于生活太多到现代人无法触及。一方面,古代先哲和数学家们面对的生活问题已经不再是我们的生活问题,比如丈量土地和攻城掠寨;而我们要面对的锅瓦瓢盆,却是他们不曾想过的问题,比如地铁、找对象难题等。另一方面,数学已经发展到体系、宽度和深度都超越一般人想象力能达到的程度,不屑于解决我们普通人要面对的这种三瓜两枣的简单问题。但是,作为一个生活在现代社会中的正常人,我们每天要面对的自然11.7万字
同类书籍最近更新
- 会员该书以工程和经济金融领域中广泛使用的时滞随机系统为研究对象,利用动态优化理论中的随机最大值原理和动态规划等方法,系统研究时滞随机系统的微分博弈问题,得到了博弈系统的鞍点均衡策略、纳什均衡策略、Stackelberg均衡策略及Pareto均衡策略的存在条件和显式表达,并将所得结果应用于现代鲁棒控制理论中的随机H2/H∞控制以及数理金融中的投资与消费选择问题,丰富了博弈论的相关研究。数学5.7万字
- 会员在人类的历史长河中,数学家们总结发现过许多奇妙的数学问题,它们如夜空中的繁星,闪烁着熠熠星辉,体现了客观世界的规律之美、人类的智慧之美以及自然界的和谐之美。直到今天,这些经典的数学问题仍然受到大家的喜爱。阅读并思考这些问题,是启迪数学思维、培养兴趣爱好、拓宽知识视野的好方法。本书精选了32个专题,每个专题都以故事的形式分享了数学问题背后的历史故事及人物轶事,设置了同类的例题进行详细讲解,还精选了8数学9.4万字
- 会员本书共5章:第1章介绍代数系统的基本概念,内容包括集合与映射、群、环、域及线性代数系统等;第2章介绍矩阵代数,内容包括矩阵定义、矩阵的各种运算,如线性运算、乘法、转置、方阵的行列式等,并由此讨论可逆阵的概念及性质;第3章介绍线性方程组的消元法,为后面讲解向量空间的知识奠定基础;第4章基于矩阵、线性方程组等讨论应用广泛的向量空间,内容包括向量及其线性运算、向量组的线性相关性、线性空间的线性变换等;在数学6.1万字
- 会员这是一本全面讲解当下主流图算法原理与工程实践的著作,旨在帮助读者在分析和处理各种复杂的数据关系时能更好地得其法、善其事、尽其能。全书共10章:第1~3章主要介绍图的思维方式、图算法基础以及如何评估图算法的效率;第4~9章主要讲解6类经典图算法,包括中心性算法、相似度算法、连通性和紧密度算法、传播与分类算法、拓扑链接预测算法、图嵌入算法等,一共20余种算法,详细讲解了这些算法的原理、参数以及行业应用数学14.3万字