The eighth letter of the modern English alphabet.

Modern English; New Hebrew is Israeli Hebrew.

现代英语; 现代希伯来语是以色列希伯来语.

News advertisement English is the important component of modern English.

新闻广告英语是现代英语的重要组成部分.

Because of this, Modern English includes many Latin and Greek words.

由于这个原因, 近代英语中包含了许多拉丁词汇和希腊词汇.

This is the biggest difference between Old and Modern English.

这是古代英语和现代英语最大的不同.

I'm writing a grammar of modern English.

我在写现代英语的语法书.

A Did you take her round all the tourist sights?

A你领她转了所有的旅游景点了 吗 ?

A And it's easy for all the tourist sights.

A从那里去所有的旅游景点都很容易.

Could you tell me some places of historical interest in Nanjing?

您能告诉我南京的一些旅游景点 吗 ?

This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.

本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。

Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference

假言+选言推理的逻辑构造、判定和使用

The concept of algorithm is also used to define the notion of decidability.

算法的概念，也用来界定概念的决定性。

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

The Decidability of Proof Method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

Decidability of Propositional Projection Temporal Logic

命题投影时序逻辑的可判定性

Epistemic logic ( 4): on the Decidability of epistemic logic

认识逻辑（4）：关于认识逻辑的可判定性

The Decidability of Regular Problems for Monoids Presented by Church-Rosser Systems

Church-Rosser系统表现&么半群中正则问题的可判定性

Description of parallel algorithms by FP and Decidability of its systolic implementation

并行算法的FP描述及其脉动化的判定

The Decidability and Complexity for Theories of Modules on Finitely PI Rings

有限可换主理想环上模理论可判定性及其复杂性

It was not the determinism of physics, or chemistry, or of biological cells, that was involved in Hilbert's question about decidability.

希尔伯特的可判定性问题，并不是指物理、化学，或生物细胞的决定论。

The decidability of the model is proven and a decidability algorithm is presented.

证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。