形式语言

compiled language

编译型语言

编译型语言(Compiled Language)- 一种语言,它需要编译器程序将编程源代码转换成可执行的机器语言二进制程序. 一经编译,就可从程序的二进制形式多次运行程序,而无需再次编译. 编译型语言/程序运行往往比解释型语言或伪代码语言快,

formale Potenzreihe formal power series

形式幂级数

Folgerung conclusion 结论 | formale Potenzreihe formal power series 形式幂级数 | formale Sprache formal language 形式语言

formally hypoelliptic

形式亚椭圆

形式实域|formally real field | 形式亚椭圆|formally hypoelliptic | 形式语言|formal language

free form

自由形式

他敏锐地观察到语言线条性粘附形式(bound form)和自由形式(free form). 对前者,我国学者近年通常用"粘着"一词. 学界. 所以词(word)是一个自由形式,但不是全部由(两个或两个以上的)更小的(按:原译'较小的')自众多的结构主义语言学家所接受.

machine language

机器语言

(1) 机器语言(Machine Language) 机器语言是一种用二进制代码" 0"和" 1"形式表示的,能被计算机直接识别和执行的 语言.用机器语言编写的程序,称为计算机机器语言程序.它是一种低级语言,用机器语言 编写的程序不便于记忆,

formal leading coefficient

形式的首项系数

形式语言 formal language | 形式的首项系数 formal leading coefficient | 形式论理 formal logic

linguistic form

语言形式

这种终身学习(lifelong learning)学习模式,正符合「外语学习标准」所列的「社群 (community)」这项学习目标中超越现有(here本纲要肯定语言形式(linguistic form)是构建语言能力的基本要素,不能偏废,但是语言学习的目标是如何使用该语言表情达意,

language reference manual

语言参考手册

通常仍然是由英语(或其他的自 然语言)描述的.这些描述(与形式的词法及语法结构一起)一般是集中在一个语言参考手册(language reference manual)或语言定义( language definition)之中.因为编译器的编写 者掌握的技术对于语言的定义有很大的影响,

Formal Semantics

形式语义学

研究兴趣包括语义学、语用学、语言哲学、自然语言逻辑、语篇分析、英语语法、翻译理论等. 本章主要讨论语义研究中的一些基本概念和分类并勾勒出形式语义学(formal semantics)的研究范围. 我们还将扼要介绍逻辑在语义研究中的作用. 最后简介余下各章的内容.

interpreted language

解释型语言

解释型语言(Interpreted Language)- 与编译型程序不同,每次运行解释型程序时都要由解释器程序实时地将源代码转换成二进制形式,而编译型程序由编译器一次性将源代码转换成可执行代码,随后从其二进制形式运行.

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;