论文部分内容阅读
自动机理论是作为离散自动装置和计算机理论模型建立的。通过研究,抽象定义:模型是一个有限自动机,为了在计算机中实现模型的自动机表示,选用了PROLOG语言,一个模型用一个或多个谓词来描述,把它们存放在PROLOG系统的动态数据库中,然后用推理机进行求解,本方法的创新之处在于把自动机的合成与简化理论应用到模型表示中,把人工智能技术应用到模型管理中。