查询词典 algorithmic language

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Translation: As Minister mentioned yesterday, our approach to teaching CL must take cognisance of the diverse language abilities of our students and the increasingly varied language backgrounds.

部长在较早时提到，我们在进行华文教学的时候，必须清楚地认识到学生掌握母语的能力不同，他们的家庭语言背景差异也很大。

On the contrary, the colonized have been forced to pick up the language of the colonizers and achieved nothing but mimicry during the process of learning the colonizer's language.

殖民地宗主国的男性殖民者通常对被殖民者的语言政策持有掌控权，而另一方面学习殖民者语言者的被殖民者，长久以来被迫定位於「学舌」的次元。

I tried to find out my own language of color in folk music and custom of Fujian, dissolved the eastern verve into the painting, and tried to explore a new form of drawing language.

我想在中国民乐以及闽地民俗风情中去寻找自己的色彩语言，将东方神韵的内涵融入画里，探索一种新的绘画语言形式。

Beijing Kaidi dawn has educated science and technology to develop the Ltd.s exceptional agile English network studying platform , has taken that the cognition science and foreign language teaching comment on as rationale , has structured route and the platform studying studying the pattern, study owing to network commixture style , has trained synthetical language of student the ability applying , has improved the validity that student English studies conscientiously , has got appraisal of electrified education mansion expert group of central authority, and as modern education technology problem complete.

北京凯迪晨光教育科技发展有限公司的敏特英语网络学习平台，以认知科学和外语教学论为理论基础，构建基于网络的混合式学习模式、学习路径和学习平台，培养学生综合语言应用能力，切实提高学生英语学习的有效性，得到了中央电教馆专家组的鉴定，并作为现代教育技术课题在全国立项推广。

The English language, the language of many of its governments and their administrators, is an important common factor.

英语，作为英联邦许多政府和执政官的官方语言，是一个重要的共同因素。

English is the world's major international common language is one of the world's most widely used language.

英语是当今世界上主要的国际通用语言之一，也是世界上最广泛使用的语言。

The commonalty foreign language studying books and foreign language tool books of XX have been widely recognized by the readers.

XX 的大众外语学习图书及外语工具书得到读者的广泛认可。

The aim of language teaching is to foster students communicative competence by using the language.

语言教学的目的是为了培养学生运用这种语言进行交际的能力。

Therefore a design of floating-point directive compiler that convert a high-level language to a low-level language is a good idea.

因此设计一个浮点运算指令的编译器，将高级语言转换为低级的汇编语言就是一个很好的设想。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。