编译器dsl语言
A. 编程语言的载体是什么
编程语言通过编译器装换成计算机能理解的0101。通过cpu运算，把运算数据输出到内存，通过编译器装换成文字，音频，视频，网页等数据。
B. 谁能帮我把dsdt.dsl编译成dsdt.aml
论坛上随处可见。到处充斥着修改dsdt的软件。比如。 dsdt auto pactor(但其中有好多坛友提出，自己的主板型号里面都没有)。dsdt se (此软件集修改和修复于一身，我也汉化dsdt se了一下，下面有下载地址)。还有dsdt edit& auto fix/patcher
C. Scala 是一门怎样的语言，具有哪些优势
曾经有人问java的创始人高斯林这样一个问题，“除了Java语言以外，您现在还使用JVM平台上的哪种编程语言?”他毫不犹豫的说是Scala。
Scala到底是什么?在目前众多的JVM语言当中，Scala无疑是最引人注意的语言之一。Scala是一个静态语言，更适合大型工程项目，Scala直接编译成Java字节码，性能接近Java。Scala是一个多范式的语言，你可以混合使用函数式和面向对象编程，混合使用可变类和不变类，混合使用Actor和传统的Java并发库。
短短一个月的时间，Scala于本月冲进了TIOBE的前五十名。一个 Twitter 的开发人员说过，Scala 将会成为现代 Web2.0 的发起语言。LinkedIn 也用这种语言。同样许多其他大的公司如 Sony Picture, EDF, SAP 也开始使用这种语言。为什么Scala发展这么迅猛，可以获得如此热烈的社区支持。
曾冠东还表示，Scala不是Java的杀手，它无法取代Java的地位，也突破不了JVM的限制、Java实现不了的功能它也实现不了。我们可以将Scala形象的理解成大量语法糖的Java。
Scala 开发团队发布了最新的2.9.2稳定版本，Scala 语言的特性有许多，例如高阶函数和对象、抽象类型绑定，actor 使得函数在 Scala 中能是一个子类成为可能，Scala 中的设计模式使得面向对象和函数编程无缝结合。Akka 是一个用 Scala 编写的库，用于简化编写容错的、高可伸缩性的 Java 和 Scala 的 Actor 模型应用。它已经成功运用在电信行业。Spark 是一种可扩展的数据分析平台，它整合了内存计算的基元，因此，相对于 Hadoop 的集群存储方法，它在性能方面更具优势。Spark 是在 Scala 语言中实现的，并且利用了该语言，为数据处理提供了独一无二的环境。Scala 编译器可以生成字节码，直接运行在使用JVM上。该语言(它实际上代表了可扩展语言)被定义为可直接集成到语言中的简单扩展。
Scala作为一门静态语言，它的主要特性有哪些?
· Scala是面向对象的
Scala是一个纯面向对象语言，在某种意义上来讲所有数值都是对象。对象的类型和行为是由class和trait来描述的。Class的抽象可由子类化和一种灵活的基于mixin的组合机制(它可作为多重继承的简单替代方案)来扩展。
· Scala是函数式的
Scala还是一个函数式语言，在某种意义上来讲所有函数都是数值。Scala为定义匿名函数提供了一种轻量级的语法，它支持高阶(higher-order)函数、允许函数嵌套、支持局部套用(currying)。Scala的case类及其内置支持的模式匹配模型代数类型在许多函数式编程语言中都被使用。
· Scala是静态类型的
Scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。
· Scala是可扩展的
Scala的设计承认了实践事实，领域特定应用开发通常需要领域特定语言扩展。Scala提供了一个独特的语言组合机制，这可以更加容易地以类库的形式增加新的语言结构：
任何方式可以被用作中缀(infix)或后缀(postfix)操作符闭包按照所期望的类型(目标类型)自动地被构造
两者结合使用可方便地定义新语句，无需扩展语法，也无需使用类似宏的元编程工具。
· Scala可与Java和.NET进行互操作
Scala设计时就考虑了与流行编程环境良好交互，如Java 2运行时环境(JRE)和 .NET框架(CLR)。特别是与主流面向对象语言，如Java和C#尽量无缝交互。Scala有像Java和C#一样的编译模型(独立编译，动态装载类)，允许访问成千上万的高质量类库。
在并发性方面，与 Scala 在 .NET 领域中的姐妹语言 F# 相似，Scala 是针对 “并发性问题” 的解决方案之一，让开发人员能够更加轻松地专注于问题的实质，而不用考虑并发编程的低级细节。Actor 编程模式让高度并行应用程序的开发更加简单。Scala把Erlang风格的基于actor的并发带进了JVM。我们可以利用Scala的actor模型在JVM上设计具伸缩性的并发应用程序，以自动获得多核心处理器带来的优势，而不必依照复杂的Java线程模型来编写程序。Scala 为并发性提供了两种级别的支持，这与其他与 Java 相关的主题极为类似：
首先，对底层库的完全访问(比如说 java.util.concurrent)以及对 “传统” Java 并发性语义的支持(比如说监控程序和wait()/notifyAll())。其次，这些基本机制上面有一个抽象层
Scala 提供了在稳定的高性能平台(Java 虚拟机)上生成的能力同时也是一门敏捷性语言。这一类型的语言也有其他的选择，例如 Jython, JRuby, Groovy 和 Clojure, 但是这些都是运行在 JVM 上的动态类型语言。Open Class 的效果让大家会觉得Scala是动态语言，但它是选择隐式转换来实现的，这也正好证明了Scala是静态语言。隐式转换(Implicit conversion)使 Scala 具有类型安全性，正如扩展方法(extension method)之于 C#，开放类(open class)之于 ruby。即：向未曾定义的类型添加方法(如字符串、列表、整数)。这是使得 Scala 符合 DSL(特定领域语言)模型的特性之一。
Scala结合了面向对象和函数编程的优势，函数编程的一个好处就是你能够像运用一个数据那样运用函数，可以用来定义真正高层级的库，或者去定义新的领域特殊语言(DSL)。
在谈及Java与Scala的对比时，曾冠东表示，Scala能调用绝大部分的Java，而Java调用Scala独有的东西会比较难。Java 拥有非常强的概念规范，因此任何一个 Java 程序之间具有非常多的相似之处，并且这样能够方便的进行程序员交替。但是 Scala 并没有这样的统一性，因为这是一门很有表现力的语言。现场曾冠东为我们演示了实际案例，如下图所示：
正所谓，金无足赤，人无完人。Scala对二进制不兼容，语法也越来越复杂，不能突破Bytecode的限制、编译速度有所缓慢。当它被广泛用于单元测试、开发工具、Socket开发、以及面对多核挑战的并发应用。总而言之，Scala是一种函数式面向对象语言，它融汇了许多前所未有的特性，而同时又运行于JVM之上。正如JRuby 创建者之一Charles Nutter 所宣称的那样Scala就是 Java 王位的合法继承人。随着开发者对Scala的兴趣日增，以及越来越多的工具支持，无疑Scala语言将成为广大软件工程师手上一件必不可少的工具。更多精彩内容，请关注专题：http://www.it168.com/remen/qcon/
D. 领域特定语言的定义
领域特定语言（domain-specific languages，简称DSL）
在定义DSL是什么的问题上，Flowler认为目前经常使用的一些特征，例如“关注于领域”、“有限的表现”和“语言本质”是非常模糊的。因此，唯一能够确定DSL边界的方法是考虑“一门语言的一种特定用法”和“该语言的设计者或使用者的意图”：
如果XSLT的设计者将其设计为XML的转换工具，那么我认为XSLT是一个DSL。如果一个用户使用DSL的目的是该DSL所要达到的目的，那么它一个DSL，但是如果有人以通用的方式来使用一个DSL，那么它（在这种用法下）就不再是一个DSL了。
以Fowler的观点，DSL首先是一种帮助用户从一个系统中抽象出某些部分的工具。所以“当你意识到你需要一个组件，或者当你已经有了一个组件而你希望简化操作它的方式的时候”，DSL是有用的。使用DSL确实提供了某些益处。DSL不仅提高了代码的易读性，让开发者可以和领域专家更好的交流，而且是改变执行上下文的一种手段，例如：把逻辑从编译时切换到运行时，或者当命令式编程不是很合适的时候转用声明式计算模型。
E. 什么是DSM
DSM：Domain-Specific Modeling
板桥里人 http://www.jdon.com 2006/5/1（转载请保留）
当DSL（Domain-Specific Languages）诞生时，不少人比较激动，欢呼一个新的语言时代到临。其实，这不是计算机领域的新语言，而是一种新的建模语言。
DSL是一种专门供领域建模专家（也就是系统分析师）使用的语言，这些领域专家不同于程序高手，他们有一套自己认知世界和表达世界的思维和方式（如UML），因此，他们不感兴趣于软件设计细节，希望软件能够按照他们分析设计的结果去运行和执行就可以了。
其实，现如今在Java和.NET分治天下软件语言之时，不可能再有对和Java等同样层次的新语言的新需求， 因为大家都已经经历过优美动人的语言故事，新语言陷阱是每个人理性的认识。因此，聪明的专家发现，DSL特征不是发明新轮子，而是提供一种面向领域建模方便的工具语言，类似UML，但UML不能再胜任这样的工作（见UML和Java的阻抗），MDA有待进一步完善提高，建模专家需要的是DSM（Domain-Specific Modeling）。
提高开发生产效率
按照软件生产效率研究（Software Proctivity Research）, Java的平均生产率仅比BASIC高20%, C++不会好过Java，当今Java和.NET语言纷争带给程序员很多选择的痛苦，我们把更多注意力关注在对象、组件和框架（objects, components, and frameworks）等概念上，但是开发效率并没有比20年前有显着增长，从汇编语言到BASIC是400%的增长，在当前21世纪，我们应该怎样完成这样的跳跃式发展？
UML能否胜任？
象UML这样传统的建模语言并不能提高软件生产率，你需要在两处维护信息系统：语言代码和UML模型，为保持一致来回奔命，我们知道，java/C++/BASIC都将被编译器编译成汇编语言，可是有人看到过这样情形：开发者手工更改编译器并且试图使C++代码和汇编代码保持一致？可是这种现象会发生在UML模型和语言代码之间。
当然，UML有其优点：作为能够迅速被读懂的虚拟符号，UML世界现在吵吵嚷嚷，一半人发现UML并不能表达他们在建模时需要的一些概念，因此要求将入一些新的东西进入UML核心标准；可是还有另外一些人则认为UML太复杂，应该从UML核心元素中减去一些元素。当UML试图适合所有的人时，它就不能大力提高其抽象层次了。
这是目前基于UML的大多数MDA工具发生尴尬现象。MDA工具制造商发现它们仅仅能够比手工编码提高生产效率(study)35%，远没有我们希望的400%革命性跳跃。
什么是DSM？
只有提高抽象层次，将软件直接面向建模专家或系统分析师，然后运用自动化代码生成技术，这样才能高质量大幅度快速开发出软件系统，在OOPSLA（领先的软件工程会议），大家认为DSM可能是一种解决方案。Bill Gates 和 Grady Booch也发表过同样观点。
DSM意味Domain-Specific Modeling领域定义建模，通过使用领域概念直接指定解决方案，DSM提高了超越程序代码之上的抽象层次，最终软件产品将从高层次的设计中直接自动产生，这样一个自动过程是可以实现的，因为 语言和代码产生器可以满足某一个公司或领域的需求，建模专家使用定义这个自动机器，而程序员只管使用即可。
实践经验已经证明：DSM比现有方式（包括基于UML的MDA）效率提高5-10倍，正如Booch说的那样： ”当建模概念可以直接映射到领域Domain，而不是计算机具体技术概念时，MDA的价值已经完成“，这句话的意思是： MDA已经证明我们可以直接从领域专家Domain观点直接建模，而不必拘束于具体的计算机技术概念，或者说：直接由有经验的系统分析师/建模专家分析设计进而生产出软件系统已经被MDA证明是可行的了，MDA的价值也就在于此，
Booch等人寄希望于使用DSM替代MDA。
由建模专家定义有关领域和组件的代码产生器，这样做的结果要好于大多数开发者手工开发。从MDA教训来看，大家认识到：不可能有“一种尺寸适合所有身材”的代码产生方案，不必象MDA那样疲于往来返工，DSM所做的正如将代码编译成汇编语言的编译器所做的。
DSM工作原理
首先，每个行业都有一些经验丰富行业专家，俗成系统分析师，他们对业务系统非常熟悉，但是不太了解软件技术，由这些专家定义一个包含域概念和规则的域定义语言（domain-specific language），并且定义这些域概念和规则映射到代码产生器的映射；实际上这些建模专家所要表达的就是：我们的需求应该看上去是怎样？我是怎么写代码的。
然后，其他开发者就使用建模语言根据前面定义的规则制作模型，最后，代码将自动产生，因为建模专家参与了定义代码生产器，这样最后产生的代码质量要高于正常程序员手工完成的代码质量。更重要的是，制作模型将比手工写代码更快。
与MDA区别
DSM与MDA主要区别是：MDA工具商自己定义代码产生器，这些代码产生器第一次看非常好，但是以后就变样走味了，难以适应需求的变化。.
DSM中，由你控制DSL和代码产生器，这些工具可以被调整以适应你自己的系统，作为开发者，你只需要定义DSL和实现自己的代码产生器，所有这一切都是由你来定义控制，正所谓定制性强。
DSL案例
TSS上最近的文章“Improving Developer Proctivity with Lightweight Domain Specific Modeling”演示了如何使用DSM实现轻量建模的过程，共分五步：
ArgoUML 能够用作定义DSL模型，开发人员能够设计DSL模型适合问题域。
将 ArgoUML模型转为Eclipse模型格式的Ecore.
使用Eclipse的插件JET模板定义代码如何产生。
Ecore模型输入到模板定义中，然后再定义Ecore模型中的模型元素和带有Merlin的JET模板之间映射。
最后结果是产生最终代码。
F. scala语言会取代java的吗
经有人问Java的创始人高斯林这样一个问题，“除了Java语言以外，您现在还使用JVM平台上的哪种编程语言?”他毫不犹豫的说是Scala。Scala到底是什么?在目前众多的JVM语言当中，Scala无疑是最引人注意的语言之一。Scala是一个静态语言，更适合大型工程项目，Scala直接编译成Java字节码，性能接近Java。Scala是一个多范式的语言，你可以混合使用函数式和面向对象编程，混合使用可变类和不变类，混合使用Actor和传统的Java并发库。短短一个月的时间，Scala于本月冲进了TIOBE的前五十名。一个Twitter的开发人员说过，Scala将会成为现代Web2.0的发起语言。LinkedIn也用这种语言。同样许多其他大的公司如SonyPicture,EDF,SAP也开始使用这种语言。为什么Scala发展这么迅猛，可以获得如此热烈的社区支持。曾冠东还表示，Scala不是Java的杀手，它无法取代Java的地位，也突破不了JVM的限制、Java实现不了的功能它也实现不了。我们可以将Scala形象的理解成大量语法糖的Java。Scala开发团队发布了最新的2.9.2稳定版本，Scala语言的特性有许多，例如高阶函数和对象、抽象类型绑定，actor使得函数在Scala中能是一个子类成为可能，Scala中的设计模式使得面向对象和函数编程无缝结合。Akka是一个用Scala编写的库，用于简化编写容错的、高可伸缩性的Java和Scala的Actor模型应用。它已经成功运用在电信行业。Spark是一种可扩展的数据分析平台，它整合了内存计算的基元，因此，相对于Hadoop的集群存储方法，它在性能方面更具优势。Spark是在Scala语言中实现的，并且利用了该语言，为数据处理提供了独一无二的环境。Scala编译器可以生成字节码，直接运行在使用JVM上。该语言(它实际上代表了可扩展语言)被定义为可直接集成到语言中的简单扩展。Scala作为一门静态语言，它的主要特性有哪些?·Scala是面向对象的Scala是一个纯面向对象语言，在某种意义上来讲所有数值都是对象。对象的类型和行为是由class和trait来描述的。Class的抽象可由子类化和一种灵活的基于mixin的组合机制(它可作为多重继承的简单替代方案)来扩展。·Scala是函数式的Scala还是一个函数式语言，在某种意义上来讲所有函数都是数值。Scala为定义匿名函数提供了一种轻量级的语法，它支持高阶(higher-order)函数、允许函数嵌套、支持局部套用(currying)。Scala的case类及其内置支持的模式匹配模型代数类型在许多函数式编程语言中都被使用。·Scala是静态类型的Scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。·Scala是可扩展的Scala的设计承认了实践事实，领域特定应用开发通常需要领域特定语言扩展。Scala提供了一个独特的语言组合机制，这可以更加容易地以类库的形式增加新的语言结构：任何方式可以被用作中缀(infix)或后缀(postfix)操作符闭包按照所期望的类型(目标类型)自动地被构造两者结合使用可方便地定义新语句，无需扩展语法，也无需使用类似宏的元编程工具。·Scala可与Java和.NET进行互操作Scala设计时就考虑了与流行编程环境良好交互，如Java2运行时环境(JRE)和.NET框架(CLR)。特别是与主流面向对象语言，如Java和C#尽量无缝交互。Scala有像Java和C#一样的编译模型(独立编译，动态装载类)，允许访问成千上万的高质量类库。在并发性方面，与Scala在.NET领域中的姐妹语言F#相似，Scala是针对“并发性问题”的解决方案之一，让开发人员能够更加轻松地专注于问题的实质，而不用考虑并发编程的低级细节。Actor编程模式让高度并行应用程序的开发更加简单。Scala把Erlang风格的基于actor的并发带进了JVM。我们可以利用Scala的actor模型在JVM上设计具伸缩性的并发应用程序，以自动获得多核心处理器带来的优势，而不必依照复杂的Java线程模型来编写程序。Scala为并发性提供了两种级别的支持，这与其他与Java相关的主题极为类似：首先，对底层库的完全访问(比如说java.util.concurrent)以及对“传统”Java并发性语义的支持(比如说监控程序和wait()/notifyAll())。其次，这些基本机制上面有一个抽象层Scala提供了在稳定的高性能平台(Java虚拟机)上生成的能力同时也是一门敏捷性语言。这一类型的语言也有其他的选择，例如Jython,JRuby,Groovy和Clojure,但是这些都是运行在JVM上的动态类型语言。OpenClass的效果让大家会觉得Scala是动态语言，但它是选择隐式转换来实现的，这也正好证明了Scala是静态语言。隐式转换(Implicitconversion)使Scala具有类型安全性，正如扩展方法(extensionmethod)之于C#，开放类(openclass)之于ruby。即：向未曾定义的类型添加方法(如字符串、列表、整数)。这是使得Scala符合DSL(特定领域语言)模型的特性之一。Scala结合了面向对象和函数编程的优势，函数编程的一个好处就是你能够像运用一个数据那样运用函数，可以用来定义真正高层级的库，或者去定义新的领域特殊语言(DSL)。在谈及Java与Scala的对比时，曾冠东表示，Scala能调用绝大部分的Java，而Java调用Scala独有的东西会比较难。Java拥有非常强的概念规范，因此任何一个Java程序之间具有非常多的相似之处，并且这样能够方便的进行程序员交替。但是Scala并没有这样的统一性，因为这是一门很有表现力的语言。现场曾冠东为我们演示了实际案例，如下图所示：正所谓，金无足赤，人无完人。Scala对二进制不兼容，语法也越来越复杂，不能突破Bytecode的限制、编译速度有所缓慢。当它被广泛用于单元测试、开发工具、Socket开发、以及面对多核挑战的并发应用。总而言之，Scala是一种函数式面向对象语言，它融汇了许多前所未有的特性，而同时又运行于JVM之上。正如JRuby创建者之一CharlesNutter所宣称的那样Scala就是Java王位的合法继承人。随着开发者对Scala的兴趣日增，以及越来越多的工具支持，无疑Scala语言将成为广大软件工程师手上一件必不可少的工具。
G. 把王爽的《汇编语言》学完之后是什么水平
<首先声明，绝不是复制粘贴的，句句出自本人经验中提炼而出>
汇编是计算机编程中最为基础部分。
你先学了C/C++，正处于空中楼阁的尴尬处境。因为你在开发C/C++的时候，总觉得有一层雾纱隔着。无法真正看到问题的本质。人类对于无法控制的事总有一种反抗及寻根问底的情绪。
而你把汇编学通了，才能真正地从汇编连通到操作系统，连通到C/C++。你才能真正看清计算机。这才能有机会步入大师级计算机学问境界。
用一句话:站在巨人的肩膀上……
比如只学现在流行的面向对象语言C#、Java等，虽然在短期内你可能会成为这方面的能手，但是想突破是有限的。因为本身的起步就低了。
再言，现在网络发展极快，C#、Jave这种浮于水面的技术很快会被新的东西所取代。但是C#、Java和更加新的未知技术都是从底层的汇编等变化而来。只要学好基础，一句话：以不变应万变。
我不知道学了汇编达到什么水平。但是学了汇编绝对能达到难以想象的水平。
H. C++或者java 如何将txt中的逻辑加入到软件执行中
简单的讲，你的想法实际上相当于用txt作为配置文件，一般人们用xml或ini作为配置文件，因为这两种文件格式都有相关类库实现读写。
复杂一些，你想把一些代码放到运行时执行，则是相当于自带了部分编译器或解释器的功能。
这种方案叫DSL（特定领域语言）。
I. 大学计算机基础知识点整理
1、计算机组成原理
如果你不是做操作系统／驱动程序的，直接和硬件打交道的机会很少，因为操作系统已经把他们屏蔽掉了，提供了抽象的API给我们使用。
但是还必须理解冯诺依曼体系的结构，CPU和内存，硬盘，各种外设之间的关系，寄存器、缓存等知识。CPU有哪些指令，如何执行这些指令，如果实现数组，结构体，函数调用，这就涉及到汇编的知识。像原码，反码，补码，定点数、浮点数的表示和运算也是编程中必备的知识，几乎每种语言都要涉及。
现在很多语言都是在虚拟机上运行的，你只要是了解了计算机的组成原理，再去看哪些虚拟机，就会发现概念都是相通的。另外CPU中的缓存，缓存一致性协议，DMA的异步思想都会在应用层中有所体现。《编码》是一个更加科普性，但是也更加有趣的讲组成原理的书。
2、操作系统
操作系统是比较枯燥的，站在应用层的角度，我认为重点是掌握操作系统对外提供的抽象，包括进程、线程，文件，虚拟内存，以及进程间的通信问题。
几乎所有的编程语言都会涉及到对多进程或者多线程编程的支持，特别是多线程的并发编程，所以必须得搞明白他们的本质是什么，线程都有哪些实现方式。得真正地体会到“进程是资源分配的最小单位，线程是调度的最小单位。”这句话的含义。
几乎所有的编程语言都会涉及到锁和死锁，最好在最底层理解锁是怎么实现的。需要理解虚拟内存和物理内存直接的关系，分段和分页，文件系统的基本原理。对于进程的调度，页面分配／置换算法，磁盘的调度算法，I／O系统，我认为优先级比较低。
3、数据库
这个和日常工作结合极其紧密，不用我再多说，包括最基本的SQL，各种范式，事务及其隔离级别，事务的实现方式，索引及其实现方式，B＋树等等。
4、编译原理
你一辈子也许都不会去写一个编译器，但是很有可能会利用现成的工具去生成/操作一个抽象语法树（AST），甚至可以会写一个DSL（领域特定语言）。所以你得理解词法分析、语法分析、语义分析，中间代码生成，代码优化这个基本编译的过程。
(9)编译器dsl语言扩展阅读
Cache的原理
如果存在（命中），则直接返回该数据；如果不存在（失效），再去访问内存——先把内存中的相应数据载入缓存，再将其返回处理器。
提供“高速缓存”的目的是让数据访问的速度适应CPU的处理速度，通过减少访问内存的次数来提高数据存取的速度。
Cache技术所依赖的原理是”程序执行与数据访问的局部性原理“，这种局部性表现在两个方面：时间局部性：如果程序中的某条指令一旦执行，不久以后该指令可能再次执行，如果某数据被访问过，不久以后该数据可能再次被访问。
J. 怎么编译DSL文件为AML文件
编译DSL文件为AML文件：
1、利用编译程序从源语言DSL文件编写的源程序产生目标程序AML文件；
2、用编译程序产生目标程序的动作。 编译就是把高级语言变成计算机可以识别的2进制语言，计算机只认识1和0，编译程序把人们熟悉的语言换成2进制的。
编译程序把一个源程序翻译成目标程序的工作过程分为五个阶段：词法分析；语法分析；语义检查和中间代码生成；代码优化；目标代码生成。主要是进行词法分析和语法分析，又称为源程序分析，分析过程中发现有语法错误，给出提示信息。
(10)编译器dsl语言扩展阅读：
编译程序的语法分析器以单词符号作为输入，分析单词符号串是否形成符合语法规则的语法单位，如表达式、赋值、循环等，最后看是否构成一个符合要求的程序；
按该语言使用的语法规则分析检查每条语句是否有正确的逻辑结构，程序是最终的一个语法单位。编译程序的语法规则可用上下文无关文法来刻画。
语法分析的方法分为两种：自上而下分析法和自下而上分析法。自上而下就是从文法的开始符号出发，向下推导，推出句子。
而自下而上分析法采用的是移进归约法，基本思想是：用一个寄存符号的先进后出栈，把输入符号一个一个地移进栈里，当栈顶形成某个产生式的一个候选式时，即把栈顶的这一部分归约成该产生式的左邻符号