论文部分内容阅读
当我们用计算机进行问题的求解时,首先需要用适当的数据进行问题表示,然后再设计相应的算法对这些数据进行变换处理来获得问题的求解结果。因此,对问题进行建模和形式化表示,然后进行处理是进行计算机求解的基本途径。数理逻辑、自动机理论给出了如何描述一些基本问题以及如何建立问题的抽象表示,并通过对这些抽象化的表示的性质和它的变化方法进行研究。