正在加载图片,请稍后......

形式语言与自动机理论/蒋宗礼,姜守旭

  • 附件:
  • 设置1:
  • 设置2:姜守旭
  • 设置3:
  • 设置4:本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识,更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化,既有严格的理论证明、又具有很强的构造性,从而培养学生的形式化描述和抽象思维能力,使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。
  • 附注提要
    本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识,更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化,既有严格的理论证明、又具有很强的构造性,从而培养学生的形式化描述和抽象思维能力,使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。
    目录
    暂无目录
    (0)|| (0)

    手机二维条形码

    馆藏信息
    序号 索书号 码号定位 订户 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 卷册说明 登录号
    1 TP301.2/4433 KT0300639 KT 保存本库 入藏 保存 0
    2 TP301.2/4433 KT0300635 KT 昆明市五华区闻华中学 入藏 借阅 0