特性

在形式语言中，空字串有以下特性：

|λ λ -->|=0{\displaystyle |\lambda \,|=0}。字串长度为 0 。

λ λ -->+s=s+λ λ -->=s{\displaystyle \lambda \,+s=s+\lambda \串接s}。在串接运算之下，空字串是自由在Σ上之自由么半群的单位元素。

λ λ -->R=λ λ -->{\displaystyle {\lambda \,}^{R}=\lambda \,}。空字串的反元素为空字串。

空字串位于字典顺序中的最优先。

编程语言可能会维持这些特性，但保留特殊实作方式的可能。

表示方式

空字串通常使用和其它一般字串相同的方式来表示。在使用结束字符的语言(如C字串或纯文字的一行)中，则单统地将结束字符放在第一个位置。

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。