wiki:golly
差别
这里会显示出您选择的修订版和当前版本之间的差别。
两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版后一修订版两侧同时换到之后的修订记录 | ||
wiki:golly [2021/12/07 05:25] – 已恢复为旧版 (2021/12/05 18:54) 173.208.206.50 | wiki:golly [2021/12/12 04:26] – 已恢复为旧版 (2021/12/09 01:11) 2a01:4f8:191:3427::2 | ||
---|---|---|---|
行 7: | 行 7: | ||
- | | + | 自动机(Automaton)通常指不需要人们逐步进行操作指导的设备(夏培肃,1984)。例如,全自动洗衣机可按照预先安排好的操作步骤作自动地运行; |
·读写头在存储带上向左移动一格; | ·读写头在存储带上向左移动一格; | ||
·读写头在存储带上向右移动一格; | ·读写头在存储带上向右移动一格; | ||
·在存储的某一格内写下或清除一符号; | ·在存储的某一格内写下或清除一符号; | ||
·条件转移。 | ·条件转移。 | ||
- | | + | |
- | 根据存储带是否有限,可将自动机划分为有限带自动机(Finite Automaton)和无限带自动机(Infinite Automaton)。由于图灵机有无限长的存储带,所以为一种无限带自动机。有限带自动机常用作数字电路的数学模型,也用来描述神经系统和算法; | + | 图灵机在理论上能模拟现代数字计算机的一切运算,可视为现代数字计算机的数学模型。实际上,一切" |
+ | |||
+ | 根据存储带是否有限,可将自动机划分为有限带自动机(Finite Automaton)和无限带自动机(Infinite Automaton)。由于图灵机有无限长的存储带,所以为一种无限带自动机。有限带自动机常用作数字电路的数学模型,也用来描述神经系统和算法; | ||
有限自动机是一种控制状态有限、符号集有限的自动机,是一种离散输入输出系统的数学模型。可将有限自动机设想成由一条划分为许多方格的输入带和一个控制器组成的机器: | 有限自动机是一种控制状态有限、符号集有限的自动机,是一种离散输入输出系统的数学模型。可将有限自动机设想成由一条划分为许多方格的输入带和一个控制器组成的机器: | ||
- | 从数学上来定义,有限自动机是一个五元组: | ||
+ | 从数学上来定义,有限自动机是一个五元组: | ||
+ | <WRAP center round box 60%> | ||
FA=(Q,S,δ,q0,F) | FA=(Q,S,δ,q0,F) | ||
- | + | </ | |
- | 其中,Q是控制器的有限状态集、S是输入符号约有限集、δ是控制状态转移规律的Q×S到Q的映射 (可用状态转移图或状态转移表表示),q0是初始状态、F是终止状态集。若δ是单值映射,则称M为确定性有限自动机; | + | 其中,Q是控制器的有限状态集、S是输入符号约有限集、δ是控制状态转移规律的Q×S到Q的映射 (可用状态转移图或状态转移表表示),q0是初始状态、F是终止状态集。若δ是单值映射,则称M为确定性有限自动机; |
===== 2 应用 ===== | ===== 2 应用 ===== |
wiki/golly.txt · 最后更改: 2023/12/24 20:52 由 math