2024年Go最全形式语言与自动机_自动机和形式语法，华为架构师深入讲解Golang开发

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上Go语言开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以戳这里获取

形式语言

1.形式语法定义

无论哪种语言都是句子和符号串的集合，描述一种语言的三种方法：

1. 穷举法：把语言中的所有句子都枚举出来。
2. 文法描述：语言中的每个句子用严格定义的规则来构造，利用规则生成语言中合法的句子。（用来精确地描述语言和其结构）
3. 自动机法：通过对输入的句子进行合法性检验，区别哪些是语言中的句子，哪些不是。（用来机械地刻画对输入字符串的识别过程）

定义（形式语法）：一个四元组G=（N，∑，P，S），其中N是非终结符的有限集合；∑是终结符号的有限集合，N∩∑=∅；V=N∪∑称为总词汇表；P是一组重写规则的有限集合：P={α->β}，其中α，β是由V中元素构成的串，但是α中至少应含有一组非终结符号；S∈N称为句子符或初始符。

---

附录【字符串的闭包运算】字符表∑上的符号串集合V的闭包定义为：V*=V0∪V1∪V2∪….，V+=V1∪V2∪….(或 V*-{ε})。
e.g.: V={a,b},则 V*={ ε,a,b,aa,ab,bb,ba,aaa,…} V+={a,b,aa,ab,bb,ba,aaa,…}

---

定义（推导）：设G=（N，∑，P，S）是一个文法，在(N∪∑)*上定义关系 =G=> 为：
如果αβγ是 (N∪∑)*中的字符串，且β->δ是P中的一个产生式，那么αβγ =G=> αδγ。

**按非平凡方式派生 =G+=>：**表示=G=>的传递闭包，即(N∪∑)*上的符号串ξi到ξi+1（i>=0）至少经过一步推导或派生。
**派生=G*=>：**表示=G=>的自反或传递闭包，即由(N∪∑)*上的符号串ξi到ξi+1经过n（n>=0）步推导或派生。

【其中最右推导为规范推导】

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上Go语言开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以戳这里获取

如果你需要这些资料，可以戳这里获取*