Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
单词 | Formal languages |
释义 |
Formal languages
英语例句库
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
原声例句
牛津大学:商务英语 Formal language tends to be much more indirect. 正式英语往往更间接。 牛津大学:商务英语 They think: formal language is more polite. 正式的语言更加有礼貌。 历年四级听力真题精听 Formal language is the kind of language you find in textbooks, reference books, and in business letters. 正式语言是你在教科书、参考书和商业信件中找到的语言。 Emma的美味英语 And this verb pattern is really formal language. 这种动词结构是非常正式的。 Emma的美味英语 It also suggests more specific and more formal language. 它也表明使用的是更加特定的、更加正式的语言。 BBC地道英语 She's always using such formal language and over-stressing syllables. 她总是用这么正式的语言和过分强调的音节。 Emma的美味英语 Did you notice that I used more formal language when I spoke? 你有没有注意到我说话时使用了更正式的语言呢? 牛津大学:商务英语 The fact is, it's not possible to say you should always use formal language in these situations. 事实是,在这些情景中,你不可能总是使用正式语言。 Engvid-Adam-课程合辑 So this is what we're doing, we're just linking things together using more formal language. 这就是我们要做的,我们只是用更正式的语言把东西联系起来。 VOA慢速英语_教育 Doing so will give you a clearer idea of how pronoun usage differs between formal and informal language. 从而更清楚地了解正式和非正式语言中代词的用法有何不同。 高级每日语法(音频版) Does the message follow the rules of language use in business, such as the use of formal language? 这些信息是否遵循商业中的语言使用规则,比如使用正式语言? Emma的美味英语 So formal language is always required but it's not as simple as that. 所以总是需要说正式的语言,但是事情并不是那么简单。 英语词汇演变史 And as you move up into more complex and formal language, you hear more words of French and Latin origin. 当你进入更复杂和正式的语言时,你会听到更多起源于法语和拉丁语的单词。 Emma的美味英语 So when you write or you use formal language, you definitely should use the full structure. 当你们写作或者是使用正式语言的时候,你们肯定是应该使用完整的结构的。 英语四级真题 Formal language is different from informal language in several ways. 正式语言在几个方面不同于非正式语言。 Emma的美味英语 If you work in an office, then yes, using formal language with customers and clients is essential. 如果你在办公室工作的话,那么确实是的,和顾客和客户使用正式的语言是必需的。 当月 VOA Special English The Power of Sympathy is in many ways a sign of its time with its use of letters, religious messages and formal language. 《同情的力量》在很多方面都是其时代的标志,它使用了信件、宗教信息和正式语言。 Oxford Online English / Spoken English Lessons Formal language can sound cold or distant if you use it in the wrong situation. 如果您在错误的场合使用的话,正式语言 可以听起来有点冷淡或有点距离。 英语四级真题 First, formal language tends to be more polite. 首先,正式语言往往更礼貌。 How to 英语会话 So far, we've looked over some of those situations where you might use very formal language in greetings, such as 'sir' or 'madam'. 到目前为止,我们知道了在什么样的场合下使用‘sir’或者是‘madam’来问候别人。
中文百科
形式语言 Formal language(重定向自Formal languages)
在数学、逻辑和计算机科学中,形式语言(英语:Formal language)是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样,形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论,它只研究语言的语法而不致力于它的语义。在形式语言理论中,形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。
英语百科
Formal language 形式语言(重定向自Formal languages)
![]() ![]() ![]() 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. The alphabet of a formal language is the set of symbols, letters, or tokens from which the strings of the language may be formed; frequently it is required to be finite. The strings formed from this alphabet are called words, and the words that belong to a particular formal language are sometimes called well-formed words or well-formed formulas. A formal language is often defined by means of a formal grammar such as a regular grammar or context-free grammar, also called its formation rule. |
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。