内置函数
在计算机软件以及编译器理论中，内置函数是一种在特定编程语言中可直接使用的函数（子程序），這些函數由系統自帶並且已定義好功能。其实现由編譯器特别处理。 参考文献
标签：#编译原理
共 47 篇文章
动态重编译
在计算机科学中，动态重新编译（有时缩写为dynarec或伪首字母缩写DRC）是某些模拟器和虚拟机的功能。在执行期间，系统会重新编译程序的一些部分，调整生成的代码，使其表现程序的运行时环境，并有可能利用那些传统静态编译器不能获得的信息，生成更高效的代码。 用途 大多数动态重编译器用于在执行时不同架构间转换机器码。这是一个在模拟传统游戏平台中往往需要执行的任务。在其他情况下，系统可采取动态重编译作为自适应优化的一部分，以执行可移植程序，如 …
正则语言
正则语言又称-{zh-cn:正规语言; zh-tw:正則語言; zh-hk:正規語言;}-是满足下述相互等价的一组条件的一类形式语言： 可被确定有限状态自动机识别； 可被非确定有限状态自动机识别； 可被只读图灵机识别； 可用正则表达式描述； 可用正则文法生成。 可用前缀文法生成。 例子 所有的有限语言都是正则的。 字母表{a, b}上包含偶数个a的所有字串构成的语言是正则的。 字母表{a, b}上取若干个a后紧跟若干个b形式的所有字串构…
语法制导翻译
语法制导翻译 是指一种源语言代码的翻译完全由 语法分析器 驱动的 编译器 的实现方法。 一个常见的语法制导翻译方法是将输入字符串通过把相应的动作附加到每一条语法规则上的方法翻译为一连串的动作。 因此，对于一个基于某语法的字符串的解析会产生一个对于规则的应用序列。语法制导分析提供了一种将语义附加到任何一种语法上的简单方法。 概述 语法制导翻译的根本上是在一个上下文无关文法中透過向结果中添加动作（action）来工作的，从而形成语法制导定义…
扩展巴科斯范式
扩展巴科斯-瑙尔范式（EBNF, Extended Backus–Naur Form）是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法(metalanguage)符号表示法。它是基本巴科斯范式(BNF)元语法符号表示法的一种扩展。 它最初由尼克劳斯·维尔特开发，最常用的 EBNF 变体由标准，特别是 ISO-14977 所定义。 基本 扩展巴科斯范式是一种表达形式语言文法的代码，如由终结符即可视字符、数字、标点符…
格雷巴赫标准式
在计算机科学中，声称一个上下文无关文法是Greibach 标准式（范式）(GNF)的意味着所有的产生规则都有如下形式： :A \to \alpha X 或 :S \to \epsilon 这里的 A 是非终结符，α 是终结符，X 是不包括开始符号的非终结符的（可能为空）的序列，S 是开始符号，而 ε 是空串。 可观察出这种文法没有左递归。 所有上下文无关文法口可以被转换成等价的 Greibach 范式的文法。（某些定义不认可第二种形式的…
正则文法
在计算机科学中，正则文法是产生式规则取下述形式的一种形式文法（N, Σ, P, S）： A -> a ，此处的A是N中的非终结符号，a是Σ中的终结符号； A -> aB，此处的A和B是N中的非终结符号，a是Σ中的终结符号； C -> ε，此处的C是N中的非终结符号。 下面给出一个正则文法的例子： 文法G = (N, Σ, P, S)，其中N = {S, A}，Σ = {a, b, c}，S是起始符号，P包含下述规则： :S -> aS …