formula translator

formula translator的基本解释

-

公式转换器, 公式翻译程序, 计算机上的公式翻译语言

与formula translator相关的网络例句 [注：此内容来源于网络，仅供参考]

This thesis tries to introduce translator's subjectivity applied in the translation of english film titles with concrete examples from the following aspects: the importance of the translation of english film titles, the methods of the translation of english film titles, translator's purposiveness applied in the translation of english film titles, translator's autonomy applied in the translation of english film titles, translator's activity applied in the translation of english film titles and translator's creativity applied in the translation of english film titles.

因此本文试着从影视片名的重要性，影视片名翻译的标准和方法，译者的目的性在影视片名翻译中的应用，译者的自主性在影视片名翻译中的应用，译者的能动性在影视片名翻译中的应用和译者的创造性在影视片名翻译的应用等方面说明译者主体性在影视片名翻译中的应用。

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自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

The thesis, based mainly on the theory from Gadamer"s philosophical hermeneutics, first tries to list and correct the wrong opinions held on the translator for long, coming to the assumption that the process of translating is a dialogue between the translator and the text, and then attempts to probe into and clarify in detail the status and functions of the translator and his subjectivity in translation and to elaborate on the related aspects such as the restrictions on the translator"s subjectivity, the issue of retranslation, and the translators quality.

论文主要以伽达默尔哲学解释学为理论基础，力图更正长期以来对译者的一些错误看法并详细论述了其主体性作用，指出翻译是译者与文本之间的对话，其过程中译者承担了各种角色的功能。文章还论述了译者主体性的限制、复译和译者素养等方面的内容。

与formula translator相关的网络解释 [注：此内容来源于网络，仅供参考]

Arabic Translator：阿拉伯语翻译

葡萄牙语翻译 Portuguese Translator | 阿拉伯语翻译 Arabic Translator | 韩语翻译 Korean Translator

German Translator：德语翻译

日语翻译 Japanese Translator | 德语翻译 German Translator | 法语翻译 French Translator

German Translator：德语中文英语互译

日语中文英语互译 Japanese Translator | 德语中文英语互译 German Translator | 法语中文英语互译 French Translator