形式语言与自动机 1.课堂简介，基础知识
作者：互联网
学这个是干嘛的：
课程路线：
语言是什么：
形式语言是什么：
自动机是啥：
接下来是正式的基本概念：
字母表：
都是有穷的哈。
字符串，空串和一些约定：
注意：空串不是字符，是特殊的字符串，所以当然不属于字母表。
字符串的长度：
xa的意思是x和a拼接在一起，直接写在后面。
字符串的拼接：
显然这个不符合交换律。
既然有乘法，那当然有幂次：
集合的拼接：
注意：这个“乘法”是拼接的意思，集合里面可能有字符，可能也有字符串。（所以集合不一定就是字母表，字母表里面只有字符）
既然集合也可以拼接，那当然也可以有幂：
克林闭包和正闭包：
字母的问题解决了，那么就有了语言的定义：
其实克林比表就是一个字母表可以导出的所有字符串。（包括长度为1的和空串）
常见证明方法：（以前学过的）
归纳证明的例子：
标签：字符,基础知识,形式语言,字母表,集合,拼接,字符串,自动机,空串 来源： https://blog.csdn.net/LI_XIAO_XING/article/details/123128264