1.程序语言的定义
程序设计语言是一个记号系统。记号系统有两个特征:
语法:语言的一组规则,用来形成和产生程序
语义:语言的意思,用来表示程序的逻辑关系
2.语法相关的一些定义
字母表:元素的非空有限集,记为∑。例如:∑={a,b}
符号:字母表中的元素称之为符号
符号串:符号的有穷序列,例如:a,aa,aaa,ac,aaccc,..,无任何符号的符号串称为空符号串,记为ε
符号串长度:符号串中符号个数,若有x=sss,则x的长度为|x|=3,|ε|=;
符号串连接:若x、y是定义在∑上的符号串,则称xy为x和y的连接,xy也是∑上符号串,εx=x=xε;
符号串集合的正闭包:A+=A1∪A2∪A3∪...∪An...
符号串集合的自反闭包:A*={ε}∪A+