自动机在教材中的描述

作为独异点的重要应用，教材中引入了有穷自动机的相关概念。限于篇幅，教材中只是简单地提到了概念性的介绍。出于兴趣，我们小组深入探究了自动机的相关知识。😕 😃 😦 😒 😡 😐 😗

摘要
定理
（1）对于任意自动机或半自动机$M$都存在它的独异点$T_M$;
（2）对于任意独异点$T$都存在一个自动机$M$,使$M$的独异点$T_M$同构于$T$。

一、自动机的定义与分析

半自动机

一个有穷半自动机是一个三元组 $M=<Q,\Sigma ,\delta >$ ，其中$Q$为有穷状态集，$\Sigma$ 为有穷输入字符集，$\delta :Q\times \Sigma \to Q$ 为状态转移函数。

例如

自动机

一个有穷自动机是在有穷半自动机基础上的五元组$M=<Q,\Sigma ,\Gamma ,\delta ,\lambda >$ ,其中$\Gamma$为有穷输出字符集，$\lambda :Q\times \Sigma \to \Gamma$ 是输出函数

自动机为自动机加上了输出功能，描述了在各个状态下输入不同的字符可以输出什么样的结果
例如

二、自动机的独异点

自动机的扩展

我们定义集合${\Sigma }^{\ast }$，其元素为由$\Sigma$中的字符组成的全体字符串，并且定义$"\Lambda "$为空字符串。
定义${\delta }^{\ast }:Q\times {\Sigma }^{\ast }\to Q$，有
(1)${\delta }^{\ast }(S_1,"a")=\delta (S_1{,}^{\prime }{a}^{\prime })$;
(2)${\delta }^{\ast }(S_1,"\Lambda ")=S_1$;
(3)${\delta }^{\ast }(S_1,"ab")={\delta }^{\ast }({\delta }^{\ast }(S_1,"a"),"b")$;
定义$M^{\ast }=<Q,{\Sigma }^{\ast },{\delta }^{\ast }>$为半自动机M的扩展

---

以上描述的是半自动机的扩展，用同样的方法可以得到自动机的扩展。

其中${\Sigma }^{\ast }$和${\delta }^{\ast }$的定义与上相同，定义${\Gamma }^{\ast }$的元素是$\Gamma$中的全部字符组成的字符串。
定义${\lambda }^{\ast }:Q\times {\Gamma }^{\ast }\to {\Gamma }^{\ast }$,
(1)${\lambda }^{\ast }(S_1,"\Lambda ")="\Lambda "$
(2)${\lambda }^{\ast }(S_1,"a")="\lambda (S_1{,}^{\prime }{a}^{\prime })"$
(3)${\lambda }^{\ast }(S_1,"ab")={\lambda }^{\ast }(S_1,"a")+{\lambda }^{\ast }({\delta }^{\ast }(S_1,"a"),"b")$ (此处“+”是字符串的连接)
定义$M^{\ast }=<Q,{\Sigma }^{\ast },{\Gamma }^{\ast },{\delta }^{\ast },{\lambda }^{\ast }>$是自动机$M$的扩展

自动机的独异点

对于每一个${\Sigma }^{\ast }$ 中的字符串，与${\delta }^{\ast }$一起都可以生成一个$Q\to Q$的一元函数
例如，对于以上半自动机为例

我们发现
$f_{ab}=f_a\circ f_b$
$f_{\Lambda }=I_Q$
$f_{abc}=(f_a\circ f_b)\circ f_c=f_a\circ (f_b\circ f_c)$ （可结合）
$f_a\circ f_{\Lambda }=f_{\Lambda }\circ f_a=f_a$ (单位元)

于是代数系统 T M = < { f s t r i n g ∣ s t r i n g ∈ Σ ∗ } , ∘ , f Λ > T_M=<\{f_{string}|string\in \Sigma^*\},\circ,f_\Lambda> TM​=<{fstring​∣string∈Σ∗},∘,fΛ​> 是一个独异点

定理
（1）对于任意自动机或半自动机$M$都存在它的独异点$T_M$;
（2）对于任意独异点$T$都存在一个自动机$M$,使$M$的独异点$T_M$同构于$T$。

---

独异点和自动机之间的一一对应关系可以得到自动机的许多性质，加以应用就能解决实际问题。

三、商自动机以及自动机的化简

自动机的等价

设$M_1=<Q_1,{\Sigma }_1,{\Gamma }_1,{\delta }_1,{\lambda }_1>$和$M_2=<Q_2,{\Sigma }_2,{\Gamma }_2,{\delta }_2,{\lambda }_2>$是有穷自动机。如果它们满足：
(1)${\Sigma }_1={\Sigma }_2=\Sigma ,{\Gamma }_1={\Gamma }_2=\Gamma$;
(2)$q_0\in Q_1,q_0^{\prime }\in Q_2$分别是$M_1$和$M_2$的初始状态，且对于$\forall \omega \in {\Sigma }^{\ast }$都有$${\lambda }_1^{\ast }(q_0,\omega )={\lambda }_2^{\ast }(q_0^{\prime },\omega )$$则称$M_1$和$M_2$是等价的有穷自动机，记作$M_1\sim M_2$。

从等价有穷自动机的定义来看，如果两个有穷自动机等价，那么意味着两个自动机在任何相同的输入字符串下都能得到相同的输出字符串，也就是说两个自动机是完全可以相互替代的。对于上述$M_1,M_2$，如果$M_1$的状态和转移函数、输出函数个数少于$M_2$，$M_2$就可以化简成$M_1$。自动机之间的化简是可以通过等价来实现的！

商自动机

定义一个$Q\times Q$上的等价关系 ∼ = { < q 1 , q 2 > ∣ ω ∈ Σ ∗ , λ ∗ ( q 1 , ω ) = λ ∗ ( q 2 , ω ) } \sim=\{<q_1,q_2>|\omega\in\Sigma^*,\lambda^*(q_1,\omega)=\lambda^*(q_2,\omega) \} ∼={<q1​,q2​>∣ω∈Σ∗,λ∗(q1​,ω)=λ∗(q2​,ω)}
类似于商代数的概念，我们可以定义商自动机
对于有穷自动机$M=<Q,\Sigma ,\Gamma ,\delta ,\lambda >$，令$\overline{M}=<Q/\sim ,\Sigma ,\Gamma ,\overline{\delta },\overline{\lambda }>$，满足

称$\overline{M}$是$M$的商自动机。

定理
$M_2$是$M_1$的商自动机，则 $M_1\sim M_2$。

四、结语

自动机是独异点的重要应用，自动机是处理形式语言的工具。通过寻找商代数，可以找到一个自动机的最简化的形式。这样的过程，就是化简自动机的过程。
在教材中没有深入讨论有穷自动机的化简算法，我们小组将会探究化简自动机的简单方法。

推荐参考资料：蒋宗礼《形式语言与自动机理论》：https://download.csdn.net/download/qq_33880788/10275619
百度网盘分享
链接：https://pan.baidu.com/s/1yFTJXULPmyssW6CNzh-37A?pwd=a36r
提取码：a36r