");--focus-highlight-color: #a5d8ff;--icon-fill-color: var(--color-on-surface);--icon-green-fill-color: #2b8a3e;--default-bg-color: #ffffff;--input-bg-color: #ffffff;--input-border-color: #ced4da;--input-hover-bg-color: #f1f3f5;--input-label-color: #495057;--island-bg-color: #ffffff;--keybinding-color: var(--color-gray-40);--link-color: #1c7ed6;--overlay-bg-color: rgba(255, 255, 255, 0.88);--popup-bg-color: var(--island-bg-color);--popup-secondary-bg-color: #f1f3f5;--popup-text-color: #000000;--popup-text-inverted-color: #ffffff;--select-highlight-color: #339af0;--shadow-island: 0px 0px 0.9310142993927002px 0px rgba(0, 0, 0, 0.17), 0px 0px 3.1270833015441895px 0px rgba(0, 0, 0, 0.08), 0px 7px 14px 0px rgba(0, 0, 0, 0.05);--button-hover-bg: var(--color-surface-high);--button-active-bg: var(--color-surface-high);--button-active-border: var(--color-brand-active);--default-border-color: var(--color-surface-high);--default-button-size: 2rem;--default-icon-size: 1rem;--lg-button-size: 2.25rem;--lg-icon-size: 1rem;--editor-container-padding: 1rem;--scrollbar-thumb: var(--button-gray-2);--scrollbar-thumb-hover: var(--button-gray-3);--modal-shadow: 0px 100px 80px rgba(0, 0, 0, 0.07), 0px 41.7776px 33.4221px rgba(0, 0, 0, 0.0503198), 0px 22.3363px 17.869px rgba(0, 0, 0, 0.0417275), 0px 12.5216px 10.0172px rgba(0, 0, 0, 0.035), 0px 6.6501px 5.32008px rgba(0, 0, 0, 0.0282725), 0px 2.76726px 2.21381px rgba(0, 0, 0, 0.0196802);--avatar-border-color: var(--color-gray-20);--sidebar-shadow: 0px 100px 80px rgba(0, 0, 0, 0.07), 0px 41.7776px 33.4221px rgba(0, 0, 0, 0.0503198), 0px 22.3363px 17.869px rgba(0, 0, 0, 0.0417275), 0px 12.5216px 10.0172px rgba(0, 0, 0, 0.035), 0px 6.6501px 5.32008px rgba(0, 0, 0, 0.0282725), 0px 2.76726px 2.21381px rgba(0, 0, 0, 0.0196802);--sidebar-border-color: var(--color-surface-high);--sidebar-bg-color: var(--island-bg-color);--library-dropdown-shadow: 0px 15px 6px rgba(0, 0, 0, 0.01), 0px 8px 5px rgba(0, 0, 0, 0.05), 0px 4px 4px rgba(0, 0, 0, 0.09), 0px 1px 2px rgba(0, 0, 0, 0.1), 0px 0px 0px rgba(0, 0, 0, 0.1);--space-factor: 0.25rem;--text-primary-color: var(--color-on-surface);--color-selection: #6965db;--color-icon-white: #ffffff;--color-primary: #6965db;--color-primary-darker: #5b57d1;--color-primary-darkest: #4a47b1;--color-primary-light: #e3e2fe;--color-primary-light-darker: #d7d5ff;--color-gray-10: #f5f5f5;--color-gray-20: #ebebeb;--color-gray-30: #d6d6d6;--color-gray-40: #b8b8b8;--color-gray-50: #999999;--color-gray-60: #7a7a7a;--color-gray-70: #5c5c5c;--color-gray-80: #3d3d3d;--color-gray-85: #242424;--color-gray-90: #1e1e1e;--color-gray-100: #121212;--color-warning: #fceeca;--color-warning-dark: #f5c354;--color-warning-darker: #f3ab2c;--color-warning-darkest: #ec8b14;--color-text-warning: var(--text-primary-color);--color-danger: #db6965;--color-danger-dark: #db6965;--color-danger-darker: #d65550;--color-danger-darkest: #d1413c;--color-danger-text: black;--color-danger-background: #fff0f0;--color-danger-icon-background: #ffdad6;--color-danger-color: #700000;--color-danger-icon-color: #700000;--color-warning-background: var(--color-warning);--color-warning-icon-background: var(--color-warning-dark);--color-warning-color: var(--text-primary-color);--color-warning-icon-color: var(--text-primary-color);--color-muted: var(--color-gray-30);--color-muted-darker: var(--color-gray-60);--color-muted-darkest: var(--color-gray-100);--color-muted-background: var(--color-gray-80);--color-muted-background-darker: var(--color-gray-100);--color-promo: #e70078;--color-success: #268029;--color-success-lighter: #cafccc;--color-logo-icon: var(--color-primary);--color-logo-text: #190064;--border-radius-md: 0.375rem;--border-radius-lg: 0.5rem;--color-surface-high: hsl(244, 100%, 97%);--color-surface-mid: hsl(240 25% 96%);--color-surface-low: hsl(240 25% 94%);--color-surface-lowest: #ffffff;--color-on-surface: #1b1b1f;--color-brand-hover: #5753d0;--color-on-primary-container: #030064;--color-surface-primary-container: #e0dfff;--color-brand-active: #4440bf;--color-border-outline: #767680;--color-border-outline-variant: #c5c5d0;--color-surface-primary-container: #e0dfff}@media screen and (min-device-width: 1921px){.excalidraw{--lg-button-size: 2.5rem;--lg-icon-size: 1.25rem;--default-button-size: 2.25rem;--default-icon-size: 1.25rem}}.excalidraw.theme--dark.theme--dark-background-none{background:none}.excalidraw.theme--dark{--theme-filter: invert(93%) hue-rotate(180deg);--button-destructive-bg-color: #5a0000;--button-destructive-color: #ffa8a8;--button-gray-1: #363636;--button-gray-2: #272727;--button-gray-3: #222;--button-special-active-bg-color: #204624;--dialog-border-color: var(--color-gray-80);--dropdown-icon: url("data:image/svg+xml,");--focus-highlight-color: #228be6;--icon-green-fill-color: #69db7c;--default-bg-color: #121212;--input-bg-color: #121212;--input-border-color: #2e2e2e;--input-hover-bg-color: #181818;--input-label-color: #e9ecef;--island-bg-color: #232329;--keybinding-color: var(--color-gray-60);--link-color: #4dabf7;--overlay-bg-color: rgba(52, 58, 64, 0.12);--popup-secondary-bg-color: #222;--popup-text-color: #ced4da;--popup-text-inverted-color: #2c2c2c;--select-highlight-color: #4dabf7;--shadow-island: 0px 0px 0.9310142993927002px 0px rgba(0, 0, 0, 0.17), 0px 0px 3.1270833015441895px 0px rgba(0, 0, 0, 0.08), 0px 7px 14px 0px rgba(0, 0, 0, 0.05);--modal-shadow: 0px 100px 80px rgba(0, 0, 0, 0.07), 0px 41.7776px 33.4221px rgba(0, 0, 0, 0.0503198), 0px 22.3363px 17.869px rgba(0, 0, 0, 0.0417275), 0px 12.5216px 10.0172px rgba(0, 0, 0, 0.035), 0px 6.6501px 5.32008px rgba(0, 0, 0, 0.0282725), 0px 2.76726px 2.21381px rgba(0, 0, 0, 0.0196802);--avatar-border-color: var(--color-gray-85);--scrollbar-thumb: #343a40;--scrollbar-thumb-hover: #495057;--color-selection: #3530c4;--color-icon-white: var(--color-gray-90);--color-primary: #a8a5ff;--color-primary-darker: #b2aeff;--color-primary-darkest: #beb9ff;--color-primary-light: #4f4d6f;--color-primary-light-darker: #43415e;--color-text-warning: var(--color-gray-80);--color-danger: #ffa8a5;--color-danger-dark: #672120;--color-danger-darker: #8f2625;--color-danger-darkest: #ac2b29;--color-danger-text: #fbcbcc;--color-danger-background: #fbcbcc;--color-danger-icon-background: #672120;--color-danger-color: #261919;--color-danger-icon-color: #fbcbcc;--color-warning-background: var(--color-warning);--color-warning-icon-background: var(--color-warning-dark);--color-warning-color: var(--color-gray-80);--color-warning-icon-color: var(--color-gray-80);--color-muted: var(--color-gray-80);--color-muted-darker: var(--color-gray-60);--color-muted-darkest: var(--color-gray-20);--color-muted-background: var(--color-gray-40);--color-muted-background-darker: var(--color-gray-20);--color-promo: #d297ff;--color-logo-text: #e2dfff;--color-surface-high: hsl(245, 10%, 21%);--color-surface-low: hsl(240, 8%, 15%);--color-surface-mid: hsl(240 6% 10%);--color-surface-lowest: hsl(0, 0%, 7%);--color-on-surface: #e3e3e8;--color-brand-hover: #bbb8ff;--color-on-primary-container: #e0dfff;--color-surface-primary-container: #403e6a;--color-brand-active: #d0ccff;--color-border-outline: #8e8d9c;--color-border-outline-variant: #46464f;--color-surface-primary-container: #403e6a}.excalidraw .excalidraw-button{display:flex;justify-content:center;align-items:center;padding:.625rem;width:var(--button-width, var(--default-button-size));height:var(--button-height, var(--default-button-size));box-sizing:border-box;border-width:1px;border-style:solid;border-color:var(--button-border, var(--default-border-color));border-radius:var(--border-radius-lg);cursor:pointer;background-color:var(--button-bg, var(--island-bg-color));color:var(--button-color, var(--color-on-surface))}.excalidraw .excalidraw-button svg{width:var(--button-width, var(--lg-icon-size));height:var(--button-height, var(--lg-icon-size))}.excalidraw .excalidraw-button:hover{background-color:var(--button-hover-bg, var(--island-bg-color));border-color:var(--button-hover-border, var(--button-border, var(--default-border-color)));color:var(--button-hover-color, var(--button-color, var(--text-primary-color, inherit)))}.excalidraw .excalidraw-button:active{background-color:var(--button-active-bg, var(--island-bg-color));border-color:var(--button-active-border, var(--color-primary-darkest))}.excalidraw .excalidraw-button.active{background-color:var(--button-selected-bg, var(--color-surface-primary-container));border-color:var(--button-selected-border, var(--color-surface-primary-container))}.excalidraw .excalidraw-button.active:hover{background-color:var(--button-selected-hover-bg, var(--color-surface-primary-container))}.excalidraw .excalidraw-button.active svg{color:var(--button-color, var(--color-on-primary-container))}
LethonLethon
In Pursuit of Absolute Simplicity.
编译原理学习笔记:文法与语言
内容过时
这篇文章上次修改于 2021 年 6 月 28 日 星期一,部分内容可能已经不适用。
前言
本学期开了编译原理课,嗯写作本文的原因就这么简单...
基本概念
- 字母表:非空有限集,一般用∑表示,如∑={a,b,c}
- 符号: ∑中的元素称为符号。
- 符号串:符号的有穷序列称符号串,也可称为字,用ε表示空字符串。
- 长度:符号串中包括的符号的个数,如∣ab∣=2,∣ε∣=0
- 连接:设x和y是字符串,则称x⋅y是其连接,符号‘·’一般可省略。
对于任意字符串β,有βε=εβ=β
- 乘积:设A和B是符号串集,则用AB表示它们的乘积:
AB={xy∣x∈A,y∈B}
显然{ε}A=A{ε}=A
φA=Aφ=A
A0={ε};A1=A;An=An−1A
特别地,若x是∑中的字符,则x的n次自身连接即xn
- 闭包/正闭包/星闭包:设A是符号集,
用A+表示A的正闭包:
A+=A1∪A2∪⋯∪An∪…
用A∗表示A的星闭包:
A∗=A0∪A1∪A2∪⋯∪An∪⋯={ε}∪A+
两者统称为A的闭包。
举个例子1:
设A={a,b} 则:
A0={ε}A1={a,b}A2=AA={aa,ab,ba,bb}A3=AAA={aaa,aab,aba,abb,baa,bab,bba,bbb}…
符号和符号串
任何程序设计语言都是某一基本符号集上的字符序列,其中的字符用来构造单词,单词构造更大的语法单位,表达式、语句等复合对象。其中,单词是最小的语义单位,它不包含任何子结构,因此每个单词是简单的字符序列。
语言
程序设计语言是一个记号系统,同自然语言一样,完整的定义应包括语法和语义两个方面。
语言的语法是指一组规则,用它可以形成和产生一个合适的程序。语法规定了特定符号序列的合法性,而与符号的含义没有关系。任何程序设计语言都是某一基本符号集上的字符序列。
对于语义的分析与处理到目前为止仍然没有公认的形式系统用于自动构造正确的编译程序。
形式语言
形式语言(英语:Formal language)是用精确的数学或机器可处理的公式定义的语言。在形式语言理论中,形式语言是一个字母表上的某些有限长字符串的集合。
每个形式语言都是某个字母表上按某种规则构成的所有符号的集合,反之,任何一个字母表上符号串的集合均可定义为一个形式语言,不涉及考虑语义问题。
语言间的运算
因为形式语言在本质上是由数学定义的的集合,所以语言间的运算就是Σ∗幂集上的运算。与普通的集合数学运算无异。
语言的表示方法
从形式语言的角度看,一个语言也就是字符串集。如果字符串集是有穷的,可以用枚举的办法表示出来。
例如,设有字母表 A={a,b,c},则
L1={a,b,c}L2={a,aa,ab,ac}L3={c,cc}
均表示字母表A上的一个形式语言。
当集合无穷时,我们可以使用无限猴子定理枚举的办法就不行了,需要寻找合适的有穷表示方法——文法。
除形式文法外,语言也可使用正则表达式或某些自动机表示,在本章暂不讨论。
文法
在形式语言理论中,文法(为了避免歧义,常称作“形式文法”)是形式语言中字符串的一套产生式规则。这些规则描述了如何用语言的字母表生成符合语法的有效的字符串。文法不描述字符串的含义,也不描述在任何上下文中可以用它们做什么——只描述它们的形式。
形式文法是从一个“开始符号”出发的一套重写字符串的规则。因此,文法通常被认为是语言生成器。2
ps: 形式语言理论是应用数学的一个分支,是研究形式文法和语言的学科。
规则
我们以汉语句子的文法为例:
句子 → 主语·谓语
主语 → 代词∣名词
代词 → 我∣你∣他
名词 → 司机∣农民∣学生∣汽车∣锄头
谓语 → 动词·直接宾语
动词 → 学习∣拿起∣开
直接宾语 → 代词∣名词
其上的每一条被称为产生式或语法规则,符号“→”也可以写成“∷=”,表示“被定义为”。
符号“·”和“∣”是集合运算符号,“·”表示“连接”,该符号往往被省略,“∣”表示“或”,该符号两边的符号串称候选串。
由上面的规则可以产生或推导出句子,引进符号“=>”表示推导,比如句子“农民拿起锄头”的推导过程为:句子=>主语·谓语=>名词·谓语=>农民·谓语=>农民·动词·直接宾语=>农民·拿起·直接宾语=>农民·拿起·名词=>农民拿起锄头
形式定义
接下来我们以数学为工具,利用符号和公式,精确地定义文法和语言。
文法的形式定义
文法是规则的非空有穷集合。其形式定义为四元组G[S]=(VN,VT,P,S)
- VN是规则中非终结符号的集合。
- VT是规则中终结符号的集合,显然文法在这里结束。
- P是文法规则的合集。
- S是一个非终结符号,显然文法从这里开始。
语言的形式定义
当一个文法已知时,我们可以确定出该文法所定义的语言,但在此之前我们需要先弄明白什么是句子,这里我们需要引入推导的概念。
推导
如果存在一个直接推导序列
a0⇒a1⇒a2⇒⋯⇒an
则称这个序列是a0到an的长度为n的推导,记为a0⇒+an。
表示从a0出发,经过1到n步可以推导出an。
广义推导
广义推导的符号为⇒∗
a0⇒∗an表示从a0出发,经过0到n步可以推导出an。
句型与句子
对于文法 G[S],如果
S⇒∗x
称符号串x为文法 G[S] 的句型。
S⇒∗x,x∈VT∗
则称符号串x是文法G[S]的句子。
有了以上概念后,我们可以给出语言的形式定义:
文法 G[S] 产生的所有句子的集合称为文法G所定义的语言,记为L(G[S])
L(G[S])={x∣S⇒+x,x∈VT∗}
Reference