两个字符串相等的条件是如果两个字符串具有相同的长度并且相应位置具有相同的字符，则它们相等。形式理论1.设Σ为一个称为字母表的非空有限集。Σ的元素称为“符号”或“字符”。Σ上的字符串或单词是Σ中的任何有...
