串的定义

定义：由零个或多个字符组成的有限序列。

记为：S = '$a_1a_2...a_n$' ($n \geq 1$)