¡(`§!$£0)132 4 5 687@9BADCFEGCI HPERQS9UTVE@CI WXEGA

¡(`§!$£0)132 4 5 687@9BADCFEGCI HPERQS9UTVE@CI WXEGA

 !
" # $&%('*),+.-/+102-435'768-(+19:-/)<;/0 =>)-/=?-/+,@<-(+A=B;C)<;D-FEG-HIEG'7$J@<-F3>'
;/68K/-()<$J@L0M-5N
O P RGQ S(TVU&WVRX/Y[ZT(\]U&WC^`_baR*\]U&RcWcdeYgfhXiRkj RGQ SCTVU8WVRlX/YmZT(\]U&WC^n
O P RGQ S(TVU&WVR*fhX/Ym\oY<^pUqfrd]\]R*X/sc\oYLfmtvuxwy P2z|{ n
O }/~€ƒ‚„]…C‚†…ˆ‡ X/Y‰‹ŠCT(\ŒŠn
O  TVW?ŒcŽ s7 Ygf‘iR*\ŒLU&RcUqf\oYgŒLT(\f]U„’7RGf‘X/Y“1s•” X/Y—– ~™˜ –qY<Y—WCYcn
O P RGQ S(TVU&WVR*fhX/Ymš›s•frd‘Y P R*\œ*s’ŸžJžJž
" -43>-/+A'G+.+.'G+[02-435'768-(+A+7;C¡ -¢'G£¥¤>$&%C;/68'7H(@<'G+7¦§$8+,@<- '(¨ ¦53>'ƒ©›HI'70 ;D02'G+g0¢;
E76ª;C+.+.'k3>'`9«¤>H­E(¬ -/¡ 'G+[E*-V02=B¤4@®;¯¨ %/'7$8+7°
" ±|@'`¨ ²I-C³]'(¦?H;¯¡ -´9µ-$-(¶@g$83B;FH'7H>²i¤50D;¢9«¤>H­E(¬ ;C¡ -·$ªH(@L¤>$J@L$&%C;/0M'7H/@<'
EG-02=B¤4@®;¯¨ %('c6¸£¥¤I'¹H;C¡ -´+.'º³,;¢EG-0M=B¤¥@§;¯¨ %/'76¸=?-/)A£¥¤>;/68£¥¤'G)[3>'G+.+.'*+
9µ-/).0¢;/6ª$&+g02-/+7°
" »G»*»
" ¼½+.+g;C+¾'G%I$83'7¿ HIEc$À;C+l6&'G%C;¯)<;/0 ;FÁ ÂhÃiÄGÃÆÅÇà È2ÉÊÌËcÍCÉÎ<Â!ÊÌËpϵÐÑÇN
Ò ¢0 ;¢9v¤>H‹E(¬ ;C¡ - 'Ó¨ EG-02=B¤4@®;¯¨ %('76Ì+.'(¦B'+.-02'7H(@<'+.'(¦
'`¨ EG-0M=§¤4@®;p¨ %/'76=?-/)1¤>0¢;ÕÔ ;¯¨ £I¤>$ªH>;¢3>'¹ ǤI)<$ªHIK
Ö
[× Ø Ó
Ù Û Ú Ü, " ±b=?'G+g;C)¾35-FK()<;/HI3>'=?-435'G)A3>'E*-V02=B¤4@L;›E(¬ ;C¡ -´3>'¹¤>0D;ÕÔ ;C¨ £¥¤5$ÀH5;¢3>'
­¤I)<$ÀHKDÝ|0¢;/$&-/)A3>-F£I¤I'35'£I¤>;/6&£I¤I'G)[E*-V02=B¤4@L;C3>-/)A)'7;/6›Ýx'Þ>$8+,@.'c0
=>)-/¶B68'70¢;C+m£¥¤I'¹H;C¡ -F+7;C¡ -F ­¤I)<$ªHIK¯ÝrEG-0M=§¤4@®;p¨ %/'7$8+7°
" ß-/K/-5¦>35';CEG-/)3>-´EG-0 ;F Ì'G+.'3>'2à!²4¤I)E—²i݁ ­¤I)<$ªHIK5¦B@L;/$&+m=5),-/¶B68'70¢;C+
H;C¡ -F+7;C¡ -´+.-6•¥¨¤ %('c$&+m=?-/)[02'7$8-Õ3>'`¤50 ;(68K/-/)<$q@L02- °
" ál¤5;($8+m+7;C¡ -´-/+b6ª$À0¢$J@<'G+[3>'G+.+g;DEG-02=B¤4@L;C¶B$ª6ª$&3§;¯35' â
Ò 0 Ec;(0¢$ªH>²I- '`¨ 'Þ¥=§6&-/)<;C)ã«3>'702-VH+,@.)<;›E(¬ -/¡ 'G+—äx-/+b6ª$À0¢$J@<'G+[3>'£¥¤I'
EG'*)]@<-/+[=>)-/¶B68'70¢;C+m=?-43>'c0 +.'*)m),'*+.-V6&%$&35-(+1;/68K/-/).$J@L0¢$&Ec;(02'7H/@.''
-¤4@<)-/+m£¥¤I'¹H;C¡ -F=?-435'70å°
" ¼½+,@L;(02-/+A9v;/0¢$À6ª$ª;C)<$&æc;¯35-(+AEG-0 ;¢+.-6ª¤IE7$8-H>;C¶B$ª6ª$&3§;¯35'k3>-/+
;/68K/-()<$J@L0M-/+A=?-/)£¥¤I'0`¤5$q@<-Õ3§;¢E7$«'7¿ HIE7$ª;¢3>-/+[EG-02=B¤4@L;C3>-/)'G+' ¨
%/-6q@L;C3B;¢=B;C)<;´;¢)'G+.-6À¤‹E(¬ ;C¡ -¢35'=>)-/¶B68'70¢;C+7°
" çÇ-/)£¥¤I'3>'ƒ%/'70M-/+b'G+,@L¤I3B;C)m'G+.+g;D£¥¤I'*+,@7;C¡ -4âèçÇ-/),£I¤'¹¿ ²Û;F¨ ;
$ªHI+.-6ª¤I¶B$ª6ª$83B;C3>'k3>'`EG'G)º@<-/+[=>)-/¶B68'70D;C+7» Ò 0¢;¢+g¤I)=>)'G+g;¦5'7H(@c;C¡ @<'702-/+[=>)-/¶B68'70D;C+1H;C¡ -FEG-02=B¤4@®;¯¨ %('c$&+7é
" çÇ-/)£¥¤I'+.'Ó3>'ƒ%/''G+,@L¤I3B;C)[;F$ªHI+.-6À¤¶B$ª6À$83B;C3>'ˆâê±[©›H>;/6«¦B02-/+,@<).;C)A£¥¤'
¤>0 =>)-/¶B68'70¢; '`¨ $ªHI+.-6ˆ¥¨¤ %/'76¸H;C¡ -F=B;C)'GEG'¹0¤>[email protected] 4¨¤ @L$À6«¦
=>)<$ªHIE7$8=B;/6ª02'7H(@<'`£¥¤>;/HI3>-F+.'3>'ƒ%/'),'*+.-V6&%›'—¿ ݁68-èã«-·0M'76ª²I-/)m+.'G)<$ª;
'ƒ%$J@§;ˆ¨ ݁68-/+—ä—»‘#b¤5;¯+1).;Cæ(-/¡ 'G+m=§;¯)<;D%/-4E*''G+,@L¤I3§;¯)A'G+,@L; ë7ì(íÌîCïðìiñóòoìcô>N
õ ç)<$ª02'7$8),-5¦B+g;C¶?'G)A£¥¤'¤>0 =5),-/¶B68'70¢; '`¨ $ªHI+.-6ˆ¥¨¤ %/'76
;/68K/-()<$ª0¢$&Ec;(02'7H/@.' ' ¨ ¥¨¤ @g$ª6=?-/)£¥¤I'¹;C+.+g$À0 %/-4E/'`¿ =?'G)EG'G¶?'*)5;¢¨ £I¤I'
'G+,@<'=>)-(¶§6&'c0D;¢3>'G%('G)B;´¨ +.'*)1;(6J@<'G)<;C3>-´-¤ð+g$ª0M=§6À$&©®E7;C3>-F=B;C)<;D£¥¤I'
+.''7HIEG-H(@<)'¹¤>0D;¢+.-6ª¤­E(¬ ;C¡ -Õ;/68K(-/)7ö¨ @L0D$8E7;»xà‘-02-F£¥¤>;/68£¥¤'G)
9µ'G))<;(02'7H/@g;¦5EG-02=B¤4@L;C3>-/),'*+|@<'70 E7;C=B;CE7$83B;C3>'Ó'`6ª$ª0D$J@L;›E(¬ -/¡ 'G+A£¥¤I'
3>'G%('70 +.'*)mEG-HI+g$83>'G)<;C3>-/+m+.'Ó3>'ƒ%/'702-/+¤I+§;ˆ¨ ݁68-/+m'ƒ©®E7$8'7H(@<'702'7H(@<'(°
õ ± +.'*KV¤5HI3B;¢)<;Cæ(;C¡ - '`¨ E7¤>6J@L¤I)<;/6«»Ô'G+g02-F£¥¤'+.'Ó%(-¥E('¹¿ 6À$83B;¢E*-V0
=>)-/¶B68'70¢;C+m£¥¤I'`+7;C¡ -¢Ec6À;C)<;/0M'cH(@<'+.-6ˆ¥¨¤ %/'7$8+7¦§¤>0¢;F$&3!'7¨ $ª;¢3>$ªHI+.-6ˆ¥¨¤ %/'76=?-435'Ó'G+,@L$ª0¤>6ª;¯)m+g¤5;F$À0¢;CK$ÀH5;?E/¬ ;¯¡ -¢'¹;p³º¤3B;C)A%(-¥E('¹¿ ;
;C3>£I¤>$8).$8)1¤>0¢;F$ª0M=?-/)º@L;/H(@<'Ó=?'G)+.=?'GEƒ@g$&%C;D'70 EG-02=B¤4@L;›E(¬ ;C¡ -5¦>'
©›68-(+.-(©®E7;/0M'cH(@<'(¦5=?-/),£I¤'¹¿ H;C¡ -¢3§;D%I$83B;é
÷
ø [Ú ]Ü × ù ‹,Ç! ¾ú ù ­¹ Ú Ü, õ ¼hH(@c;C¡ -Õ;¢'G+,@<).;p@'G¨ K$ª; 'Ó¨ 'G+,@L¤I3B;C)1;/68K¤>HI+102-43>'c6&-/+[E*-V02=B¤4@L;CE7$8-H>;/$8+
EG-H>²'GE7$83>-/+7¦B'Ó%/'G)[+.'c¤I+16ª$À0¢$J@<'G+[EG-02=B¤4@L;CE7$8-VH5;($8+7é
õ ¼½+,@L¤I3B;C)[;F$ÀH+.-V6ª¤I¶§$À6ª$83B;C3>' '¨ %I$8+,@L;D+.-/¶û;¢=?'G)+.=?'GE@L$&%C;D3>'¹;7%C;(6ª$ª;C)A£I¤I' '`¨ EG-02=B¤4@®;¯¨ %('76=?'c6À;ÕÔû l¦§'G+,@L;D)'G+.=?-HI3>'7HI35- ëgüòvï¹ôF-¤
ëLíbì¥ý î7ô5»xþl¤ð+.',³º;¦¤>ÿ®0¢ÿ®ÿ ;ƒÿ®3>ÿB'Gÿ®E7ÿ®$8+7ÿ®;C¡ ÿ -—ÿ®+.ÿ®-/ÿ§¶>ÿ§)'ÿ ÿ -<ÿ®=>ÿ®)ÿ§-/ÿ§¶Bÿ®68'7ÿ®0¢ÿ§;¥ÿ é
õ çÇ-/)A-VH3>'E*-V02'IE7¬ ;C)LâÆçÇ-/)[0M-¥3>'768-/+[EG-H>²I'*E7$83>-/+7¦B'Ó£¥¤''70 @<'G+.'
)'G+.-6&%('c0 ë î ¥îCü Lî 7ñ *ïðìCü îCï ì *òrî(íÌì(òµü î(ï ñ 4î(ü
î(
í Gò ¥îCüô5» ±b¨ ),'c;¯+mE*-V02-5NhEG-0M=§$À6ª;C3>-/)'G+7¦ r±¦B'@<E(»
õ #1'7HI-0¢$ªH>;/0M-/+ ÌË ! #à " $ ÅÃèÅÃiÍiÏ &Ä $% ;F¤50 =5),-/¶B68'70¢;
E7;C)<;CE@<'G)<$8æ7;C3>-´=?-()1¤50D;¢E76ª;C+.+.'Ó35'Ó=?'G)K¤>H(@L;C+7¦5E7¤p³,;¢)'G+.=?-/+,@g;D3>'G%('
+.'G)·ëLüòvï¹ôF-¤ ëLíbì4ý îcô5¦5'Þ¥'702=B68-/+7N
' ( R*X/s`TVj ( (z ) Y[TVjRiRc–&Rg’(\]+
R *-,¥X/Y.deYg\]jU&WVR*\ foY ) RGŒ<Y—Uód,.R *mn
' ( R*XiRkTVjRliR7–8Rg’C\]+
R * X/Y.deYg\]jU&WVR*\hfo/Y * isCX/Y[foYg\^7Yg\]R*X/sӐ4sc\xTVjR
‰  “mn
' ( R*X/s`TVj 4sˆ–8U&
W sp0 jbUqskŒ.spj Œ.sp2Y 1ŒLUqY—WcdeYgf|U8WcdeY—UJ\osc3f ,iX/Y.deYg\]jU&WVR*\foY¾Y–„Y
4scff]TVU§\]R 46Q 5 Ygf!U&WcdeYUq\]R*fgn
' ( R*XiRkTVjR P Z ) Y1TVjbRkiR7–8Rg’C\]+
R *-,4X/Y.deYg\]jU&WVR*\hfoY )  R*Q \]RlŒ.spj
Y—W•d]\]RGXi+R *mn
' ž<žLž
õ ¼h0 ),'*+g¤>0M-5¦53B$8æG'702-/+1£I¤I'¤50 =5),-/¶B68'70¢;¢3>'`3>'GE7$8+7;C¡ - ' ¨
EG-02=B¤4@®;¯¨ %('c6v¦®-V¤ 'Ó¨ ÅÇÃiÍiÏ 8Å 97 : #à r¦?+.'`'Þ$8+,@<'`¤50 ;(68K/-/)<$q@L02-D=§;¯)<;F;
+.-6ª¤­E(¬ ;C¡ -´3>'G+.+.'=>)-(¶§6&'c0D;»
;
ø [Ú ]Ü × ù ‹!
" h¼ H¥©›0妮¤I+g;C)'702-/+¾@.-¥3>-Õ;C)E7;C¶?-V¤‹EG¬ -´EG-H>²I'GE7$83>-·3B; ;C¨ ),'c;235'
6ª$ªHIK¤>;CK/'7HI+m9µ-()<0¢;/$&+m=§;¯)<;D)'G=>)'G+.'7H/@L;¯)m'¹;7%C;/6ª$À;C)A=>)-/¶B68'70¢;¯+13>'
3>'*E7$8+7;¯¡ -5N
çÇ-/)m'Þ¥'c0M=B68-5¦§-F=>)-/¶B68'70¢;D3>'k@<'G+,@L;C)A+.'¤50 =# <i± > ),'*EG-H>²I'GEG'
¤>0¢;¢=B;/6ª;7%4)<@; ? =?-435'Ó+.'G)m)'G=>)'G+.'cH(@L;C3>-F=?'76ª;F6ª$ÀHKV¤5;¯K/'70N
ACBED!F G HI > JK?+LMN> '
¨ ¤>0 =# <i± £¥¤';CEG'7$J@L;¢-F+,@<)<$ÀH@K ? O
" çÇ-/)º@g;/H/@.-5¦5-F=>)-/¶B68'70¢; 'Ó¨ 3>'GEc$&3Ìö¨ %/'76+.'`;F6ª$ªHIK¤>;CK('c0 £I¤I'`)'G=>)'G+.'cH(@L; '¨ ¤50D;F6ª$ªHIK¤>;CK/'70 ­¤I)<$ªHIK¯Ýr3>'GE7$83¸ö¨ %/'76«»
" r+,@<- '(¨ N‘²Û;Õ¨ ¤50 02-¥3>'768-FEG-0M=§¤4@®;p¨ %/'76¸=5),-•%C;C3>-´£I¤I'+.'c0M=>)'Ó%C;(02-/+
-/¶I@<'G)1¤>0 ëLüòvï¹ôF-V¤ ëLíbì4ý îcô´EG-0M-F+g;>ö¨ 3B;â
" »G»*»
P
ø mÚ ]Ü × ù ‹RS Q A
ACBTDUF
G
' ¨ ¤>0 #=<± £¥¤I'¹;CEG'7$J@L;¢-F+,@<).$ªHIKY?
'Ó¨ 35'GE7$83¸ö¨ %('c6[
HIWV J3?XLM V
O
h ÃZ§ËcÃ#" $¸N A BEDUF
ÿ§ç½ÿ®)-•ÿ®%Cÿ ;¥N
#1'ƒ%/'702-/+02-(+,@<)<;C)A£¥¤I'¹¤>0¢;ÕÔê > B £I¤I'35'GE7$83>' A BEDUF »
> B G
ë.¼hH(@<)<;¯3§;N I\V J3?+L¾-VH3>' V '`¨ ¤50 #=<i± '? '¹¨ ¤>0D;¢=§;(6ª;7%¥).;
Ö ^» ]I$ª0¤>6ª; V E*-V0 '7H/@<).;C3B;@?
÷ ^» ]4';¢+g$À0¤>6ª;›E(¬ ;C¡ -¢@<'G)<0D$ªH>;¢'c0 ¤>0 'G+,@L;¯35-D©›H>;/6«¦­ì
Gò ì
E7;C+.-FEG-H(@<)B;C¨ ).$8-5¦ K
_`
*ò ìcô
ÿ§a/ÿ®bÿ®ceÿ®dÿ®fÿ§giÿ§hjÿ®fÿ®klÿ b ÿ®hÿ ÿ®m ÿ®dnÿBcoÿ®ÿ®b#ÿ®fÿ§p3gKÿ®qKÿ®h!ÿ§sr ÿ§ht ÿ bu
õ ç‹;C)<;¢;C£I¤I'768'G+b;CEG-/+,@L¤>0¢;¯35-(+1;¢'*+.EG)'ƒ%('*)[-/+m=>)-(K/)<;/0D;C+m'70 ;/68K¤>0D;
6ª$ªHIK¤>;CK/'70 3>'Ó=>)-/K/)<;(0¢;›E(¬ ;C¡ -5¦5$ª0¢;¯K$ªHI'EG-0M-Õ+.'*).$ª;DEG)<$ª;C)1¤>0
=>)-/K/)<;(0¢;D=B;C)<;29«;CæG'G)1¤>0¢;¢+g$ª0¤>6ª;?E/¬ ;¯¡ -5°
õ ± '7H(@<)<;C3BR
; v w@Ji? x '¨ ;¢)'G=>)'G+.'7H/@g;›E(¬ ;C¡ -F3>-·;/¤4@C-¿ 0¢;ˆ@<y- w EG-0 ;
'7H/@<).;C3B;{z|» Ò 0D;¢)'G=>)'G+.'cH(@L;›E(¬ ;C¡ -¢)<;CæG-h;¯¨ %('c6'Ó¨ +g$ª02=B68'G+g0M'cH(@<';F6ª$8+,@L;
3>'`+.'7¤I+mEc$ÀHEG-ÕEG-02=?-VH'7H(@<'G+7^N |Dl¦ }i¦ ~ ¦§#£ D' €¹»!ál¤5;(H3>{- >
;CEG'7$J@L;F;¢'7H/@.)<;C3B;¦B'76ª;¢=>)<$ª0M'c$&)-´%/'G)<$&©§E7;F+.'Ó'76ª;¢)'G=>)'G+.'7H/@L;
;C3>'G£I¤>;C3B;/0M'cH(@<'-F+± < # w '`;¢E7;C3>'c$À{; z|^» ]4'¹H;C¡ -5¦B)'º³e'c$q@L;»
õ ±b+.+g$À0¦l> +g$ª0`¤56À;F3>'`¤>0¢;¢9µ-()<0¢;¢3B$8)'@L;I»‘¼h6ª;¢KV¤5;¯)3B;´;C+
$ªHI9µ-/).0¢;›E(¬ -/¡ 'G+m+.-/¶>)'Ó-F'G+,@L;C3>-´3>‚' w 'Ó3§;´=?-/+g$E/¬ ;¯¡ -F;p@L¤>;/6ÌH>;¢E7;C3>'7$ª;
z 'G+.EG)'ƒ%/'7HI3>-·'G+,@L;F$ÀH9:-/)<0D;›E(¬ ;C¡ -ÕH>;¢+g¤>;2©B@L;Iƒ
» H5$&Ec$À;/6ª02'7H(@<'(¦§'G+,@L;C3>-´3>‚' w …' ¨ „†2';¢+g¤5;¢=?-(+g$eE(¬ ;C¡ -´'70 z 'Ó¨ +.-/¶>)'Ó-F+cö¨ 0¶?-68-F0¢;/$8+
;¢Á 'G+.£I¤I'G)3B;»!þb+['*+,@g;C3>-/+m';¯+1=?-(+g$eE(¬ -/¡ 'G+m+7;C¡ -Õ;p@L¤>;/6À$8æ7;C3B;C+A3>'
;CEG-/)3>-´EG-0 ;¢9v¤5H­E(¬ ;C¡ -´3>'k@<)<;/HI+g$eE(¬ ;C¡ ‡- }i»!ál¤>;/HI35‡- > @.'*).0¢$ªH>;¢=>)-¥EG'G+.+g;/02'7H(@<-¢3>- >¨¤ 6J@L$À02-´+cö¨ 0Ó¶?-68-¢3>‚' z|¦B'76ª;F;CEG'7$J@L;´;2'cH(@<)<;¯3§;2+.'
[ w V\o‰s ˆi–„Y—jR Y¹
Q deYgfrd,R*\kfoY¢TVj XiRGX/s R7T¯†d sp0 jRdeys 1>WVU„desR*Œ.Y—U„d,RŸTVjRŸŒ.Yg\rd,R
Œ—RGX/Y—U8R Y[Q X/YgŒLUJX 4Q ’•Y—– ž
Š
-F'G+,@L;C3>-´'70 £I¤I'…w @.'*).0¢$ªH>;¢9µ-()A©›H>;/6«¦B)'º³e'c$q@L;/HI3>-¯Ý;DE7;C+.EG-H/@.)B;C¨ )<$8->»
õ ál¤5;(6-·02-435'768-F3>'¹Ôû =B;C)<;¢+g$ª0`¤56À;C)m'G+,@<'EG-0M=?-/)º@L;(02'7H/@.-4âè#¤>;C+
)'G+.=?-/+,@L;C+7¦5¤>0¢;¢+g$ª0M=§6&'*+['Ó-¤4@<)<;FH;C¡ -5N
Ö »l± 9p;C¨ E7$ª6«Nh+g$ª0M=§6À$&©®E7;C)[¤>0D;ÕÔû l¦5@L;/6£¥¤I'¹;F0M'*+g0D;D©®£¥¤I'`EG-0
¤>0¢;F;/¤4@<-0D;›E(¬ ;C¡ -Õ$8KV¤5;(6¸;¢3>-·=± < # w´»‘ Ì-/)<H>;C)1;ÕÔê -·0¢;/$&+
=>)B-C¨ Þ$ª0¢;F;C-¢+± < # w´¦®;(68K/-·0¢;($8+m3>-F£I¤I'`'G£¥¤>$&%C;/68'7H(@<'G+7°
÷ »l± 3B$89eö¨ E7$ª6«Nh+g$ª0¤>6ª;¯)m-F+± < # 'c0 ¤>0D;ÕÔû 0 >¨¤ 6J@L$8=B6ª;¯+¾©B@L;¯+
w
<w,B>
AFD
w avaliado e o AFD encontra−se num estado F
entao, w esta em L(B)
sim ... w esta em L(B)
|MT
rejeita ... caso contrario
a b
<w,B>
MT
−
Delta do AFD
q0 do AFD
em detalhes
w
(a entrada)
q corrente de B
‹ŒŽ# qKh ju-‘
’
“Ep Œ c ” hjfklb•b—– ‹˜m
™
ø mÚ ]Ü × ù ‹RS Q A
ACš D!F
G
HI w@J3?+LMNw
ÿ§r3!ÿ®'7¨ÿ®$ª;?ÿ ÿ®Bÿ3 ;™ÿ§=>ÿ®)ÿ®-•ÿ§%Cÿ ;IN
'`¨ ¤>0
i± £¥¤';CEG'7$J@L;F¤>0¢;¢=B;/6ª;7%4)<;@?
›/<
O
½ç )-C³]'@L;¯)[¤>0¢;yœ ã\>  š ä|=B;C)<;¢-(=?'*).;C)AEG-02-{> ¦®+g$À0¤>6ª;/HI3>-Õ¤>0
±+<ž›1# ;C-Õ$ÀHV% 'G¨ +b3>'¹¤>0 ±=< #»B± Ôû œ ¤I+g;/HI3>-y> EG-02-·¤>0D;
+g¤¶¥Ýr)-C@g$ªH>;»!àx-0M-{> '¨ =>)-C³]'@L;¯3§;2=§;¯)<;2@<)<;C¶B;/6À²5;¯)AEG-0 ±=< #1+7¦lœ
=5).$ª02'7$8)-¢E*-VHV%('*)]@<'`-´=± <ž›1# £¥¤I')'GEG'G¶?''70 ¤50 +± < # ;/H(@<'G+m35'Ó+.'GK¤>$8)
=§;¯)<‡; > »
h ÃZ§ËcÃ#" $¸N A š DžF 'Ó¨ 3>'GEc$&3Ìö¨ %/'76
ÿ§ç½ÿ®)-•ÿ®%Cÿ ;¥N|#['G%('702-/+b02-(+,@<)<;C)A£¥¤I'¹¤>0¢;ÕÔê œ ã«-¤—>  š ä|£I¤I'35'GE7$83>'
ACš DžF »
]¥'º³º‡
; œ G ë.¼ H/@.)<;C3B;ðN I œeJK?+LÛ-VH3>' œ '`¨ ¤>0 ›/<± 'Ÿ? '¨ ¤>0¢;¢=B;/6ª;7%4)<;
Ö »!àx-H/%/'G)º@.'y- ›/<± œ =B;C).;´¤>0 =# <i± 'G£¥¤>$&%C;/68'7H(@<' V
÷ »x¼ Þ¥'GEc¤4@L;F;ÕÔê > B 35-¢@.'*-()'70¢;F;/H(@<'G)<$8-/)
E*-V0 'cH(@<)<;¯3§; IWV J3?+L
; ^
» ]4‚' > B ;CEG'7$J@L;¦B'7H(@c;C¡ -Æì Gò ìV°5+.'7H;¯¡ o
- i
\_†
Gò ìcô
± 'ÞI'GE7¤­E(¬ ;C¡ -Õ3§;·Ôû > HI-F=B;C+.+.- ÷ +g$&KH>$&©®E7;´$ªHIEG-/)=?-()<;C/) > HI=5),-(³e'@<-F3>‚' œ EG-0M-·¤>0¢;¢+g¤I¶>9«¤>H­E/¬ ;¯¡ -5é
ø mÚ ]Ü × ù ‹RS Q A
AC¡ž¢¤£
G
`' ¨ ¤>0¢;¢'Þ¥=5),'*+.+7;¯¡ -F)'GK¤>6ª;C)A£¥¤I'
3>'G+.E*),'G%('M¤>0¢;F6ª$ÀHKV¤5;¯K/'70 £I¤I'E*-VH/@'7¨ 0 ?
'Ó¨ 35'GE7$83¸ö¨ %('c6
HIW¥ J3?+LM ¥
h ÃZ§ËcÃ#" $¸N A ¡ž¢¤£
ÿ§ç½ÿ®)-•ÿ®%Cÿ ;¥N
#1'ƒ%/'702-/+02-(+,@<)<;C)[¤>0D;ÕÔû >
¡
£I¤I'35'GE7$83B;¢+.-/¶>)'`¤>0
A ¡ž¢¤£
O
»
.ë ¼hH(@<)<;C3B;ðN IW¥ J3?+L¾-VH3>' ¥ '¹¨ ¤>0¢;¢'Þ¥=5),'*+.+7;¯¡ -´)'GK¤>6ª;C)m'Ÿ? ' ¨
¤50D;´=§;(6ª;7%¥).;N
Ö »!àx-H/%/'G)º@.'M;¢'ÞI=>)'G+.+7;C¡ -´),'*KV¤56À;C) ¥ '70 ¤50 #<i± 'G£¥¤>$&%C;/68'7H(@<'
÷ »x¼ Þ¥'GEc¤4@L;F;ÕÔê > B E*-V0 '7H/@<).;C3B; I\V JK?+L
; ^
» ]4‚' > B ;CEG'7$J@L;¦B'7H(@c;C¡ -Æì Gò ìV°5+.'7H;¯¡ -oi
\_†
Gò ìcô
>
¡
G
þ +A@<'G-/),'c0D;C+A%I$8+,@<-/+7¦®$ª6À¤+,@.)<;/0 ;¢3>'GE7$83B$8¶B$ª6ª$83B;C3>'3§;¯+lÔ ;C¨ £I¤>$ªH>;C+m3>'
­¤I)<$ªHIKÕEG-0 ±=< #1+7¦5±=<ž›1#1+m-¤ð'ÞI=>)'G+.+7-/¡ 'G+m)'GK¤>6ª;C),'*+7¦®;¯+m£I¤>;/$8+[+7;C¡ @<-¥3B;C+m'G£¥¤5$J%C;/68'7H/@.'*+1=?-/)£¥¤I'+.'ÓE7;C=B;CæÓ35'EG-HV%('G)º@<'G)¹ã«EG-¥3B$&©®E7;›E(¬ ;C¡ -iä!3>'
¤50D;´9µ-/)<0D;D'70 -¤4@<)<;ãv+± < # 'c0 ¤>0D;ÕÔû m䗻§±1K/-/)<;@<'702-/+b¤>0 -¤4@<)@L$8=?-F3>'`=>)-/¶B68'70D;¢3§$&æ*'7HI3>-F)'G+.=?'7$J@<-·;F;/¤4@C-¿ 0D;p@<-/+Û©›H>$J@<-/+7N[î Gü ‡
ì §Gòoî=B;C).;´;F6ª$ªHIK¤>;CK/'70 3>'ƒ©›H>$83B;¢=?'768-·;/¤4@C-V¿ 0¢;p@<-D©›H>$J@<-5» ›A-/+
¦ @<'G-/)'70¢;C+b;/H(@<'GEG'G35'7H(@<'G+7¦5@•ö¨ H>²>;/02-/+m£¥¤I'Ó@<'G+,@L;¯)A+.'`-·;/¤4@C-V¿ 0¢;p@<-D'70
£I¤I'G+,@c;C¡ -·;CEG'7$J@L;7%C;F¤>0D;¢E*'G)º@g;¢Ec;¯35'7$ª@; ?`» ›1;¢=>)B-¯¨ Þ>$ª0D;¢=>)-•%C;¢3>'G%('702-/+
@<'G+,@L;C)m+.'`¤50 ;/¤4@C-¿ 0¢;ˆ@<-¢©›H>[email protected]·;CEG'c$q@L;F;/68K¤>0D;DE7;C3>'c$À;¦B-¤
E*-VH/@<).;C)<$ª;/0M'7H/@<'(¦B+.';F6ª$ªHIK¤>;CK/'70 '70 £¥¤I'*+,@7;C¡ - …' ¨ ¨»
©
V
ø mÚ ]Ü × ù ‹RS Q A
ª BEDžF
G
H«IWV L/M V
'`¨ ¤>0 #=<i± '…¬mã V ä
G
¨­O
ÂhÃZ§ËcÃ#" $¸N ª BEDžF '`¨ 3>'GEc$&3Ìö¨ %/'76
® EG¯
òo•
ì 4ìo°^—î ¦ ìݾ#1'ƒ%/'70M-/+l0M-/+,@<)<;¯)m¤>0¢;ÕÔû > ¢ B £¥¤I'`3>'GEc$&35'
ª BTDžF »h±1+.+g$ª0¦§¤>0 =
± < # ;CEG'7$J@L;F;(68K¤>0¢;DE7;C3>'7$ª;´+.'Ó'+.-0M'7H/@<'+.' ' ¨
=?-/+.+cö¨ %/'76Ì;/6&Ec;(H‹E7¬ ;C)1;(68K¤>0 'G+,@L;C3>-¢©?H5;(6Ì;¢=§;¯)º@L$8)A3>-F'G+,@L;C3>-·$ªH>$8E7$ª;(6
+.'*KV¤5$ÀH3>-F=?-/)¾@.)<;/HI+g$eE(¬ -/¡ 'G+¾%!;/¨ 6ª$83B;C+7»xç‹;¯)<;M@<'G+,@L;C)¾+.'`'G+,@L;DEG-HI3B$eE(¬ ;C¡ - ' ¨
+g;p@L$8+.9:'c$q@L;¦5EG)<$ª;•Ýo+.'`¤>0¢;F0 ;C¨ £I¤>$ªH>;¢3>'¹ ǤI)<$ªHIKF£¥¤'¤I+g;¢-Æìi²ñ ±¥nî ƒò ïðî—j
ïð³ì i—jì ¥nî i
Gü y
Gü jì ¥îCüm;/HÛ;/¨ 6&-/K/-Õ;C-¢=5),-/¶B68'70¢;³;¢¨ 'G+,@L¤I3B;C3>-´+.-/¶>)'
E*-VH'GE@L$&%I$83B;C3>'`3>'¤50 K/)<;C9:-5»
ÿ§ç½ÿ®)-•ÿ®%Cÿ ;¥N
> ¢ B G ë¼hH(@<)<;C3B;ðN IWV L¾-HI3>' V '`
¨ ¤50 #<i± EG-0 -(+m=§;¯+.+.-/+7N
Ö »xÔû;C)E7;C)m-F'G+,@L;¯35-F$ªH>$8E7$ª;/63>-Ÿ#=<i± V
÷ » ´Û'G=?'ƒ@g$8)*¦®;p@'Ó¨ £¥¤'H;C¡ -·²>;¯³º;F0¢;/$&+
HI'7H>²4¤>0 HI-•%/-Õ'G+,@L;C3>-´=B;C)<;¢0¢;C)E7;C)GN
Ôû;¯)E7;M@<-¥3>-F'G+,@L;C3>-´£¥¤I'Ó@<'70 ¤>0D;¢@.)<;/HI+g$eE(¬ ;C¡ EG-0 -()<$8K/'70 '70 ¤>0 'G+,@L;C3>-k³I;F¨ 0¢;C)E7;C3>; ^
» ]4'¹HI'7H5²i¤>0 'G+,@L;C3>-´3>'¹;CEG'7$J@L;?E/¬ ;¯¡ -´9µ-$Ì0D;C)E7;C3>-5¦B'7H(@c;C¡ -Æìji
*ò ì°
E7;C+.-´EG-H(@<)B;C¨ )<$&o
- i
\_†
Gò ìcô
µ
ø mÚ ]Ü × ù ‹RS Q A
' w +7;C¡ -Ÿ#=<i±1+m'‚¬mã A ä G ¬Aã\w¹ä=O

ÂhÃZ§ËcÃ#" $¸N ª | BEDžF '`¨ 3>'GEc$&3Ìö¨ %/'76
ÿ§¼½ÿ®+,@<ÿ®)<ÿ®;ˆÿ®@'Gÿ§¨ Kÿ§$ªÿ;¥ÿ®=Bÿ§;Cÿ®).ÿ;Bÿ®ç½ÿ®)ÿB-•ÿ®%C;¥ÿ N
õ àx-HI+,@<).¤5$&)[¤>0 H-•%(-F+± <‹# · 3>' A '…w´¦>@<'7H3>-F£¥¤I'‚· ;CEG'7$J@L;
;C=?'7H>;C+1;C+[E7;C3>'c$À;C+m=?'G)º@<'7HIE*'7H(@<'G+l; A -V¤ê;‡w´¦®0D;C+bH;¯¡ -Æ;CÁ +m3B¤5;¯+7°
õ ]4' A …' w ),'*EG-H>²I'GEG'c0 ;F0M'G+g0¢;F6ª$ªHIK¤>;CK('c0妷 H;C¡ -Õ;CEG'7$J@L;¯)B; ¨
H>;C3B;¦B'7H/@c;¯¡ -·;F6ª$ªHIK¤>;CK/'70 3>…' · '¨ 3>'ƒ©›H>$83B;´=?-/)A'G+.+g;¢3B$89:'*),'cH­E7¬ ;N
¬m\ã ·Óä G \ã ¬mã A ¹
ä ¸ ¬m\ã w¹ä,¹ä º ã ¬mã A ¹ä ¸—¬m\ã w¹ää
õ ¼½+.+g;MÅ¼Ï » ÃiËcÃI8Ð nÍ ½ $ Ĉ¾Ï " Nà 7 ¿7Ë¯Ï ³Í $ ' ¨ 4¨¤ @L$À6¸;C£¥¤5$=?-()£I¤I…' ¬m\ã ·Óä G ¨¢+.''
+.-02'7H(@<'Ó+.…' ¬mã A ä G ¬mWã w¹ä—»h±lH>;/6À$8+.';D©§K¤I)<; ÷ »h± 'ÞI=>)'G+.+7;C¡ ;CE7$ª0¢;¢=?-43>' '`¨ $8K¤>;/6ª0M'7H/@<'Ó%|;(¨ 6ª$83B;¢'70N
¬m\ã ·Óä G \ã ¬mã A ¤
ä À ¬m\ã w¹ä,¹ä º \ã ¬mã A ¤ä À ¬m\ã w¹ää
õ ± EG-HI+,@<)<¤­E(¬ ;C¡ -´3>' · ;¢=B;C)º@L$&)A3>' A ‚' w +§- ¨ 'Ó¨ =?'G)<0¢$J@g$83B;¢=?-/)£¥¤'`¿ ;C+
6ª$ªHIK¤>;CK/'7HI+m)'GK¤>6ª;C),'*+ãv3§‡; ±nLì(ï ì ¯ ò o
ì K
Á±n®ñªnì —ä·'`¨ 9µ'GE—²>;C3B;¢+.-/¶>)';
>í?ò¯ì¥ý îV¦òví `ƒ‰ü Âì¥ý îÓ{
' —î(ï ñ Ge
ï Gí î»
ª | BEDžF
G
HI¶A Jw…LM A
ÖÄÃ
B
A
B
A=B
A
L(A)=L(B) => L(C) = {}
‹ŒŽj qKh ÅÆu m…ŒÇ dÈq3dfs r h É Œ c ‰Êd gKq Œ s h
ÿ§ç½ÿ®)-•ÿ®%Cÿ ;¥N
>
.ë ¼hH(@<)<;¯3§;N I¶A JKw…L¾-VH3>' A '…w +7;C¡ -Ÿ#=<±b+7N
Ö »!àx-HI+,@<).¤5;2-Ÿ#=<i± · 35'G+.EG)<[email protected]Õ;CE7$ª0¢;I°
÷ »x¼ Þ¥'GEc¤4@L;F;ÕÔê > ¢ B EG-0 'cH(@<)<;¯3§;¢3B;
'G+.=?'*E7$&©§E7;›E(¬ ;C¡ - I ·ŸL
; ^
» ]4‚' > ¢ B ;CEG'7$J@L;¦B'7H(@c;C¡ -Æìji
*ò ì°
E7;C+.-´EG-H(@<)B;C¨ )<$&o
- i
\_†
Gò ìcô
¢ÌË B
G
Ö/Ö
ø [Ú eÜ × ù ‹RS Q ¾ Í
1
A ¹
Í
Ó› mÙ§¤ÎlÙ
±l68K(-/)<$J@L0M-/+m=B;C)<;M@.'*+,@g;C)A+.'¹¤>0D;‡ÏÓßà K('*).;F¤50D;¢E7;C3>'c$À;¢=§;¯)º@L$8E7¤>6ª;C)?
'Ó@<'G+,@L;C)¾+.';F6ª$ÀHKV¤5;¯K/'70 3>'¹¤>0¢‡; Ïkßà 'Ó¨ %C;¯æc$À;êã\¨ä—»xþl¤ +.'º³º;¦®;‡ÏÓßà
H;¯¡ -FK/'G)-Ƥ Ðp3>'G)<$&%/-V¤êHI'7H>²4¤>0¢;´=B;/6ª;7%4)<;é
¹' ¨ ¤>0¢;·à˜<¹Ï £¥¤I'`K/'G)<;F¤>0¢;¢=B;/6À;7%¥)<;@? O
ÂhÃZ§ËcÃ#" $¸N A Ñ DÔÒ 'Ó¨ 35'GE7$83¸ö¨ %('c6
°˜Lî ¦ ìÓÝ Ò 0D;´$83x'7¨ $ª; '
¨ ¤I+g;C) Ó =§;¯)<;2@<'G+,@L;C)Û@.-¥3B;C+1;C+m3>'G)<$&%C;›E(¬ -/¡ 'G+[=B;C)<;
%/'G)<$&©§Ec;¯)1+.'`²Û;F¨ ¤>0¢;´3>'*).$&%C;›E(¬ ;C¡ -´=B;C)<@; ?`»x¼½+.+g;D$83!'c¨ $À;·H;C¡ -¢9«¤>HIEc$&-H>;¦
=?-$8+[=?-¥3>'—Ýr+.'k@<'G+,@L;¯)[$ªH¥©›H>$J@L;¯+m35'G)<$J%C;›E(¬ -/¡ 'G+7^» ]¥' Ó H;C¡ -FK/'G)<;¯Õ) ?¦§;/68K/-/).$J@L02-FH4¤>HIE7;F=B;C).;C)<$ª;»¼½+.+g;¢$&3!'7¨ $ª;FHI-/+[3B;C)<$À;F¤50D;F0 ;C¨ £¥¤>$ªH>;¢3>'
­¤I)<$ªHIKÕ£¥¤'+.'G)<$ª;´¤>0 )'GEG-H>²I'*EG'G3>-/)*¦®0D;C+bH;¯¡ -·¤50 j
Gòvü•nî ¢=B;C)<;
± Ò¤Ö Ñ ›A-C@<'k£I¤I'k@<'7H/@L;¯)mK/'G)<;C)¾@<-43§;¯+1;C+m=?-/+.+cö¨ %('c$&+m35'G)<$J%C;›E(¬ -/¡ 'G+13>' Ó '
@<'G+,@L;C)m+.'`;/68K¤>0¢;235'G)<$J%C@; ? H;¯¡ -´9«¤>HIE7$8-H>; »ª»ª»ª»
ç‹;C)<;¢-/¶I@<'G)1¤>0¢;ÕÔê > Ò £¥¤I'`3>'GEc$&35' A Ñ DžÒ ¦B35'ƒ%('c0M-/+1K;C)<;/H(@L$8)¾£I¤I'
> Ò @<'G+,@L;F;C=?'7H>;C+1¤>0 H15¨¤ 0M'G)-¢©›H>[email protected]'Ó3>'G)<$&%C;›E(¬ -/¡ 'G+[3>' Ó »
]¥' Ó 'G+,@®;D
¨ H>;D9µ-/).0¢;´HI-/)<0D;/63>'¹à|²I-0M2+ ×ZØ/¦B£¥¤5;(68£I¤I'G)m3>'G)<$&%C;›E(¬ ;C¡ -D'c0 Ó ¦
35'¤>0¢;¢=B;/6ª;7%4)<@; ? @L;(6£I¤I­
' MÙ?ÚM G Û ¦>@<'70 'ƒÞ;p@L;(02'7H/@.' ÷ Û À Ö =B;C+.+.-/+7»
çÇ-/)º@L;(H/@<->¦5=B;C)<;¢3>'@<'G)<0¢$ªH>;C)m+.' Ó K/'G)<Ú; ?¦§¶B;C+,@L;M@<'G+,@L;¯)[;C+[3>'*).$&%C;›E(¬ -/¡ 'G+
35' Ó EG-0 ÷ Û À Ö =B;C+.+.-(+7»
A.Ñ DžÒ
G
H«IWÓ JK?XLM Ó
֕÷
ø mÚ ]Ü × ù ‹RS Q A
¼ Þ¥'c0M=B6ª$&©®E7;/HI3>- N
S −> AB
A −> AA | a
B −> BB | b
w = aabb como
n=|w |, no caso n=4 assim 2*4 − 1 = 7 derivaçoes
S −> AB −> AAB −> AABB −> aABB −> aaBB −> aabB −> aabb
cuja arvore de derivacao e dada por:
S
1
A
A
2
B
A
a
a
B
3
7
6
5
4
B
b
b
Em 7 passos ... verifica−se se w foi derivada de uma GLC
no caso
| aabb | = 4
h ‹ŒŽ# qihÝÜu-Þ^ßdncoà ” b—kh m dÈq Œá !
s r hZt b•kld{a/âlbcepKãä
h¼ H(@<)<;¯3§;N IWÓ JK?XLÛ-HI3>' Ó '¹¨ ¤>0¢;·à˜<¹Ï '? '¹¨ ¤>0¢;¢=B;/6ª;7%4)<;N
Ö »!àx-H/%/'G)º@.' Ó =B;C)<;F¤>0D;·à8<¹Ï 'G£¥¤>$&%C;/68'7H(@<' ÓCå ¦
H>;¢9µ-/)<0D;´HI-/)<0D;/63>'Mà!²-V02+2×NØ
÷ »x߸$8+,@L;2@<-43B;C+1;C+m3>'G)<$&%C;›E(¬ -/¡ 'G+[3>' ÓCå EG-0 ÷ Û À Ö =B;C+.+.-(+7¦
-HI3>' Û '¨ -FEG-0M=>)<$ª02'7H(@<-Õ3>' ?
; ^
» ]4'¹;/68KV¤50D;D3>'G+.+g;C+m3>'*).$&%C;›E(¬ -/¡ 'G+[K/'G)<@; ?¦­ì Gò ìV°
E7;C+.-´EG-H(@<)B;C¨ )<$&o
- i
\_†
Gò ì
wƒˆVfoYg\r’7R4ŒcŽ Rƒ s æèçÌfrdeYmV\os ˆi–qY—jbRlYgfrd RQ \oY—–8RGŒ—U„spWVRGX/sRGsV\o‰s ˆi–„Y—jRX/Y[Œ.spj[iU8–&R¥Œ7Ž RG s
X/Yb–8U&WC^pTVRƒ^cY—W(fhX/Y[V\os7^•\]R7jR¥Œ7Ž Rƒ sèž çÇWcd]\oY.d,RcWcdeNs ,VsR7–q^7s•\]Uód,j[skXiR P Z X/YgfŒg\]Uódes
R*ŒLU8jbR Y1Q TVj Œ.spj1iU&–&R*X/s•\hjmTVUódesU8WC2Y 1IŒ—U„Y—W•deY|Y1W¯TVW(ŒLRbfoYg\]U8RkT(f]R*X/sWVRV\ RQ d,UJŒLRCž
>
Ò
G
ÖÄ;
ø mÚ ]Ü × ù ‹RS Q A
ª Ñ DÔÒ
G
HIWÓ LM Ó
'¨ ¤>0¢;·à˜<¹Ï '…¬mã Ó ä
G
¨eO
ÂhÃZ§ËcÃ#" $¸N ª Ñ DéÒ 'Ó¨ 3>'GEc$&3Ìö¨ %/'76
°˜Lî ¦ ìÓÝÛ#1'ƒ%/'702-/+A@<'G+,@L;¯)A+.';(68K¤>0¢;¢=B;/6ª;7%4)<;¢=?-435'k+.'G)mK/'G)<;C3>-·;
=§;¯)º@L$8)m3>-F+cö¨ 0¶?-V68-Õ$ªH>$8E7$ª;/6¸3>' Ó »!Ôû;C+m3>'ƒ%/'70 ²>;7%/'G)b$ªH¥©›H>$J@<-(+ ?ê +b;
+.'*),'c0 @.'*+,@g;C3>-/+7¦>'7H(@c;C¡ -F'G+.+.'0 '¨ @<-¥3>-F=?-¥3>'G)<$ª;¹@<'G)<0¢$ªH>;C)m+.'7HI3>'ƒÞ¥'GE7¤¥@g;C3>-·=B;C).;¢+.'c0M=>)'(»x¼ Þ¥=?'*).$ª02'7H(@L;C)m+.'`²¾;F¨ ;(68K¤>0 ? H;C¡ -FK/'G)<;¯35H'G+,@L;¢K()<;/0 ;ˆ¨ @L$8E7; '¹¨ ¤>0 E7;/0D$ªH>²I-5»ª»ª»ª»‘0D;C+`»ª»ª»ª»‘$À02=>)<;p@L$&EÌ;p¨ %/'76«é
þ¤4@<).;¢'*+,@.)<;p@'G¨ K$ª; 2ã ¥ìCü ¦ ³ì ƒò ì ¯ ¦ Gòvü o
ì ë —ìC¾ò §y¥ì nì ¯ ¦ nî i
äN
Ò 0 ;/6&K/-/)<$J@g02-¢£¥¤I'`)'G+.-6J%/'¹¤>0 =>)-(¶§6&'c0D;F0¢;/$&+1K('*).;/6«N 3>'@<'G)<0¢$ÀH5;¯)*¦
=§;¯)<;¢E7;C3B;D%C;C)<$G;¯¨ %('76 A 35' Ó ¦B+.'¤>0¢;¢=B;/6ª;7%4)<;D=?-435'Ó+.'G)m3>'*).$&%C;C3>-·;
=§;¯)º@L$8)m3>' A »
ç½)<$ª0M'7$8)<;/0M'cH(@<'(¦§-·;/68K/-()<$J@L0M-F0¢;¯)E7;¢Ec;¯3§;¢+cö¨ 0¶?-68-D@.'*).0¢$ªH>;/63>' Ó »
¼hH(@c;C¡ -5¦B'768'Ó%/'G)<$&©§Ec;I¦B'c0 E7;C3B;¢=>)-43§¤­E(¬ ;C¡ -´3>' Ó ¦§+.'`;/68K¤>0¢;M%C;C)<$G;¯¨ %('76
K/'G)<;F¤>0¢;¢=B;/6ª;7%4)<;¢£¥¤'EG-H/@'c¨ 0 ;¯=?'cH>;C+m+cö¨ 0¶?-68-/+ ³I;F¨ 0¢;C),Ec;¯35-(+7ƒ» ›m'G+.+.'
Ec;¯+.-5¦B'G+.+g;2%C;C)<$G;p¨ %/'76l'¨ 0D;C)E7;C3B;»‘¼+.+.'=B;C+.+.- 'Ó¨ )'G=?'@L$83>-·;p@'Ó¨ £¥¤'0¢;/$&+
H'7H>²i¤50D;¢%C;C)<$G;¯¨ %('76Ì+.'º³º;´0¢;C),Ec;¯3§;I»
]¥'Ó-´+cö ¨ 0Ó¶?-68-Õ$ªH>$8E7$ª;(63>' Ó @L$&%('*)m+g$&35-F0¢;C)E7;C3>-5¦'7H/@c;¯¡ y
- ¬mã Ó Xä G ì ¨°5E7;C+.E*-VH/@<)5;C¨ )<$8-5¦ ¬Aã Ó ä G ¨
ÖP
ø mÚ ]Ü × ù ‹RS Q A
¢ Ò
>
¼hH(@<)<;C3B; N
G
¾-HI3>'
IWÓ L
Ó
'¨ ¤>0D;åà˜<¹Ï2N
Ö »xÔû;C)£¥¤I'Ó@<-43>-/+A-/+A@<'G)<0D$ªH>;/$8+m3>' Ó
÷ » ´Û'G=§$q@L;¦®;p@'Ó¨ £¥¤'HI'cH>²i¤>0¢;ÕHI-•%C;D%C;C)<$G;¯¨ %('76+.',³º;F0¢;C),Ec;¯3§;
Ôû;¯)E7;M@<-¥3B;D%C;C).$G;¯¨ %/'76 A 3>' Ó @L;/6£¥¤I'
'Þ$8+,@<'`¤50D;¢)'GK/)<; A í înï‰îð˜ñ‰ñÈñòî‰ó ¦B-HI3>'
E7;C3B; î‰ô ¦§=B;C)<; õ G Ö J ñ‰ñÈñ J Û '¨ ¤>0 +cö¨ 0¶?-6&-Ó³;´¨ 0D;C)E7;C3>; ^
» ]4'`-F+cö¨ 0¶?-V68-Õ$ªH>$8E7$ª;/6H;C¡ -´9:-$Ì0¢;¯)E7;C3>-5¦Çjì i
*ò ì°
E7;C+.-´EG-H(@<)B;C¨ )<$&o
- i
\_†
Gò ì
¼ Þ¥'c0M=B68- N!¼ Þ¥=?'G)<$ª02'7H(@<'Ó-·;/68K/-/).$J@L02-F;CE7$ª0¢;¢EG-0 ;‡Ïkßà 3B;C3B;¢=?-/)
ö í
·
í
w·
A ï A ð A ÷
– ” gKdÈqKdYheàq3bk  sr ht b Œ f Œ s Œ h ” àhqKhÝû ü o
ý þd
ø
ù
ú
âld s b c b  gKq3b#pXdßdncoà ” b#p.d s b#
f giqKhN“ dßdncoà ” bjpŸklb h ” Ž bq Œ gòcob
A ï í
A ð í
A÷Ÿí
giqKhÿh ”
h s Πceh
Þ ßdÈq s Ê s Œ b uXd ጠpKd@hegiqKhjfp Ç bjqc­hèsr ht b kd  ceh
^
fh ‹ l
k d{a/âlbcepKãä
։Š
ƒa
dnc
 ceh
ƒa
ø mÚ ]Ü × ù ‹RS Q A
±bK/-()<;¦5EG-HI+g$83>'G)<;/0M-/+m-F=>)-/¶B68'70¢;¢3>'Ó@.'*+,@g;C)A+.'Ó3§¤>;C+[K/).;/0 ;p¨ @g$8E7;C+
6ª$&%4)'G+b3>'ÓE*-VH/@<'Þi@<-ÕK/'G)<;/0 ;F0M'G+g0¢;F6ª$ªHIK¤>;CK('c0å»
õ
ª | Ñ DÔÒ
õ
õ
õ
HIWÓ J
—LM Ó
'
+7;¯¡ -Ÿà8<¹Ï+['‚¬mã Ó ä
G
Aã
êäO
¬
Ó' ¨ 35'GE7$83¸ö¨ %('c6‹â
Ò +g;(02-/+A-F=>)-4EG'*3B$ª0M'7H/@<-F3>'35'GE7$8+7;C¡ -F=B;C).;F¼ F¤D¤B =B;C)<;¢=>)-•%C;C)A£¥¤I'
¼‘á F¤DžB '¨ 3>'GE7$83¸ö¨ %/'76«°
›m-¯@<'k£I¤I'¹¤I+g;C)1¤>0D;¢'*+,@.)<;p@'G¨ K$ª;2+g$ª0¢$ª6À;C);¢
Á 3>-·;/68K/-()<$J@L0M-Õ¤I+g;C3>=B;C)<;D3>'GE7$83B$8)b;F6ª$ªHIK¤>;CK/'70 ª | BEDUF H;¯¡ -F9«¤>HIEc$&-H>; »ª»ª»ª»
± E76ª;C+.+.'k3B;C+b6ª$ªHIK¤>;CK('cHI+16ª$J%¥)'G+[3>'`EG-H(@<'Þ[email protected]·H;¯¡ - '`¨ 9µ'GE—²>;C3B;¢E*-V0
)'76ª;›E(¬ ;C¡ -Õ;¯-F³Í " ! #à " ÃIÐ ¿†Æ'H'70 EG-0 ;ÕÏ:Ð ¿*Ãi˕ÄGÃ4Í «Í ½ $% Çé
;/02-/+m=>)-•%C;¯)*¦§0¢;($8+b;C3B$ª;/H(@<'(¦B£I¤I' ª | Ñ DÔÒ H;¯¡ - '¨ 3>'GE7$83¸ö ¨ %/'76«é
ª | Ñ DÔÒ
õ
G
Öę
ø mÚ ]Ü × ù ‹RS Q A
¼ Þ¥E*'@L¤>;/HI3>-·;¢£¥¤'G+,@c;¯¡ -F3§;¢'G£¥¤>$&%C;/6«'7¿ HIE7$ª;´'cH(@<)'3B¤5;¯+ÏÓßà‘+7¦Çã«'
;/68K¤>0¢;¯+m=§;¯)º@L$8E7¤>6ª;C)<$&3§;¯35'G+m3B;C+=Ïkßàx+—ä—¦B=?-435'—Ýr+.'`;¯©®)<0D;C)A£¥¤I'/N
ÂhÃZ§ËcÃ#" $¸N! Ì-¥3B;F6ª$ÀHKV¤5;¯K/'70 6ª$&%4)'Ó35'EG-H/@.'ƒÞi@<- 'Ó¨ 35'GE7$83¸ö¨ %('c6
°˜Lî ¦ ìÓÝÛ#1'ƒ%/'702-/+b0M-/+,@<)<;C)¾£I¤I'(¦§=§;¯)<;M@<-43§;Fà8< ß ¬¾¦§'Þ>$8+,@.'¹¤>0¢;ÕÔû > Ö £I¤I'35'GE7$83>‚
' ¬Û°›$&+,@<- '(¨ ¦ > Ö ;CEG'7$J@L; ?`¦®+.Ÿ' ? ¬¾¦§'Ó)'º³]'7$J@L;@?`¦BE7;C+.E*-VH/@<)5;C¨ )<$8-5»
Ò 0D;êã 0 ;¨ ä¾$&3!'7¨ $ª; '¨ @<'7H/@g;C)m-/¶I@<'G)1;ÕÔû > Ö £¥¤I'`+g$ª0`¤56À;F¤50 çh#Û± £¥¤I'
)'GE*-VH5²I'GEG‚' ¬ »ª»ª»À»|¼+.+g;´Ôû =?-43>'*).$ª;D'7H/@.)<;C)m'70 68-¥-(=¸¦>+.';/6&K¤>0 )<;/0M3§;´EG-0M=§¤4@L;?E/¬ ;¯¡ -´=?'768-Ÿç#Û± ã H;C¡ -¯Ýr3>'@<'G)<0¢$ªH>$8+,@g;ä!'7H/@.)<;´'c0 68-¥-/=»h±
Ôû -/¶I@L$83B;¢3>'G+.+g;D9µ-/).0¢;D+.'G)<$ª;¢'7H(@c;C¡ -·;C=?'7H>;C+1¤>0 i
iî(í 4³î ¾=B;C).;
¬¾¦§'¹H;C¡ -·¤>0 j
i*òµü•³
î 7é
¼h0 )'G+g¤>02-5N½)'G=?'ƒ@.'Ýr+.';F$83!'c¨ $À;¢£I¤>;/H(@<-·;C-·¤I+.-F3>…' > Ò %$&+,@<-·HI-·$ªHö¨ E7$835-Õ'G+,@L¤I3>-´3B;C=+ ÏÓßà‘+7»
Ò 0D;F02'76ª²I-/)1$83x'7¨ $ª; '¨ ¤4@L$À6ª$8æ7;C)1¤>0¢;F0 ;C¨ £I¤>$ªH>y; > Ò ¦§£I¤I'`3>'GE7$83>' AŸÑ D¤Ò ¦
-HI35' Ó '`¨ ¤50D;·8à <¹Ï £¥¤I'`K/'G)<@; ¬¾N
G
> Ö
¼hH(@<)<;C3B;ðNh+,@<).$ªHI‡K ?
Ö »x¼ Þ¥'GEc¤4@L;‡> Ò +.-/¶>)'`;¢'cH(@<)<;¯3§; I\Ó Ji?XL
÷ ^» ]4…' > Ò ;CEG'c$q@L;¦B'7H/@7;C¡ -Æjì Gò ì°B+.'7H;C¡ o
- K
_`
*ò ì
Ö ]h ¹ 1× Turing−Reconheciveis
Reg
Livre−Contexto
Decidiveis
Irrestritas (recursivas enumeraveis)
Ling. Enumeradas
Arbitrarias (enumerativas)
‹ŒŽj qihuXd ” h!
s r hZt b—dfgiq3d@hp s ” hpip3dp.kld ”¼Œ f Ž# h Ž dfp
Þ^ßdÈq s Ê s Œ b uT– á h ”¼Œ d@dp gh Ž# qKh dà dp Œ pKdYp3bjÿq3db#pXdßdncoà ” b#p.kd
s hjkh  ceh kldp3gihjp Ž qKhc ZÊh g Œ s hjpÈþ s bc dßdnceà ” b#p s ” jÊh pKp Œ s b#pCd@p  hp
qKdp3à d s g Œá hpc Êh Œ fhpŸq3d s b#fâld s dkbqihp ab#fp3gKq  h  c­heghZÿ d ” h
à hZqih Œ p3gKb
ÖÄ©