标签：字符 基础知识 形式语言 字母表 集合 拼接 字符串 自动机 空串

学这个是干嘛的：

课程路线：

语言是什么：

形式语言是什么：

自动机是啥：

接下来是正式的基本概念：

字母表：

都是有穷的哈。

字符串，空串和一些约定：

注意：空串不是字符，是特殊的字符串，所以当然不属于字母表。

字符串的长度：

xa的意思是x和a拼接在一起，直接写在后面。

字符串的拼接：

显然这个不符合交换律。

既然有乘法，那当然有幂次：

集合的拼接：

注意：这个“乘法”是拼接的意思，集合里面可能有字符，可能也有字符串。（所以集合不一定就是字母表，字母表里面只有字符）

既然集合也可以拼接，那当然也可以有幂：

克林闭包和正闭包：

字母的问题解决了，那么就有了语言的定义：

其实克林比表就是一个字母表可以导出的所有字符串。（包括长度为1的和空串）

 

常见证明方法：（以前学过的）

 

 

归纳证明的例子：

 

 

 

 

标签：字符,基础知识,形式语言,字母表,集合,拼接,字符串,自动机,空串
来源： https://blog.csdn.net/LI_XIAO_XING/article/details/123128264

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。