2) tally set
单元素语言
1.
This article discusses the Polynomial-time Hierarchy relative to tally sets.
通过讨论相对于单元素语言的多项式时间谱系,得到了∏iP(A)ΔjP的一个充分条件,进而研究了多项式时间谱系中的类∑jP内的单元素语言T与计算复杂性理论中的重要相对化语言类CO-NP(T)、P(NP)、∑i-1P(T)、ΔjP、NP(T)、NP等之间的联系。
3) meta-metalanguage
元元语言
4) Simple PROMELA Interpreter(SPIN)
简单进程元语言解释器
1.
Model Checking is an efficient automatic technique for the improvement of system s reliability,and this paper is a research into how to check UML model through the Simple PROMELA Interpreter(SPIN)model-checker.
研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。
5) cell space simulation
单元空间模拟语言
6) Meta-language
元语言
1.
Studies on the Syntactic and Semantic Rules of Explanational Meta-language of Co-ordinate Adjectives in Modern Chinese Dictionary;
《现代汉语词典》联合型形容词释义元语言的句法语义规则研究
2.
The natural language essentially is a self meta-language, therefore, traditionally it always is compilation tool in the dictionary.
自然语言本质上是一种自元语言,传统上它一直是词典释义的元语言工具。
3.
This thesis takes "Meta-language" as a starting point, combing the origin of meta-language and the language evolution, thus exploring the level of language through meta-language stratum.
从对象语言与元语言意义上来研究语言层次开始于现代逻辑哲学,这一研究在语言学的科学理论发展中也扮演着极其重要的角色。
补充资料：装箱单、重量单、尺码单
装箱单、重量单、尺码单
[装箱单、皿t单、尺码单1装箱单(Pack-ing Ust)是说明货物包装情况的单据，包括包装材料、包装方式，以及详细的包装内容，如花色、规格搭配等。进口地海关主要依据装箱单对某一特定内容的包装内容进行检查，也是进口商核对货物的依据。装箱单的内容有:单据名称、卖方名称、唆头、件数、规格、数量、毛净重、签字等。 重量单(Weight ust)是由卖方或第三者提供的，表明货物重量的单据。一般包括皮、毛、净重。它必须和其他单据上所表示的货物重量一致。 尺码单就不详细介绍了。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条