自动机理论 编辑
在理论计算机科学中，自动机理论是对抽象机器和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。
1
相关
抽象机器，又称抽象电脑，利用自动机理论，建立出电脑硬件或软件的理论模型。把运算过程抽象化，一般来说是采用离散时间模型，可应用于电脑科学或电脑工程。在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性，或是分析算法的复杂度。
Think-a-Dot是E.S.R., Inc.公司于1960年代所推出的一款数学玩具，其用作原理与自动机理论相关。Think-a-Dot的前方有八个窗口，以最上层三个、中间层两个，最下层三个的方式排列。顶部有三个圆形孔洞，供小球投入。每个窗口都会显示黄色或蓝色的有色塑胶片，这取决于小球由上方孔洞投入后在玩具内部的运作方式。因此，此玩具盘面上的显示状态将有2种可能情况。当球落至底部时，会经由底部两侧的开口滚出。当将球投入玩具时，小球将翻转其通过的窗口颜色，并依翻转后的颜色决定球偏向左边或右边向下一层落下。Think-a-Dot可以实现各种难题和游戏，例如以最小移动次数翻转所有窗口的颜色，或者从单色状态达到指定图形状态，反之亦然。
抽象机器，又称抽象电脑，利用自动机理论，建立出电脑硬件或软件的理论模型。把运算过程抽象化，一般来说是采用离散时间模型，可应用于电脑科学或电脑工程。在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性，或是分析算法的复杂度。
抽象机器，又称抽象电脑，利用自动机理论，建立出电脑硬件或软件的理论模型。把运算过程抽象化，一般来说是采用离散时间模型，可应用于电脑科学或电脑工程。在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性，或是分析算法的复杂度。
自动机编程是编程范式中的一种，是指程式或其中的部分是以有限状态机为模型的程式，有些程式则会用其他型式的自动机理论为其模型。
在自动机理论中，确定有限状态自动机最小化是将给定的确定有限状态自动机改造为等价且拥有最少状态的DFA的过程。这里，两个DFA等价意味着他们识别相同的正则语言。各自动机理论的教材中，已经给出了若干已知的最小化算法。
在自动机理论和时序逻辑中，状态转移表是展示有限半自动机或自动机基于当前状态和其他输入，要移动到什么状态的表格。“状态表”本质上是其中某些输入是当前状态，而输出包含与其他输出在一起的下一个状态的真值表。
在自动机理论和时序逻辑中，状态转移表是展示有限半自动机或自动机基于当前状态和其他输入，要移动到什么状态的表格。“状态表”本质上是其中某些输入是当前状态，而输出包含与其他输出在一起的下一个状态的真值表。
在自动机理论和时序逻辑中，状态转移表是展示有限半自动机或自动机基于当前状态和其他输入，要移动到什么状态的表格。“状态表”本质上是其中某些输入是当前状态，而输出包含与其他输出在一起的下一个状态的真值表。
自动机编程是编程范式中的一种，是指程式或其中的部分是以有限状态机为模型的程式，有些程式则会用其他型式的自动机理论为其模型。