补充资料：对象语言

对象语言
object language

　　对象语言ld椒th呢脚罗;uPe卿T.‘幻.] 作为研究对象的语言.对一种有意义的理论形式化时要区分两种语言.一种是使理论得以形式化的语言，即对象语言.它由表示式的构成法则和语义法则给出，语义法则规定表示式的含义以及表示式怎样说明推理.另一种是用来说明上述这些语义和语法所用的语言.这个语言称为元语言.通常元语言不是形式化的语言.然而它也能被形式化，随之变成对象语言，要对它进行研究就需要一种新的元语言.
　　

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