形式语言与自动化理论-第一章20160919题稿.ppt

1.4.3 基本概念 * * 上述几个语言的部分特点及相互关系 上述所有语言都是L4的子集(子语言)； L1，L2是有穷语言；其他为无穷语言；其中L1是∑上的所有长度为1的句子组成的语言，L2是∑上的所有长度为2的句子组成的语言； L3，L4分别是∑的正闭包和克林闭包； L5L7≠L6，但L5L7= L8；同样L9≠L10，但是我们有：L6?L5L7，L9?L10。 1.4.3 基本概念 * * L6={0n1n|n≥1}中的句子中的0和1的个数是相同的，并且所有的0在所有的1的前面，L11={x|x∈∑+且x中0和1的个数相同}中的句子中虽然保持着0的个数和1的个数相等，但它并没要求所有的0在所有的1的前面。例如，0101，1100∈L11，但是0101? L6，1100?L6。而对?x∈L6，有x∈L11。所以，L6 ?L11。 1.4.3 基本概念 * * L1?L12，L2?L12 L5?L12，L6?L12 L7?L12， L8?L12 L9?L12， L10?L12 L1?L10， L2?L10 L5?L10， L6?L10 L7?L10， L8?L10 L9?L10， L10?L12 1.4.3 基本概念 * * 例 ⑴ {x|x=xT，x∈∑}。 ⑵ {xxT|x∈∑+}。 ⑶ {xxT|x∈∑*}。 ⑷ {xwxT|x，w∈∑+}。 ⑸ {xxTw|x，w∈