北邮形式语言与自动机2025版第一章绪论

这是一篇关于北邮形式语言与自动机2025版第一章绪论的思维导图，包含字母表的乘积、字母表的闭包、句子(串)、语言L等。

第一章、绪论

• 语言
  • 字母表∑
    • 性质
      • 非空性
      • 又穷性
    • 子主题
  • 字母表的乘积
    • 不具有可交换性
  • 字母表的闭包
    • n次幂
    • 正闭包
    • 克林闭包
  • 句子（串）
    • 字符的出现
    • 句子的长度|x|
    • 句子的连接（并置）
      • ∑*上的并置运算性质
        • 结合律
        • 左、右消去律
        • 惟一分解性
        • 单位元素
    • 前缀与后缀
      • 对于任意非空字符串，ε是其真前缀，也是真后缀
  • 语言L
    • 语言的乘积——语言
      • 不具有交换律
    • 语言的闭包
      • 幂
      • 正闭包
      • 克林闭包
    • 证明两个语言是否相等
      • 闭包的处理——展开
    • 给出语言的形式化表示∑={0,1}