本书将机械工程力学应用(理论力学和材料力学)的理论计算基础知识和计算机编程有机结合,共列举32个工程力学的典型编程算例进行详细介绍,给出了理论计算、编程方法及源程序,其中用VB编程26例,其余用MATLAB和Excel编写。本书提供所有实例的程序源代码,读者可以下载调用。 本书可供机械设计人员、机械工程技术人员、高等院校理工科学生学习和参考,也可供工程软件开发的技术人员参考使用。
本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图录机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。 本书是理论计算机科学方面的之珂作为高等院校计算机专业的,也可作为计算机系统研发人员的参考书。