规范归约分析法是什么

问题一：当电路中电源较少时，应优先选择什么分析法 算符优先分析法比LR分析（规范归约）法的归约速度快。在LR分析一章的语法分析器自动生成工具Yacc中，对算数表达式的归约往往会用到算符优先关系的概念。 算符优先分析的缺点是对文法有一定的限制，在实际应用中往往只用于算数表达式的归约。由于算符优先分析不是规范归约，所以可能把不是文法的句子错误的归约成功

问题二：编译原理懂的进 唉，这个中文翻译的实在差啊，这些名词概念不需要搞清楚的，建议你看下编译原理的英文版

问题三：编译原理LR（1）中的R和1分别是什么意思 优质解答

LR分析法是一种自下而上进行规范归约的语法分析法,L指从左到右扫描输入符号串,R是指构造最右推导的逆过程LR(1)中的1是每次搜索符号需要向前参考一步,即参考下一个符号确定当前构造

L：Left (左) R：Right (右)

问题四：使用算符优先分析法分析的语言，应具有什么特点 算符优先分析法比LR分析（规范归约）法的归约速度快。在LR分析一章的语法分析器自动生成工具Yacc中，对算数表达式的归约往往会用到算符优先关系的概念。

算符优先分析的缺点是对文法有一定的限制，在际应用中往往只用于算数表达式的归约。由于算符优先分析不是规范归约，所以可能把不是文法的句子错误的归约成功

问题五：帮我看看下面 编译原理 的题目: 谢谢! 23 D

24 D

25 A

26 D

27 C

28 B

29 D

30 A

31 A

32 B

33 A

34 不太确定，蒙D

35 A

36 不太确定，蒙A

37 D

38 C

39 D

40 不知道

二、

A,B

A,D

C,D

A,C

A,B,D

A,B,C,D

问题六：编译原理中，算符优先文法和LR文法什么关系 算符优先分析法比LR分析（规范归约）法的归约速度快。在LR分析一章的语法分析器自动生成工具Yacc中，对算数表达式的归约往往会用到算符优先关系的概念。算符优先分析的缺点是对文法有一定的限制，在实际应用中往往只用于算数表达式的归约。由于算符优先分析不是规范归约，所以可能把不是文法的句子错误的归约成功

问题七：编译原理 LR(0) 项目集规范族怎么构建。 书上的实在是看不懂那些I0、I1、I2的步骤。求一个 LR分析法是一种自下而上进行规范归约的语法分析法，L指从左到右扫描输入符号串，R是指构造最右推导的逆过程。对大多数无二义性上下文无关文法描述的语言都可用它进行有效的分析。主要分析器有LR（0），SLR（1），LR（1），LALR（1）：

LR（0）：在分析的每一步，只需根据当前栈顶状态而不必向前查看输入符号就能确定应采取的分析动作。所能分析的LR（0）文法要求文法的每一个LR（0）项目集中都不含冲突项目。

示例文法：

0 S’ -> S

1 S -> A

2 S -> B

3 A -> aAb

4 A -> c

5 B -> aBb

6 B -> d

问题八：文法算符优先关系表到底怎么看？是纵向大于行向 算符优先分析法比LR分析（规范归约）法的归约速度快。在LR分析一章的语法分析器自动生成工具Yacc中，对算数表达式的归约往往会用到算符优先关系的概念。算符优先分析的缺点是对文法有一定的限制，在实际应用中往往只用于算数表达式的归约。由于算符优先分析不是规范归约，所以可能把不是文法的句子错误的归约成功

问题九：编译原理试题 10分 习题一、单项选择题

1、将编译程序分成若干个“遍”是为了 。

a．提高程序的执行效率

b．使程序的结构更加清晰

c．利用有限的机器内存并提高机器的执行效率

d．利用有限的机器内存但降低了机器的执行效率

2、构造编译程序应掌握 。

a．源程序b．目标语言

c．编译方法d．以上三项都是

3、变量应当 。

a．持有左值b．持有右值

c．既持有左值又持有右值d．既不持有左值也不持有右值

4、编译程序绝大多数时间花在 上。

a．出错处理b．词法分析

c．目标代码生成d．管理表格

5、 不可能是目标代码。

a．汇编指令代码b．可重定位指令代码

c．绝对指令代码d．中间代码

6、使用 可以定义一个程序的意义。

a．语义规则b．词法规则

c．产生规则d．词法规则

7、词法分析器的输入是 。

a．单词符号串b．源程序

c．语法单位d．目标程序

8、中间代码生成时所遵循的是- 。

a．语法规则b．词法规则

c．语义规则d．等价变换规则

9、编译程序是对 。

a．汇编程序的翻译b．高级语言程序的解释执行

c．机器语言的执行d．高级语言的翻译

10、语法分析应遵循 。

a．语义规则b．语法规则

c．构词规则d．等价变换规则

解答

1、将编译程序分成若干个“遍”是为了使编译程序的结构更加清晰，故选b。

2、构造编译程序应掌握源程序、目标语言及编译方法等三方面的知识，故选d。

3、对编译而言，变量既持有左值又持有右值，故选c。

4、编译程序打交道最多的就是各种表格，因此选d。

5、目标代码包括汇编指令代码、可重定位指令代码和绝对指令代码3种，因此不是目标代码的只能选d。

6、词法分析遵循的是构词规则，语法分析遵循的是语法规则，中间代码生成遵循的是语义规则，并且语义规则可以定义一个程序的意义。因此选a。

7、b 8、c 9、d 10、c

二、多项选择题

1、编译程序各阶段的工作都涉及到 。

a．语法分析b．表格管理c．出错处理

d．语义分析e．词法分析

2、编译程序工作时，通常有 阶段。

a．词法分析b．语法分析c．中间代码生成

d．语义检查e．目标代码生成

解答

1．b、c 2 a、b、c、e

三、填空题

1、解释程序和编译程序的区别在于 。

2、编译过程通常可分为5个阶段，分别是 、语法分析 、代码优化和目标代码生成。3、编译程序工作过程中，第一段输入是 ，最后阶段的输出为 程序。

4、编译程序是指将 程序翻译成 程序的程序。解答

是否生成目标程序 2、词法分析 中间代码生成 3、源程序目标代码生成4、源程序 目标语言

一、单项选择题

1、文法G：S→xSx|y所识别的语言是 。

a xyxb (xyx)c xnyxn(n≥0)d xyx

2、文法G描述的语言L(G)是指 。

a>>

pro文件里的相对路径不全都是相对于pro文件的,有的是,有的不是。

1、一种情况下/表示pro文件所在的目录；另一种情况下/表示构建生成目录；

11是的情况

SOURCE

FORMS

HEADERS

INCLUDEPATH

DEPENDPATH 等等

这些变量中使用的/指的是pro文件所在的目录

12不是的情况

DESTDIR

OBJECTS_DIR

MOC_DIR

RCC_DIR

UI_DIR

UI_HEADERS_DIR

UI_SOURCES_DIR

win32:CONFIG(debug)

win32:CONFIG(release) 等等

这些变量中使用的/指的是构建生成目录。

2、影子构造说明

如果没有选择影子构造（shadow build），构建生成目录和pro文件所在目录是同一个目录；

如果指定了shadow build，且指定了构建生成目录，那构建目录和pro文件所在目录就不是同一个。

我们默认是会选择shadow build的，所以构建目录≠pro目录。

3、subdirs：多工程多目录的情况

它们的相对路径都是针对你项目下的构建目录+子项目文件夹来的，例如

TEMPLATE = subdirs

SUBDIRS = \

muparser \

librecad

CONFIG += order

那么构建目录，BuildPath假如是F:\CADCAM\QCAD\src\build-LibreCAD-v104-qt4-Desktop_Qt_4_8_7_MSVC2010_32bit-Debug

于是，相对路径和绝对路径的对应关系，分别是：

---举例1---

相对，DESTDIR = bin

绝对，DESTDIR =$${BuildPath}/muparser/bin

绝对，DESTDIR =$${BuildPath}/librecad/bin

---举例2---

相对，DESTDIR = /bin

绝对，$${BuildPath}/bin

4、pro文件打印输出

在pro文件，添加message函数，保存，会在“编译输出”窗口，打印出结果。

message($$PROJECT_ROOT)

message($$PWD)

message($$DESTDIR)

message($$TARGET)

Project MESSAGE: F:/CADCAM/QCAD/src/LibreCAD-v104-qt4/muparser

Project MESSAGE: F:/CADCAM/QCAD/src/LibreCAD-v104-qt4/muparser

Project MESSAGE: /bin/lib

Project MESSAGE: muparserd

5、pro常用的宏定义

TEMPLATE = app

HEADERS：需要包含的头文件的列表。

SOURCES：需要的源文件的列表。

FORMS：需要的ui文件的列表。

LEXSOURCES：所有lex源文件的列表。

YACCSOURCES：所有yacc源文件的列表。

TARGET：可执行应用程序的名称。默认值为项目文件的名字。

DESTDIR：放置可执行程序目标的目录。

OBJECTS_DIR：放置obj中间文件的目录。

MOC_DIR: moc转换文件路径。

RCC_DIR: 资源文件路径。

UI_DIR：ui文件转换的路径。

RESOURCES：需要包含的资源文件。

LIBS：依赖库的路径和名称 -L{xxdirxx} -l{xxnamexx}。

LIBEXT: 产生lib的后缀。

DEFINES：应用程序所需的额外的宏定义列表。

INCLUDEPATH：应用程序所需的额外的包含路径列表。

DEPENDPATH：应用程序所依赖的搜索路径。

VPATH：寻找补充文件的搜索路径。

DEF_FILE：只有Windows需要：应用程序所要连接的def文件。

RC_FILE：只有Windows需要：应用程序的资源文件。

RES_FILE：只有Windows需要：应用程序所要连接的资源文件。

TRANSLATIONS: 多国语言支持文件。

INSTALLS: 要安装的文件。

targetpath: 安装的路径。

>

无论是在Linux还是在Unix环境中，make都是一个非常重要的编译命令。不管是自己进行项目开发还是安装应用软件，我们都经常要用到

make或make

install。利用make工具，我们可以将大型的开发项目分解成为多个更易于管理的模块，对于一个包括几百个源文件的应用程序，使用make和

makefile工具就可以简洁明快地理顺各个源文件之间纷繁复杂的相互关系。而且如此多的源文件，如果每次都要键入gcc命令进行编译的话，那对程序员

来说简直就是一场灾难。而make工具则可自动完成编译工作，并且可以只对程序员在上次编译后修改过的部分进行编译。因此，有效的利用make和

makefile工具可以大大提高项目开发的效率。同时掌握make和makefile之后，您也不会再面对着Linux下的应用软件手足无措了。

但令人遗憾的是，在许多讲述Linux应用的书籍上都没有详细介绍这个功能强大但又非常复杂的编译工具。在这里我就向大家详细介绍一下make及其描述文件

makefile。

Makefile文件

Make工具最主要也是最基本的功能就是通过makefile文件来描述源程序之间的相互关系并自动维护编译工作。而makefile 文件需要按照某种语法进行编写，文件

中

需要说明如何编译各个源文件并连接生成可执行文件，并要求定义源文件之间的依赖关系。makefile 文件是许多编译器--包括 Windows NT

下的编译器--维护编译信息的常用方法，只是在集成开发环境中，用户通过友好的界面修改 makefile 文件而已。

在 UNIX 系统中，习惯使用 Makefile 作为 makfile 文件。如果要使用其他文件作为 makefile，则可利用类似下面的 make 命令选项指定 makefile 文件：

$ make -f Makefiledebug

例如，一个名为prog的程序由三个C源文件fileac、filebc和filecc以及库文件LS编译生成，这三个文件还分别包含自

己的头文件ah

、bh和ch。通常情况下，C编译器将会输出三个目标文件fileao、filebo和fileco。假设fileac和filebc都要

声明用到一个名为defs的文件，但filecc不用。即在fileac和filebc里都有这样的声明：

#include "defs"

那么下面的文档就描述了这些文件之间的相互联系:

#It is a example for describing makefile

prog : fileao filebo fileco

cc fileao filebo fileco -LS -o prog

fileao : fileac ah defs

cc -c fileac

filebo : filebc bh defs

cc -c filebc

fileco : filecc ch

cc -c filecc

这个描述文档就是一个简单的makefile文件。

从上面的例子注意到，第一个字符为 # 的行为注释行。第一个非注释行指定prog由三个目标文件fileao、filebo和fileco链接生成。第三行描述了如何从prog所依赖的文件建立可执行文件。接下来的4、6、8行分别指定三个目标文件，以及它们所依赖的c和h文件以及defs文件。而5、7、9行则指定了如何从目标所依赖的文

件建立目标。

当fileac或ah文件在编译之后又被修改，则 make 工具可自动重新编译fileao，如果在前后两次编译之间，fileaC 和ah 均没有被修改，而且 testo 还存在的话，就没有必要重新编译。这种依赖关系在多源文件的程序编译中尤其重要。通过这种依赖关系的定义，make 工具可避免许多不必要的编译工作。当然，利用 Shell

脚本也可以达到自动编译的效果，但是，Shell 脚本将全部编译任何源文件，包括哪些不必要重新编译的源文件，而 make 工具则可根据目标上一次编译的时间和目标所依赖的源文件的更新时间而自动判断应当编译哪个源文件。

Makefile文件作为一种描述文档一般需要包含以下内容:

◆ 宏定义

◆ 源文件之间的相互依赖关系

◆ 可执行的命令

Makefile中允许使用简单的宏指代源文件及其相关编译信息，在Linux中也称宏为变量。在引用宏时只需在变量前加$符号，但值得注意的是，如果变量名的长度超过一个字符，在引用时就必须加圆括号（）。下面都是有效的宏引用：

$(CFLAGS)

$2

$Z

$(Z)

其中最后两个引用是完全一致的。需要注意的是一些宏的预定义变量，在Unix系统中，$、$@、$和$<四个特殊宏的值在执行命令的过程中会发生相应的变化，而在GNU make中则定义了更多的预定义变量。关于预定义变量的详细内容，宏定义的使用可以使我们脱离那些冗长乏味的编译选项，为编写makefile文

件带来很大的方便。

# Define a macro for the object files

OBJECTS= fileao filebo fileco

# Define a macro for the library file

LIBES= -LS

# use macros rewrite makefile

prog: $(OBJECTS)

cc $(OBJECTS) $(LIBES) -o prog

……

此时如果执行不带参数的make命令，将连接三个目标文件和库文件LS；但是如果在make命令后带有新的宏定义：

make "LIBES= -LL -LS"

则命令行后面的宏定义将覆盖makefile文件中的宏定义。若LL也是库文件，此时make命令将连接三个目标文件以及两个库文件LS和LL。

在Unix系统中没有对常量NULL作出明确的定义，因此我们要定义NULL字符串时要使用下述宏定义：

STRINGNAME=

Make命令

在make命令后不仅可以出现宏定义，还可以跟其他命令行参数，这些参数指定了需要编译的目标文件。其标准形式为：

target1 [target2 …]:[:][dependent1 …][;commands][#…]

[(tab) commands][#…]

方括号中间的部分表示可选项。Targets和dependents当中可以包含字符、数字、句点和"/"符号。除了引用，commands中不能含有"#",也不允许换行。

在通常的情况下命令行参数中只含有一个":"，此时command序列通常和makefile文件中某些定义文件间依赖关系的描述行有关。如果与目标相关连的那些描述行指定了相关的command序列，那么就执行这些相关的command命令，即使在分号和(tab)后面的aommand字段甚至有可能是NULL。如果那些与目标相关连的行没有指定command，那么将调用系统默认的目标文件生成规则。

如果命令行参数中含有两个冒号"::"，则此时的command序列也许会和makefile中所有描述文件依赖关系的行有关。此时将执行那些与目标相关连的描述行所

指向的相关命令。同时还将执行build-in规则。

如果在执行command命令时返回了一个非"0"的出错信号，例如makefile文件中出现了错误的目标文件名或者出现了以连字符打头的命令字符串，make *** 作一般会就此终止，但如果make后带有"-i"参数，则make将忽略此类出错信号。

Make命本身可带有四种参数：标志、宏定义、描述文件名和目标文件名。其标准形式为：

Make [flags] [macro definitions] [targets]

Unix系统下标志位flags选项及其含义为：

-f file　 指定file文件为描述文件，如果file参数为"-"符，那么描述文件指向标准输入。如果没有"-f"参数，则系统将默认当前目录下名为makefile或者名为Makefile的文件为描述文件。在Linux中， GNU make 工具在当前工作目录中按照GNUmakefile、makefile、Makefile的顺序搜索 makefile文件。

-i 忽略命令执行返回的出错信息。

-s 沉默模式，在执行之前不输出相应的命令行信息。

-r 禁止使用build-in规则。

-n 非执行模式，输出所有执行命令，但并不执行。

-t 更新目标文件。

-q make *** 作将根据目标文件是否已经更新返回"0"或非"0"的状态信息。

-p 输出所有宏定义和目标文件描述。

-d Debug模式，输出有关文件和检测时间的详细信息。

Linux下make标志位的常用选项与Unix系统中稍有不同，下面我们只列出了不同部分：

-c dir 在读取 makefile 之前改变到指定的目录dir。

-I dir 当包含其他 makefile文件时，利用该选项指定搜索目录。

-h help文挡，显示所有的make选项。

-w 在处理 makefile 之前和之后，都显示工作目录。

通过命令行参数中的target ，可指定make要编译的目标，并且允许同时定义编译多个目标， *** 作时按照从左向右的顺序依次编译target选项中指定的目标文件。如果命令行中没有指定目标，则系统默认target指向描述文件中第一个目标文件。

通常，makefile 中还定义有 clean 目标，可用来清除编译过程中的中间文件，例如：

clean:

rm -f o

运行 make clean 时，将执行 rm -f o 命令，最终删除所有编译过程中产生的所有中间文件。

隐含规则

在make 工具中包含有一些内置的或隐含的规则，这些规则定义了如何从不同的依赖文件建立特定类型的目标。Unix系统通常支持一种基于文件扩展名即文件名后缀的隐含规则。这种后缀规则定义了如何将一个具有特定文件名后缀的文件（例如c文件），转换成为具有另一种文件名后缀的文件（例如o文件）：

c:o

$(CC) $(CFLAGS) $(CPPFLAGS) -c -o $@ $<

系统中默认的常用文件扩展名及其含义为：

o目标文件

cC源文件

fFORTRAN源文件

s汇编源文件

yYacc-C源语法

lLex源语法

在早期的Unix系统系统中还支持Yacc-C源语法和Lex源语法。在编译过程中，系统会首先在makefile文件中寻找与目标文件相关的C文件，如果还有与之相依赖的y和l文件，则首先将其转换为c文件后再编译生成相应的o文件；如果没有与目标相关的c文件而只有相关的y文件，则系统将直接编译y文件。

而GNU make 除了支持后缀规则外还支持另一种类型的隐含规则--模式规则。这种规则更加通用，因为可以利用模式规则定义更加复杂的依赖性规则。模式规则看起来非常类似于正则规则，但在目标名称的前面多了一个 % 号，同时可用来定义目标和依赖文件之间的关系，例如下面的模式规则定义了如何将任意一个 filec 文件转换为 fileo 文件：

%c:%o

$(CC) $(CFLAGS) $(CPPFLAGS) -c -o $@ $<

#EXAMPLE#

下面将给出一个较为全面的示例来对makefile文件和make命令的执行进行进一步的说明，其中make命令不仅涉及到了C源文件还包括了Yacc语法。本例选自"Unix

Programmer's Manual 7th Edition, Volume 2A" Page 283-284

下面是描述文件的具体内容：

#Description file for the Make command

#Send to print

P=und -3 | opr -r2

#The source files that are needed by object files

FILES= Makefile versionc defs mainc donamcc miscc filec \

dosysc gramy lexc gcosc

#The definitions of object files

OBJECTS= vesiono maino donamco misco fileo dosyso gramo

LIBES= -LS

LINT= lnit -p

CFLAGS= -O

make: $(OBJECTS)

cc $(CFLAGS) $(OBJECTS) $(LIBES) -o make

size make

$(OBJECTS): defs

gramo: lexc

cleanup:

-rm o gramc

install:

@size make /usr/bin/make

cp make /usr/bin/make ; rm make

#print recently changed files

print: $(FILES)

pr $ | $P

touch print

test:

make -dp | grep -v TIME>1zap

/usr/bin/make -dp | grep -v TIME>2zap

diff 1zap 2zap

rm 1zap 2zap

lint: dosysc donamcc filec mainc miscc versionc gramc

$(LINT) dosysc donamcc filec mainc miscc versionc \

gramc

rm gramc

arch:

ar uv /sys/source/s2/makea $(FILES)

通常在描述文件中应象上面一样定义要求输出将要执行的命令。在执行了make命令之后，输出结果为：

$ make

cc -c versionc

cc -c mainc

cc -c donamcc

cc -c miscc

cc -c filec

cc -c dosysc

yacc gramy

mv ytabc gramc

cc -c gramc

cc versiono maino donamco misco fileo dosyso gramo \

-LS -o make

13188+3348+3044=19580b=046174b

最后的数字信息是执行"@size make"命令的输出结果。之所以只有输出结果而没有相应的命令行，是因为"@size make"命令以"@"起始，这个符号禁止打印输出它所在的命令行。

描述文件中的最后几条命令行在维护编译信息方面非常有用。其中"print"命令行的作用是打印输出在执行过上次"make print"命令后所有改动过的文件名称。系

统使用一个名为print的0字节文件来确定执行print命令的具体时间，而宏$则指向那些在print文件改动过之后进行修改的文件的文件名。如果想要指定执行print命令后，将输出结果送入某个指定的文件，那么就可修改P的宏定义：

make print "P= cat>zap"

在Linux中大多数软件提供的是源代码，而不是现成的可执行文件，这就要求用户根据自己系统的实际情况和自身的需要来配置、编译源程序后，软件才能使用。只有掌握了make工具，才能让我们真正享受到到Linux这个自由软件世界的带给我们无穷乐趣。

yacc,是Unix/Linux上一个用来生成编译器的编译器（编译器代码生成器）。yacc生成的编译器主要是用C语言写成的语法解析器（Parser），需要与词法解析器Lex一起使用，再把两部份产生出来的C程序一并编译。yacc本来只在Unix系统上才有，但现时已普遍移植往Windows及其他平台。

要通过解析器才可以！

以上就是关于规范归约分析法是什么全部的内容，包括:规范归约分析法是什么、qtcreator相对路径格式、lex源代码等相关内容解答，如果想了解更多相关内容，可以关注我们，你们的支持是我们更新的动力！