1.语言
某一特定字母表上的符号串组成的集合,分为自然语言和形式语言。
程序设计语言是一种符号语言,具有一般形式语言的共同特征。
1.1子母表
字母表是有穷非空的符号集合,用∑表示,字母表上的一个元素成为符号。
1.2符号串
字母表∑上的符号串是指由∑上的符号构成的一个有穷序列。
(1)不包括任何符号的序列称为空字ε
(2)符号串中的符号是有序的,ab和ba是不同的符号串
2.符号串的运算
2.1连接(积)
设a和b是同一字符表上的两个字符串,把b的各个符号相继写在a符号之后得到的符号串称为a和b的链接记为ab。
2.2方幂(n次连接)
设α是字母表上的一个字符串,把a自身链接n次,即γ=α α α…α(n个α),称为符号α的n次方幂,记为:γ=αn
当n=0时α0=ε
3.符号串集合及运算
若集合U中的所有元素都是某字母表∑上的符号串,则称U为该字母表∑上的符号串集合字母表∑中所有符号串集合用∑*表示。
不含任何元素的空集合{ }用∅表示
∑={a,b}
∑*={ε,a,b,aa,ab,ba,bb,...}