既有适合小白学习的零基础资料,也有适合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}。
2.形式语法的类型
正则文法(3型文法)
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上Go语言开发知识点,真正体系化!
由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新