抽象语法标记语言1,ASN.1,在线英语词典,英文翻译,专业英语

1) ASN.1

抽象语法标记语言1

2) Abstract

抽象

Abstraction -Certainly Process for Mathematics;

抽象——数学发展的必然

Abstract Technology of UML Sequence Diagram in Reverse Engineering;

逆向工程中的UML序列图抽象技术

Expressway Network Tolling System and 4+1 Abstract Modeling Structure;

高速公路联网收费软件系统及4+1抽象建模结构

3) Abstraction

抽象

Total Abstraction of the Quality Behavior──On “Virtue”, which is proposed by Confucius;

品质行为的总抽象──释《论语》中的“德”

4) abstraction levels and dimensions

抽象层与抽象维

5) abstract sculpture

抽象造型

6) timing abstraction 

时间抽象

参考词条

抽象艺术抽象解释抽象图解二层抽象抽象图形图形抽象抽象名词抽象适应抽象构件抽象因素抽象图案特征抽象抽象秩序药物阴阳分类法杂散频偏

补充资料：语法语言

语法语言
syntactic language

　　语法语言[synta改.1替.ase;e“盯眠c“tlecKH一”3uK] 一种用来研究形式语言而不考虑其解释的语言.数理逻辑中语法语言概念的产生是与研究和形式化有内容的数学理论的问题相联系的.形式化某一理论得到的一个形式系统(forn祖1 system)，这个形式系统可以看成是独立的研究对象，而不管它的来源如何.语法语言就是用这种观点来研究形式系统的. 语法语言是用来描述形式系统的语言，即它的初始符号、项、公式等，用来定义形式系统的推演概念，用公式表述和证明形式系统的定理.因此，一个形式系统同两种语言有关:一种是形式系统自身被研究的语言(对象语言(。坛ect hllgUage))，另一种是研究形式系统的语言(语法语言(syntactic language)或元语一言(meta一langUage)). 一个语法语言必须含有对象语言的符号和公式的名称，还必须含有取值为这些符号和公式的变元.对象语言的符号和公式在语法语言中作为它们的固有名称出现(即这些名称表示这些符号和公式本身).通常，语法语言不一定包含语言手段来处理作为独立对象的无穷集.为强调这一点，在提到给定形式系统的基本语法(e】。nent娜syniax)时，还要对照理论语法(theore玩al synlax)，在理论语法中假设任意构词都能研究.理论语法的语言也称为元语言(联ta一hllgLI-age).表示得十分仔细的语法语言也可以形式化而成为对象语言.许多足够强的形式系统可以用作为其自身的基本语法语言的形式化.关于形式系统的G议】el不完全性定理(G记el incompleteness theorern)就是基于这一事实得到证明的. 在理论语法的语言中，可以考虑给定形式系统的模型，可以在这些模型中确定该形式系统的真假值.初等算术的理论语法的形式语言的一个例子，就是二l汾算术语言.
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引抽象思维抽象性抽象概括抽象直观状态抽象抽象机器

1) ASN.1 抽象语法标记语言1 2) Abstract 抽象 1. Abstraction -Certainly Process for Mathematics; 抽象——数学发展的必然 2. Abstract Technology of UML Sequence Diagram in Reverse Engineering; 逆向工程中的UML序列图抽象技术 3. Expressway Network Tolling System and 4+1 Abstract Modeling Structure; 高速公路联网收费软件系统及4+1抽象建模结构 3) Abstraction 抽象 1. Total Abstraction of the Quality Behavior──On “Virtue”, which is proposed by Confucius; 品质行为的总抽象──释《论语》中的“德” 4) abstraction levels and dimensions 抽象层与抽象维 5) abstract sculpture 抽象造型 6) timing abstraction  时间抽象参考词条抽象艺术抽象解释抽象图解二层抽象抽象图形图形抽象抽象名词抽象适应抽象构件抽象因素抽象图案特征抽象抽象秩序药物阴阳分类法杂散频偏补充资料：语法语言语法语言 syntactic language 　　语法语言[synta改.1替.ase;e“盯眠c“tlecKH一”3uK] 一种用来研究形式语言而不考虑其解释的语言.数理逻辑中语法语言概念的产生是与研究和形式化有内容的数学理论的问题相联系的.形式化某一理论得到的一个形式系统(forn祖1 system)，这个形式系统可以看成是独立的研究对象，而不管它的来源如何.语法语言就是用这种观点来研究形式系统的. 语法语言是用来描述形式系统的语言，即它的初始符号、项、公式等，用来定义形式系统的推演概念，用公式表述和证明形式系统的定理.因此，一个形式系统同两种语言有关:一种是形式系统自身被研究的语言(对象语言(。坛ect hllgUage))，另一种是研究形式系统的语言(语法语言(syntactic language)或元语一言(meta一langUage)). 一个语法语言必须含有对象语言的符号和公式的名称，还必须含有取值为这些符号和公式的变元.对象语言的符号和公式在语法语言中作为它们的固有名称出现(即这些名称表示这些符号和公式本身).通常，语法语言不一定包含语言手段来处理作为独立对象的无穷集.为强调这一点，在提到给定形式系统的基本语法(e】。nent娜syniax)时，还要对照理论语法(theore玩al synlax)，在理论语法中假设任意构词都能研究.理论语法的语言也称为元语言(联ta一hllgLI-age).表示得十分仔细的语法语言也可以形式化而成为对象语言.许多足够强的形式系统可以用作为其自身的基本语法语言的形式化.关于形式系统的G议】el不完全性定理(G记el incompleteness theorern)就是基于这一事实得到证明的. 在理论语法的语言中，可以考虑给定形式系统的模型，可以在这些模型中确定该形式系统的真假值.初等算术的理论语法的形式语言的一个例子，就是二l汾算术语言. 　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com