论文部分内容阅读
自动机是离散数字动态系统的一种数学模型,按照存贮量是否有限,分为有限自动机和无限自动机。自动机理论是本世纪50年代在开关网络和数理逻辑图灵机理论基础上形成的一门年轻的数学分支,它研究离散数字动态系统的功能、结构及两者相互关系的数学理论。在自动机理论的形成和发展过程中,自动控制、计算机和数字通信等技术学科以及研究神经网络、生物学、人工智能、仿生学等方面的需要给了它以巨大的推动作用,反过来它的成果又应用于这些学科的研究中,促使了这些学科的发展。随着尖端技术的发展,自动机理论也日趋发展,而且与计算机的信息处理密切结合。它不但可以用于时序电路与计算机结构的研究,而且还可以用于形式语言、操作系统、结构等计算机科学的各个方面。在描述神经系统和算法,研究图形识别、信息论和编码等方面都有着重要作用。
Automaton is a kind of mathematical model of discrete digital dynamic system, which is divided into finite automata and infinite automata according to whether the storage capacity is limited or not. Automaton theory is a young mathematics branch formed on the basis of switching network and mathematical logic Turing machine theory in the 1950s. It studies the function and structure of discrete digital dynamic system and the mathematical theory of their relationship. In the process of the formation and development of automata theory, the need of technology disciplines such as automatic control, computer and digital communication, as well as the research of neural network, biology, artificial intelligence and bionics gave great impetus to it. In turn, it The results are applied to the study of these disciplines, prompting the development of these disciplines. With the development of cutting-edge technology, automaton theory is also developing day by day, and it is closely integrated with computer information processing. It can not only be used for the study of sequential circuits and computer architecture, but also for all aspects of computer science such as formal languages, operating systems, and structures. It plays an important role in describing neural systems and algorithms, researching graph recognition, information theory and coding.