形式语言：一种由有限符号（称为字母表）组成的有限字符串集合（称为单词）的计算理论。
formal language //
名词 a language designed for use in situations in which natural language is unsuitable, as for example in mathematics, logic, or computer programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another 形式语言; 用精确的数学或机器可处理的公式定义的语言
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are specific to it.
形式语言-引用次数：21
It deals with pattern recognition, image processing, artificial intelligence,formal language and automata,fuzzy mathematics, compounding mathematics,informatics, Chinese information processing, as well as linguistics,psychology,bionics. It is a universal technology.
汉字识别涉及到模式识别、图像处理、人工智能、形式语言与自动机、模糊数学、组合数学、信息论、中文信息处理等学科,也涉及到语言文字学、心理学、仿生学等,是一门综合性技术。
正式语言
形式语言-引用次数：75
The score of this paper is the "formal language of Icon-painting in Medieval Europe" which is divided into 8 parts.
本文所论述的核心即“圣像画”的形式语言,共分八个部分。
参考来源欧洲中世纪圣像画的形式语言分析
形式说明-引用次数：2
参考来源塔尔斯基的真理语义论研究
形式化语言
形式语言
形式语言
... at least至少 formal language正式语言 in different ways以不同方式 ...
... informal language 非正式用语 formal language正式用语 SC(短对话)： ...
First, formal language tends to be more polite.
首先，正式的语言往往更有礼貌。
Formal language is different from informal language in several ways.
正式语言与非正式语言在许多方面都不同。
There are bound to be some words and phrases that belong in formal language and others that are informal.
必定存在着一些属于正式语言的单词和短语，也存在着另一些属于非正式语言的词汇短语。
Now in the middle years of the seventeenth century during the English revolution that saw the execution of the king and saw the establishment of a non-monarchic republican government, Milton had practically invented the formal language, the literary language, of insubordination.
7世纪中期,英国革命期间，国王被处决,一个非君主制的共和国政府建立了起来，弥尔顿实际上创造出了一套正式词汇，一套用来表述“反抗“的文学词汇。
弥尔顿课程节选 : 耶鲁公开课
Again, there has not been formal language submitted, a bill submitted.
What kinds of news organizations tend to be big, have lots of writers and bureaus all over the map, use formal language with high standards of copy editing, and have been around long enough to have established reputations?
FORBES: Why Publishers Need to Stop Worrying and Learn to Love Google
The study found that the further advantage for Gaelic-speaking children may have been due to the formal teaching of the language and its extensive literature.