2024年Go最新形式语言与自动机_自动机和形式语法(4)，2024年最新最新BAT大厂面试者整理的Golang面试题目-CSDN博客

本文链接：https://blog.csdn.net/2401_84923269/article/details/138836544

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

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

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

定义（形式语法）：一个四元组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）步推导或派生。
这里写图片描述
【其中最右推导为规范推导】

定义（句子）文法G=（N，∑，P，S）的句子形式通过如下递归方式定义：1）S是一个句子形式；2）如果γβα是一个句子形式，且β->δ是P中的产生式，那么γδα也是一个句子形式。
对于文法G，不含非终结符的句子形式成为G生成的句子。由文法G生成的语言（或称G识别的语言）是指G生成的所有句子集合，记作 L(G)={x|x∈∑，S=G*=>x}。