，它们的串接被定义为在"s"中的字符序列之后跟随着"t"中的字符序列，并被指示为"st"。例如，Σ = {a, b,…, z}，并且"s" = bear且"t" = hug，则"st" = bearhug而"ts" = hugbear。字符串串接是结合性的，但非交换性运算。空串充当单位元；对于任何字符串"s"，有ε"s" = "s"ε = "s"。所以，集合Σ*和串接运算形成了幺半群，就是从Σ生成的自由幺半群。此外，长度函数定义了一个从Σ*到非负整数的幺半群同态。字符串"s"被称为是字符串"t"的“