Finite-state machines and Turing Machines are important mathematical models of the computing process and they are used to answer a number of important theoretical questions.

• 有限状态机和图灵机是计算过程的重要的数学模型，它们将用来解答一系列的重大的理论问题。