µÚ3Õ¡¢ÉÏÏÂÎÄÎÞ¹ØÓïÑÔϰÌâ½â´ð - Á·Ï°
3.1 »ØÒäÒ»ÏÂÀý3.3Öиø³öµÄCFG G4¡£Îª·½±ãÆð¼û£¬ÓÃÒ»¸ö×Öď֨ÐÂÃüÃûËüµÄ±äÔªÈçÏ£º
E¡úE£«T|T T¡úT¡ÁE|F F¡ú£¨E£©|a
¸ø³öÏÂÊö×Ö·û´®µÄÓï·¨·ÖÎöÊ÷ºÍÅÉÉú¡£ a.
a
b. a+a c.
a+a+a
d. ((a)) ´ð£º
a. b. c. d.
E?T?F?a
E?E?T?T?F?F?a?a?a
E?E?T?E?T?F?T?F?a?F?a?a?a?a?a E?T?F?(E)?(T)?(F)?((E))?((T))?((F))?((a))
3.2 a. ÀûÓÃÓïÑÔA={ambncn | m,n?0}ºÍB={anbncm | m,n?0}ÒÔ¼°Àý3.20(ÓïÑÔB={anbncn | n?0}²»ÊÇÉÏÏÂÎÄÎ޹صÄ)£¬Ö¤Ã÷ÉÏÏÂÎÄÎÞ¹ØÓïÑÔÔÚ½»µÄÔËËãϲ»·â±Õ¡£
b. ÀûÓÃ(a)ºÍDeMorganÂÉ(¶¨Àí1.10)£¬Ö¤Ã÷ÉÏÏÂÎÄÎÞ¹ØÓïÑÔÔÚ²¹ÔËËãϲ»·â±Õ¡£ Ö¤Ã÷£º
a.ÏÈ˵Ã÷A,B¾ùΪÉÏÏÂÎÄÎÞ¹ØÎÄ·¨£¬¶ÔA¹¹ÔìCFG C1
S?aS|T|? T?bTc|?
¶ÔB,¹¹ÔìCFG C2
S?Sc|R|? R?aRb |?
//Éú³Éanbn
//Éú³Ébncn
ÓÉ´ËÖª A,B¾ùΪÉÏÏÂÎÄÎÞ¹ØÓïÑÔ¡£
ÓÉÀý3.20, A¡ÉB={anbncn|n?0}£¨¼ÙÉèm¡Ün£©²»ÊÇÉÏÏÂÎÄÎÞ¹ØÓïÑÔ£¬ËùÒÔÉÏÏÂÎÄÎÞ¹ØÓïÑÔÔÚ½»µÄÔËËãϲ»·â±Õ¡£
1
b. Ó÷´Ö¤·¨¡£
¼ÙÉèCFLÔÚ²¹ÔËËãÏ·â±Õ£¬Ôò¶ÔÓÚ(a)ÖÐÉÏÏÂÎÄÎÞ¹ØÓïÑÔA,B£¬A,BҲΪCFL¡£ÒòΪCFL¶Ô²¢ÔËËã·â±Õ£¬ËùÒÔA?BҲΪCFL£¬½ø¶øÖªµÀA?BΪCFL¡£ÓÉDeMorgan¶¨ÂÉ
A?B?A?B£¬µÃ³öA?BÊÇCFL¡£
ÕâÓë(a)µÄ½áÂÛì¶Ü£¬ËùÒÔCFL¶Ô²¹ÔËËã²»·â±Õ¡£
3.3 ÉèÉÏÏÂÎÄÎÞ¹ØÎÄ·¨G£º
R¡úXRX|S S¡úaTb|bTa T¡úXTX|X|¦Å X¡úa|b
»Ø´ðÏÂÊöÎÊÌ⣺
a. GµÄ±äÔªºÍÖÕ½á·ûÊÇʲô£¿Æðʼ±äÔªÊÇÄĸö£¿
´ð£º±äÔªÊÇ£ºR£¬X£¬S£¬T£»Æðʼ±äÔªÊÇR¡£ÖÕ½á·ûÊÇ£ºa£¬b£¬¦Å b. ¸ø³öL(G)ÖеÄÈý¸ö×Ö·û´®¡£´ð£ºab£¬ba£¬aab¡£ c.
¸ø³ö²»ÔÚL(G)ÖеÄÈý¸ö×Ö·û´®¡£´ð£ºa£¬b£¬¦Å¡£
d. ÊÇÕæÊǼ٣ºT?aba¡£´ð£º¼Ù e. f.
ÊÇÕæÊǼ٣ºT?aba¡£´ð£ºÕæ ÊÇÕæÊǼ٣ºT?T¡£´ð£º¼Ù
**g. ÊÇÕæÊǼ٣ºT?T¡£´ð£º¼Ù h. ÊÇÕæÊǼ٣ºXXX?aba¡£´ð£ºÕæ i. j.
ÊÇÕæÊǼ٣ºX?aba¡£´ð£º¼Ù ÊÇÕæÊǼ٣ºT?XX¡£´ð£ºÕæ
****k. ÊÇÕæÊǼ٣ºT?XXX¡£´ð£ºÕæ l.
ÊÇÕæÊǼ٣ºX??¡£´ð£º¼Ù
*m. ÓÃÆÕͨµÄÓïÑÔÃèÊöL(G)£º
2
3.4ºÍ3.5 ¸ø³ö²úÉúÏÂÊöÓïÑÔµÄÉÏÏÂÎÄÎÞ¹ØÎÄ·¨ºÍPDA£¬ÆäÖÐ×Öĸ±í?={0,1}¡£
a. {w | wÖÁÉÙº¬ÓÐ3¸ö1}
S¡úA1A1A1A A¡ú0A|1A|?
¶ÁÊäÈëÖеķûºÅ¡£Ã¿¶ÁÒ»¸ö1£¬°ÑÒ»¸ö1ÍÆÈëÕ»£¬Ã¿¶Á1¸ö0£¬²»¶ÁÕ»Ò²²»Ð´Õ»¡£Í¬Ê±·ÇÈ·¶¨ÐÔµØ×ªÒÆ£¬²¢°Ñ1¸ö1µ¯³öÕ»¡£Èç¹ûÄÜ×ªÒÆÈý´Î£¬¹²µ¯³öÈý¸ö1£¬Ôò½ÓÊÜÕâ¸öÊäÈ룬²¢¼ÌÐø¶ÁÊäÈë·ûºÅÖ±ÖÁ½áÊø¡£·ñÔò¾Ü¾øÕâ¸öÊäÈë¡£
0, ??? 1, ??1 ?,1?? ?,1?? 0, ??? 1, ??? ?,1?? b. {w | wÒÔÏàͬµÄ·ûºÅ¿ªÊ¼ºÍ½áÊø£¬wµÄ³¤´óÓÚ1}
S¡ú0A0|1A1 A¡ú0A|1A|?
¶ÁÊäÈëÖеĵÚÒ»¸ö·ûºÅ²¢½«ÆäÍÆÈëÕ»¡£¼ÌÐø¶ÁºóÃæµÄ·ûºÅ£¬Í¬Ê±·ÇÈ·¶¨ÐԵزÂÏëÊäÈë·ûºÅºÍÕ»·ûºÅÊÇ·ñÏàͬ£¬Èç¹ûÏàͬÔò×ªÒÆµ½½ÓÊÜ״̬£¬Èç¹û´ËʱÊäÈë½áÊø£¬Ôò½ÓÊÜÕâ¸öÊäÈ룬·ñÔò¼ÌÐøÊäÈë¡£
c. {w | wµÄ³¤¶ÈÎªÆæÊý}
S¡úASA|0|1 A¡ú0|1
¶ÁÊäÈëÖеÄ1¸ö·ûºÅ£¬×ªÒƵ½½ÓÊÜ״̬£¬ÔÙ¶ÁÒ»¸ö·ûºÅ£¬×ªÒƵ½·Ç½ÓÊÜ״̬£¬Èç´ËÑ»·¡£¿É¼û½ÓÊܳ¤¶ÈÎªÆæÊýµÄ×Ö·û´®¡£
0,???
1,??? 0,??0 0,0?? 1,??1 1,1?? 0,???
1,??? 0,??? 1,???
d. {w | wµÄ³¤¶ÈÎªÆæÊýÇÒÕýÖмäµÄ·ûºÅΪ0}
S¡úASA|0
3
A¡ú0|1
¶ÁÊäÈëÖеÄ1¸ö·ûºÅ£¬ÍÆÈë1¸ö0 ¡£Ã¿µ±¶Áµ½0ʱ¾Í·ÇÈ·¶¨ÐԵزÂÏëÒѾµ½´ï×Ö·û´®µÄÖе㣬Ȼºó±ä³É¶ÁÊäÈëÖеÄ1¸ö·ûºÅ£¬¾Í°ÑÕ»ÖеÄ0µ¯³ö¡£µ±ÊäÈë½áÊøµÄͬʱջ±»Åſգ¬Ôò½ÓÊÜ£¬·ñÔò¾Ü¾ø¡£
e. {w | wÖÐ1±È0¶à}
´ð£ºS¡úT1T | T1S
Èç¹ûÊäÈë0ʱ£¬Õ»¶¥ÔªËØÊÇ1£¬Ôòµ¯³ö1£»·ñÔò½«0ÍÆÈë¶ÑÕ»¡£ Èç¹ûÊäÈë1ʱ£¬Õ»¶¥ÔªËØÊÇ0£¬Ôòµ¯³ö0£»·ñÔò½«1ÍÆÈë¶ÑÕ»¡£
·ÇÈ·¶¨µØ²ÂÏëÕ»¶¥ÔªËØÊÇ1£¬ÇÒÕ»Öж¼ÊÇ1£¬Èç¹ûÊÇ£¬Ôò½ÓÊÜ£»·ñÔò¾Ü¾ø¡£ f. {w | w=wR£¬¼´wÊÇÒ»¸ö»ØÎÄ£¬»ØÎÄÊÇ˳¶ÁºÍµ¹¶Á¶¼Ò»ÑùµÄ×Ö·û´®}
S¡ú0S0|1S1|1|0|¦Å
// T1T¿ÉÒÔ²úÉú1±È0¶à1¸öµÄËùÓÐ×Ö·û´®¡£ // T1S¿ÉÒÔ²úÉú1±È0¶à2¸öÒÔÉϵÄËùÓÐ×Ö·û´®¡£ // T¿ÉÒÔ²úÉú0ºÍ1ÊýÄ¿ÏàµÈµÄËùÓÐ×Ö·û´®¡£
0,??0 1,??0 ?,??$ 0,0?? 1,0?? ?,$?? 0,??? T¡ú0T1T | 1T0T | ¦Å
0,1?? 0,??0 1,0?? 1,??1 ?,??$ ?,1?? ?,$?? ?,1?? 0,??0 0,0?? 1,??1 1,1?? 1,??? ?,??$ 0,??? ?,$?? ?,??? Èç¹ûWÊÇ»ØÎÄ£¬ÄÇôËüµÄÖеãÓÐÈýÖÖ¿ÉÄÜ£º 1) ×Ö·û¸öÊýÊÇÆæÊý£¬ÖеãµÄ×Ö·ûÊÇ1¡£ 2) ×Ö·û¸öÊýÊÇÆæÊý£¬ÖеãµÄ×Ö·ûÊÇ0¡£ 3) ×Ö·û¸öÊýÊÇżÊý£¬ÖеãµÄ×Ö·ûÊÇ?¡£
¿ªÊ¼Ê±£¬°Ñ¶Áµ½µÄ×Ö·ûÍÆÈëÕ»ÖУ¬ÔÚÿһ²½·ÇÈ·¶¨ÐԵزÂÏëÒѾµ½´ï×Ö·û´®µÄÖе㡣Ȼºó±ä³É°Ñ¶Áµ½µÄÿһ¸ö×Ö·ûµ¯³öÕ»£¬¼ì²éÔÚÊäÈëÖкÍÔÚÕ»¶¥¶Áµ½µÄ×Ö·ûÊÇ·ñÒ»Ñù¡£
4