形式语言与自动机理论第一章计算理论导引.pdf

OŽnØ Ú Ìù: ƒf 8¹ êÆý£ 111˜˜˜ÙÙÙ ÚL« n‡ÄVg ‘§ SN{0 OOOŽŽŽnnnØØØ ÚÚÚ ES I[­:¢ ¿ 8¹ OŽnØ Ú Ìù: ƒf 8¹ êÆý£ ÚL« 1 ê Æý£ÚL« n‡ÄVg ‘§ SN{0 2 n‡ÄVg 3 ‘§ SN{0 8Ü(set) OŽnØ Ú Ìù: ƒf 8¹ 8Ü ¯ƒ |Ü §Ø ¤ ]‚ êÆý£ ÚL« X§ÃÙ§( n‡ÄVg ‘§ SN{0 ^x ∈ SL « ƒx´ 8ÜS ¤ § ^x ∈/ SL « ƒxØ´ 8ÜS ¥¤ 8Ü3 Œ) Ò ¥ ѧƒ § XS = {0, 1, 2} 8Ü $Ž OŽnØ Ú Ìù: ƒf 8¹ ¿(union)µ êÆý£ ÚL« S ∪ S = {x : x ∈ S ½ö x ∈ S }¶ 1 2 1 2 n‡ÄVg ‘§ SN{0 (intersection)µ S ∩ S = {x : x ∈ S ¿… x ∈ S }¶ 1 2 1 2 (difference)µ S − S = {x : x ∈ S ¿… x ∈/ S } 1 2 1 2 8Ü Ö(complementation) OŽnØ Ú Ìù: ƒf 8¹ êÆý£ 8ÜS Ö 8L «S §§ ¹ ¤k Ø ÚL« n‡ÄVg 38ÜS ¥ƒ ‘§ SN{0 ·‚½Â8(universal set) U §3‰½  8U œ¹e §kÖ8S = {x : x ∈ U ¿… x ∈/ S} ˜8(empty set, null set) OŽnØ Ú Ìù: ƒf 8¹ êÆý£ vkƒ8Ü¡˜8§L«∅ ÚL« n‡ÄVg ‘§ SN{0 S ∪ ∅ = S − ∅ = S §S ∩ ∅ = ∅ § ∅ = U § S = S Š½Æ(DeMorgan’s Laws)µ S ∪ S = S ∩ S §S ∩ S = S ∪ S 1 2 1 2 1 2 1 2 ˜8(empty set, null set) OŽnØ Ú Ìù: ƒf 8¹ êÆý£ vkƒ8Ü¡˜8§L«∅ ÚL« n‡ÄVg ‘§ SN{0 S ∪ ∅ = S − ∅ = S §S