形式语言与自动机

收藏
  • 【作者】朱保平李千目 编著
  • 【关键词】形式语言 自动机理论
  • 【出版社】清华大学出版社
  • 【出版日期】2015
  • 【ISBN】978-7-302-39975-9
  • 【中图分类号】 TP301
  • 【内容简介】本课程主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、图灵机的其它模开进等内容,更涉及到本学科方法论中所包含的3个学科形态。通过本课程的学习,培养学生的形式化描述、抽象思维、从实例计算到模型计算的能力,使学生掌握“问题=形式化—自动化(计算机化)”方法,为以后的研究做好准备。全部展开
  • 【页码】151页
  • 【丛书名】计算机科学与技术学科前沿丛书
  • 【文献类型】图书
  • 【所属馆】

    温州市图书馆 乐清市图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。