3¡¢ÉÏÏÂÎÄÎÞ¹ØÓïÑÔÁ·Ï° ÏÂÔØ±¾ÎÄ

µÚ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