程序設計語言的定義及通常特徵

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⁺