为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。
In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
语法结构只会偶尔影响（逻辑）清晰度或上下文概念的链接。
Grammatical structures do not result in anything more than an occasional lapse of clarity or in the connection of ideas.
通常，更改语法和更改应用程序逻辑是不同种类的任务；这些文件反映了这一点。
Changing the grammar is usually a different sort of task than changing the application logic; and the files reflect this.
相反，连接和集成逻辑仅修改与实现必要的互连相关联的语法。
Conversely, connectivity and integration logic only modifies syntax associated with achieving the necessary interconnectivity.
我们到目前为止所进行的全部工作都是对表达式的语法进行验证，而不是验证逻辑。
All we've done so far is validate the syntax, not the logic, of the expression.
我为上了大学英语专业而没有学到一点逻辑或者语法而感到尴尬，因为时间都用来学习“文化多元主义”相关课程了。
I used to be embarrassed to admit that I learned nearly everything I learned about grammar and logic outside of the college classroom.
也就是说，分块工作的进行，或者基于语法成分的已有标志，或者基于 您手工添加的或者使用正则表达式和程序逻辑半自动生成的标志。
That is, chunking is based either on existing markup of grammatical components, or is something you add manually -- or semi-automatically using regular expressions and program logic.
再读两遍：马虎留下的拼写错误，语法错误，怪异的语言，或者模糊不清的逻辑只会让你的文章给人留下不良的印象。
Proofread Two More Times: Careless spelling or grammatical errors, awkward language, or fuzzy logic will make your essay memorable-in a bad way.
只有语法检查通过之后，才能确认XML文档格式良好并可以解析文档的逻辑结构。
Only after syntax checking is passed, can an XML document be confirmed as well formed and can the logical structure of the document be parsed.
fail使得Perl6语法规则可以因为逻辑条件而失败。
Fail lets Perl 6 grammar rules fail because of a logical condition.
通过@AspectJ语法，特定于框架的注解存在于切面中，而不是业务逻辑中。
With @AspectJ syntax, framework-specific annotations are in the aspects, not business logic.
（语句 1）&&（语句 2）这种逻辑快捷表示是一种常见的Perl 习惯语法。
The logical shortcut of (statement1) && (statement2) is a common Perl idiom.
最严重类型的编程错误是程序在语法上正确但无论如何却导致错误结果的产生或者根本无法产生结果。 这种因为逻辑错误无法正确解决问题的错误类型，称为Bug。
The most serious type of programming error is one that is syntactically correct but that
“语法性别”在语言中是一个不合逻辑的、不必要的存在。
Grammatical gender is not a logical necessity in a language.
这些特殊的翻译标记不仅向XML结构提供了逻辑组织，而且允许围绕xml语法分析器构建应用程序，以理解如何处理全球化数据。
These special translation tags not only lend a logical organization to the XML structure, they also allow an application built around an XML parser to understand how to process the globalized data.
逻辑上，每个规则表达式都等价于一个状态机，而每个规则表达式的语法分析器都实现这个状态机。
Every regular expression is logically equivalent to a state machine, and the parser of every regular expression implements a state machine.
分层方法在应用程序逻辑和语法分析之间建立一个明显的分界。
The layered approach establishes a clean-cut separation between the application logic and the parsing.
我们问所有的孩子一个存在逻辑错误的句子——“苹果长在鼻子上”是否存在语法错误。
We asked all the children if a certain illogical sentence was grammatically correct: "Apples grow on noses."
当一个应用系统开发完交付的那一刻起，其正常的业务交互逻辑或语法就已经固化下来，我们称之为模态化。
When the end of an application system is delivered, the normal business interaction logic or syntax has been solidified, which we call the model.
该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法。
In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.
语篇的联结手段是语篇分析中的一个重要环节。联结的方式多种多样，主要有：语法手段、词汇衔接、逻辑联系语及语用上与语义上的意涵等。
Connectivity is an important part of discourse analysis. There are many kinds of connectivity, such as grammatical device, lexical cohesion, logical implication and so on.
语法的本质实际上就是语言习惯与语义逻辑之间的整合。
In essence grammar is the integration of language habits and the logic of semantics.
用于计算编程的语言必须具有简单的逻辑结构，而且它们的语法、写和标点符号的规则必须精确。
The languages used to program computers must have simple logical structures, and the rules for their grammar, spelling, and punctuation must be precise.
本文从语言与思维的关系出发，讨论了语言中关于语法之“理”与逻辑之“理”的一些问题。
This paper starts from the relationship between language and thinking, discusses some problems about the laws of grammar and the laws of logic in language phenomena.
它在超越语法逻辑规则的同时顺应了美学的基本要求，使它成为超越普通语言的艺术语言。
While it surpasses the grammar and logic rules, it keeps the basic aesthetic requirements, which makes it be an art language over the normal language.
最后展望并总结了自然语言逻辑自蒙太格语法之后的一系列重要理论。
Finally looked forward to and summarized a series of important theories of natural language logic after Montague Grammar.
最后展望并总结了自然语言逻辑自蒙太格语法之后的一系列重要理论。
Finally looked forward to and summarized a series of important theories of natural language logic after Montague Grammar.
应用推荐