成功加入购物车

去购物车结算 X
孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索
轻阅书店
  • 形式语言与自动机
图文详情

形式语言与自动机

举报

闪电发货·正版保障·假一赔十·电子发票·七天退换无忧

  • 出版时间: 
  • 装帧:    平装
  • 开本:    16开
  • ISBN:  9787563549979
  • 出版时间: 
  • 装帧:  平装
  • 开本:  16开

售价 ￥ 21.99 7.6折

定价 ￥29.00 

品相 全新

优惠 满包邮

优惠 满减券
    发货
    承诺当日发16点前付款，当日发货

    承诺当日发

    16点前付款，当天24点前发货；16点后付款，次日24点前发货。

    运费
    本店暂时无法向该地区发货

    延迟发货说明

    时间：
    说明：

    上书时间2025-03-14

    数量
    库存16件
    立即购买 加入购物车 收藏
    微信扫描下方二维码
    微信扫描打开成功后，点击右上角”...“进行转发

    卖家超过10天未登录

    四年老店
    轻阅书店
    店铺等级
    资质认证
    90天平均
    成功完成
    95.99% (2356笔)
    好评率
    99.81%
    发货时间
    6.47小时
    店主
    轻阅书店
    联系
    在线交谈 离线留言
    地址
    天津市西青区
    进店逛逛 收藏店铺
    • 商品详情
    • 店铺评价
    立即购买 加入购物车 收藏
    手机购买
    微信扫码访问
    • 商品分类：
      综合性图书
      货号：
      1201475292
      商品描述：
      目录
      第1章基础知识
      1.1集合与关系
      1.2逻辑
      1.3图
      1.4证明技术
      1.4.1演绎证明
      1.4.2反证法
      1.4.3归纳定义与归纳法
      1.5典型例题解析
      习题
      第2章语言及文法
      2.1语言的定义与运算
      2.2文法
      2.3文法的分类
      2.4典型例题解析
      习题
      第3章有限自动机和右线性文法
      3.1有限自动机
      3.1.1有限状态系统和有限自动机的概念
      3.1.2有限自动机的形式定义
      3.1.3设计有限自动机
      3.2不确定的有限自动机
      3.3DFA与NFA的等效
      3.4有ε转换的不确定的有限自动机
      3.5正则集与正则式
      3.6右线性文法和正则集
      3.7正则表达式和有限自动机
      3.8右线性语言与有限自动机
      3.9右线性语言的性质
      3.9.1确定的有限自动机的化简
      3.9.2泵浦引理
      3.9.3右线性语言的封闭性
      3.9.4判定问题
      3.10双向和有输出的有限自动机
      3.10.1双向有限自动机
      3.10.2有输出的有限自动机
      3.11正则表达式和有限自动机的应用
      3.11.1UNIX中的正则表达式
      3.11.2文本编辑程序
      3.11.3词法分析
      3.11.4文本搜索与字符串匹配.
      3.11.5单词拼写检查
      3.12典型例题解析
      习题
      第4章上下文无关文法与下推自动机
      4.1推导树与二义性
      4.2上下文无关文法的变换
      4.3Chomsky范式和Greibach范式
      4.4下推自动机
      4.5上下文无关文法与下推自动机
      4.6上下文无关语言的性质
      4.6.1上下文无关语言的泵浦引理
      4.6.2上下文无关语言的封闭性
      4.6.3上下文无关语言的判定问题
      4.6.4上下文无关语言的二义性
      4.7受限型上下文无关文法
      4.8上下文无关文法的应用
      4.8.1上下文无关文法在语法分析中的应用
      4.8.2上下文无关文法变换的应用
      4.8.3上下文无关文法的其他应用
      4.9典型例题解析
      习题
      第5章图灵机
      5.1基本图灵机
      5.2图灵机的构造技术
      5.2.1控制器的存储
      5.2.2多道机
      5.2.3核对符
      5.2.4移位
      5.2.5子程序
      5.3修改型图灵机
      5.3.1双向无限带图灵机
      5.3.2多带图灵机
      5.3.3不确定的图灵机
      5.3.4二维图灵机
      5.4图灵机与无限制文法
      5.5线性有界自动机与上下文有关文法
      5.6典型例题解析
      习题
      第6章翻译
      6.1翻译式
      6.2转换器
      6.2.1有限转换器
      6.2.2下推转换器
      6.3词法分析
      6.4句法分析
      6.4.1自上而下解析
      6.4.2自下而上解析
      习题
      第7章自动机理论在通信领域的应用
      7.1状态机基本模型及其局限性
      7.2MSC和SDL简介
      7.3应用状态机模型描述协议
      附录计算复杂性与可计算性基础
      参考文献

      内容摘要
      本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时也介绍了形式语言与自动机的主要理论成果和应用实例。本书不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析。书中配有较多的例题和习题，可作为工科计算机专业本科生的教材和研究人员的参考书

      配送说明

      ...

      相似商品

      为你推荐

    孔网分类
    图书
    © 2002-2025 Kongfz.com 孔夫子旧书网 版权所有
    关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全
    孔网啦啦啦啦啦纺织女工火锅店第三课

    开播时间：09月02日 10:30

    即将开播，去预约
    直播中，去观看