题名:
形式语言与自动机   / 朱保平，李千目 ,
ISBN:
978-7-302-39975-9 价格： 0.00
载体形态:
151页 26cm
出版发行:
出版地： 北京 出版社： 清华大学出版社 出版日期： 20150101
内容提要:
本课程主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、图灵机的其它模开进等内容，更涉及到本学科方法论中所包含的3个学科形态。通过本课程的学习，培养学生的形式化描述、抽象思维、从实例计算到模型计算的能力，使学生掌握“问题=形式化—自动化（计算机化）”方法，为以后的研究做好准备。 
主题词:
形式语言  
中图分类法:
TP301 版次：