数个零的字符串的集合（{ε, 1, 00, 11, 001, 010, 100, 111, 0000, 0011, 0101, 0110, 1001, 1010, 1100, 1111,…}）是在Σ上的形式语言。
串接和子串.“串接”（）是Σ*上的重要二元运算。对于Σ*中的两个字符串"s"和"t"，它们的串接被定义为在"s"中的字符序列之后跟随着"t"中的字符序列，并被指示为"st"。例如，Σ = {a, b,…, z}，并且"s" = bear且"t" = hug，则"st" =