1.程序语言的定义

　　程序设计语言是一个记号系统。记号系统有两个特征：

　　语法：语言的一组规则，用来形成和产生程序

　　语义：语言的意思，用来表示程序的逻辑关系

2.语法相关的一些定义

　　字母表：元素的非空有限集，记为∑。例如：∑={a,b}

　　符号：字母表中的元素称之为符号

　　符号串：符号的有穷序列，例如：a,aa,aaa,ac,aaccc,..,无任何符号的符号串称为空符号串，记为ε

　　符号串长度：符号串中符号个数,若有x=sss,则x的长度为|x|=3，|ε|=;

　　符号串连接：若x、y是定义在∑上的符号串，则称xy为x和y的连接，xy也是∑上符号串，εx=x=xε;

　　符号串集合的正闭包：A⁺=A¹∪A²∪A³∪...∪Aⁿ...

　　符号串集合的自反闭包：A^*={ε}∪A⁺

程序设计语言的定义及一般特征