任何高级语言程序都可以看成一个特定字母表上的一个字符串(有穷序列)。
1.语法:就是指上面字母表的规则,用它可以形成和产生一个合法的程序。
词法规则:是指单词符号的形成规则(一般包括标识符、常量、保留字、界符、算符等类型)。
语法规则:就是使用单词符号构成更大的结构。一般高级语言的语法单位有:表达式、语法、函数、程序等。
字母表:元素的非空有穷集合,习惯上用
∑
和大写字母表示。
2.符号串的正闭包
A是符号串集合,则A+称为符号串集合A的正闭包
A+ = A+=A1∪A2∪A3 …∪An…
(和星闭包的区别就是没有空串)
符号串集合的的星闭包