公式语言是人们为了特定用途设计出来的。
Formal languages are languages that are designed by people for specific applications.
编程语言是一种用来表达运算的公式语言。
Programming languages are formal languages that have been designed to express computations.
包括公式语言，使得编写Notes应用程序更简单。
Inclusion of the formula language, making the programming of Notes applications easier.
公式语言有严格的语法规则和对语句结构的要求。
Formal languages tend to have strict syntax rules that govern the structure of statements.
公式语言比自然语言要更加密集，读起来也需要更长时间。
Formal languages are more dense than natural languages, so it takes longer to read them.
拼写和符号的小错误对于自然语言来说没什么，但对公式语言来说就能带来大问题。
Small errors in spelling and punctuation, which you can get away with in natural languages, can make a big difference in a formal language.
例如，它还没有定义电子表格中使用的公式语言—但是目前正在开发中，将包含到标准的1.2版本中。
For instance, it does not define the formula language used in spreadsheets-although this is being worked on, for inclusion in a proposed version 1.2 standard.
虽然PDP-15支持各种操作系统，但是此机器的有趣用法与公式计算器 (FOCAL)语言一起使用。
Although the PDP-15 supported a variety of operating systems, one interesting use of this machine is with the formula calculator (FOCAL) language.
当时狄拉克的同行们正在为他们的公式的哲学内涵争论不休，而他认为语言是靠不住的，在理论物理上数学有着绝对的优势。
But while his colleagues struggled with the philosophical implications of their equations, Dirac thought words were treacherous and saw merit only in mathematics.
除了在内存中缓存静态HTML页面之外，Domino还能够缓存包含宏语言（@function）公式的页面。
In addition to keeping an in-memory cache of "static" HTML pages, Domino can also cache pages that contain macro language (@function) formulas.
公式翻译；数学科学用途的高级程序语言。
FORmula TRANslation; high - level programing language for mathematical and scientific purposes.
生成语法把语言机制形式化，用有限的公式来生成或分析无限的句子。
Generative grammar formalizes language mechanism. The finite rules of generative grammar can generate or analyze infinite sentences.
理论上讲，公式化序列的选择和使用属于语用学的范畴，是语言能力的重要组成部分。
Theoretically, the selection and use of formulaic sequences belong to one's pragmatic competence and play an important role in pragmatic competence.
本论文中，论述了词语搭配的定义，公式和与其相关的语言知识方面。
This paper discusses the definition of collocation, formulas, and the language associated with knowledge.
本文中介绍了用电子计算机进行公式处理的算法，这些算法已用符号处理语言FCY编写成程序。
This paper presents the algorithms of formula manipulation by computer, which have been programmed by means of the symbol manipulation language FCY.
HSI 29800型系列能够识别所有已知的模拟和数字ARINC标准化信号和语言，它通过内置电子转换处理不同的公式。
The HSI 29800 Type series recognizes all known ANALOG and DIGITAL ARINC standardized signals and languages. It processed the different formats built in electronic switching.
针对各种计算机测控系统中的无法直接测量得到的变量，采用脚本语言开发一种通用的组件式的公式编辑器。
The formula editor can be applied to all kinds of control systems software development, which can expand the monitoring system function, increase system flexibility and applicability.
公式计算语言的简称，应用不太广泛的一种高级程序设计语言。
An abbreviation for formula calculation language, a high-level programming language not too widely used.
使用复杂的公式和语言的专家本来是可以避免让一个明确的并简要地介绍有关的基本事实。
The use of complex formulae and the language of the specialist have been avoided to allow for a clear and concise presentation of the essential facts.
同时利用该转换公式，给出基于语言判断矩阵的方案排序方法。
Meanwhile, a ranking approach to linguistic judgment matrix was also given based on the transforming formula.
语言不是数学公式，也不是物理公式，而是人们约定俗成，用来交际的玩意儿。
Languages aren't the formulas in math or physics; they are just such tools to be used for communication by people.
本文采用了语块这一概念来概括以往各研究中提及的语言的公式化特征。
We use the notion of formulaic sequences to generalize the formulaicity of certain language forms.
本文阐述了CASC语言、并研究了公式推演语言的特点。
CASC is described, the features of formula manipulation language are researched.
计算机代数与符号演算语言CASC是一种高级程序设计语言，它可用于编制推演数学公式的程序。
Computer algebraic and symbolic computation language CASC is a high level programming language used in formula manipulation.
高级语言是一种以英文为基础的设计语言， 其中的运算符和表达式都和通常的数学公式类似。
The high-level language is a programming language based on English. Its operators and expressions are similar to ordinary mathematical formulas.
一元线性回归方程易语言求解源码例程程序根据数学公式计算求解一元线性回归方程。
Unary linear regression equation easy language source code routines to solve the program according to the mathematical formula for solving a linear regression equation.
提出了用FFT实现数字滤波中的卷积计算，给出了改进的快变计算公式及用汇编语言编程的具体方法。
The paper also advanced the method to achieve the convolution through FFT in digital filters and gave the improved formula to achieve FFT as well as the detailed programming steps.
公式化是不同语言所具有的一个特性。
Formulaicity is a universal characteristic of human languages.
公式化语言是语言研究中的重要言语材料，它在话语交际中具有规约性和复现性的明显特征，在交际中具有压缩信息处理时间、维持社会交际和增进人际交往的功能。
Formulaic sequence holds an important part in natural language use, but the research of it has long been ignored because formulaic sequence seems to be the equivalent of behaviorism.
公式化语言是语言研究中的重要言语材料，它在话语交际中具有规约性和复现性的明显特征，在交际中具有压缩信息处理时间、维持社会交际和增进人际交往的功能。
Formulaic sequence holds an important part in natural language use, but the research of it has long been ignored because formulaic sequence seems to be the equivalent of behaviorism.
应用推荐