1) language regulations
语言法规
1.
This article gives a description of language regulation,concerning with the social and historical background,and the process,significance and content of language regulations in Xinjiang.
本文试图描述新疆语言法规产生的社会历史背景、新老语言法规产生的过程,颁布语言法规的意义,以及语言法规的内容。
2) statement and language convention
说法与言语常规
3) rule of speaking
言语规则
4) specification language
规范语言
1.
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
2.
By specifying security protocols using Common Authentication Protocol Specification Language,then convert CAPSL specification into formal inputs for other analysis tools by connector.
提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也方便了安全协议分析者。
5) regular language
正规语言
1.
Several results on regular languages;
有关正规语言的几个结果
2.
The equivalence between standard properly end Petri net language and regular language was proved.
研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算""、选择(并)运算"+"、kleene闭包运算"+"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。
3.
A Petri net language L, which is produced by a bounded Petri net, has been proved to be a regular language.
已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言。
6) Rule language
规则语言
1.
In order to improve the flexibility of XML processing applications by separating the business rules from the application logic,this paper put forward a rule language based on XQuery,XML Schema,etc.
为了提高舭处理应用的柔性,把业务规则从应用逻辑中分离,提出了一个基于 XQuery、XMLSchema 等标准和规范的规则语言,用扩展巴科斯范式进行了描述,在此基础上,对此规则系统实现的各个部分分别作了描述,并用一个简单示例演示了此规则语言的一般用法。
补充资料：打假的法律、法规和法规性文件
打假的法律、法规和法规性文件
laws, rules and regulation documents against counterfeit
工作的决定》。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条