1 / 9

AAAI Technical Report , 1995

Context -Free Language Induction by Evolution of Deterministic Push -Down Automata Using Genetic Programming. AAAI Technical Report , 1995. Motivación. ¿Es posible caracterizar los distintos servicios sobre HTTP?

iago
Download Presentation

AAAI Technical Report , 1995

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Context-Free LanguageInductionbyEvolution of DeterministicPush-Down AutomataUsingGeneticProgramming AAAI TechnicalReport, 1995

  2. Motivación • ¿Es posible caracterizar los distintos servicios sobre HTTP? • Características intrínsecas: inter-arrival, tiempo sesión, tamaño, numero de paquetes, etc. • Evita el problema de HTTPS • No distingue un BLOG de una pagina corporativa • Análisis del Payload • Keywords • Expresiones Regulares  (pero es un trabajo difícil)

  3. Motivación • GET / HTTP/1.1Accept: */*Accept-Language: esUA-CPU: x86Accept-Encoding: gzip, deflateUser-Agent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; GTB5; .NET CLR 1.0.3705; .NET CLR 1.1.4322; Media Center PC 4.0)Host: es.yahoo.comConnection: Keep-AliveCookie: B=ef4mqrp4627ou&b=4&d=NJm9QoRpYFIXrfiI5nANQ5nNqNvzOFebQOyogA--&s=fk; YLS=v=1&p=1&n=0; F=a=AvfjeagMvTCzapwlVOCqQYufGNVnW6kv_pOcmaQWbUj9wySpihlCbdvOCunZAa826QMBbYs-&b=fwY.; Y=v=1&n=8cjt3gsiv1vle&l=j0hj8hjeh/o&p=m2hvves013000000&iz=11170&r=fl&lg=es-ES&intl=es; PH=fn=5IdutZBmwfFxRP5pw8v8WWEkwov5&l=es-ES; C=mg=1; CP=v=70202&br=i&pc=none&tguid=2974030eb8dba03785fcfef1304146b9&optclk=0; U=mt=1_1233522630_695737_mudd&ux=aDhhJB&un=8cjt3gsiv1vle; T=z=v8UrJBvQ8vJBET8UtwtoBbsNTJPBjYzTzZPNk43MDU-&a=YAE&sk=DAAaCRt12hbQKc&ks=EAAc3Oehx5e8d1wlZRjMp9eow--~C&d=c2wBTWpVNEFURTBPREU0TVRrd056SS0BYQFZQUUBZwFWVjZMR1ZQQzdNWFdZUFYzQlgzVkwzVFFTNAFvawFaVzAtAXRpcAFSOUNCbEMBenoBdjhVckpCQTdF; SP=v=1&a=1; sBL=1; Q=q1=AACAAAAAAAAAAA--&q2=Sa13cQ--; adx=c19301@1236336922@1HTTP/1.1 200 OKDate: Mon, 09 Mar 2009 08:04:41 GMTP3P: policyref="http://info.yahoo.com/w3c/p3p.xml", CP="CAO DSP COR CUR ADM DEV TAI PSA PSD IVAiIVDiCONiTELoOTPi OUR DELiSAMiOTRiUNRiPUBi IND PHY ONL UNI PUR FIN COM NAV INT DEM CNT STA POL HEA PRE LOC GOV"X-UA-Compatible: IE=8Cache-Control: max-age=0, privateExpires: Mon, 09 Mar 2009 08:04:41 GMTConnection: closeTransfer-Encoding: chunkedContent-Type: text/html; charset=UTF-8Content-Encoding: gzipc35f v'?&")anL|_Q4ZAhMih=youi4(95kD4v}"9YRk4=|l>pokImZ-.0/?fZt%lv$_l@NUFz|=Vln|Ve?x8cX0^>i;mGx1_fiuRLe5i'kFu\d\pt"FyOk,~D;DbIg4y_|T{1Iz0d1_I2.YJF3,yQ,_YOfd^$;Ex+|Bog</U=g5{%H9fu%7?9>pEhbE.7Zg 9|'yjnATOxrV7c%Y=@||e3 smty5_ijd&/V$2j_f_42Y\d!Vk4 -,:dpv<o_y3vg z4oz?W{jr~{{S/VY&xs| D=>.wh*~_i<NnNFzljIwM0Kx.e/nzyt~Ox}riwOx`5/F5_/MRi/Oj_O>9<?WPMGDg~72)Oo{{y3X0?~][[p<{"?\~)#dwYz=:)ss}p?._dzh5wuZ,&~-\<?xzYE/ejvn.?|Yr/?\&k~2OU5T%H5yhBo!a/@]zMO$+ [et>(|vzg+Q\z]i-o4P=}p;){ggEXQk}&G&-2O0Lun_^%|?}K~5IE=!sRv-gI~X&`3iwbhp`X7UhwK!L2V}o6.Z.7nU>%foA#_gTwhhd{^~|< 8G`HyA~dYw^;o'/^ezS`(1IG\\0?Qzl"T~Q/Ypj(%|eS8hg\6Hg|}=g49$.i_Qe%E&=|}pRr?.,7ihj..|?Wr@z\\x$ewX; U}|gmw4>6:_T@<{lA>LGxBsk{O;g/Ng2X'_tA"sL}5K>Cp<Y4q{Nps))upK`/&Wwe`teQ86j.ddu:RI2$d}-^$InlO!k|6)~XC9>5O3y=>bFpG^,pKIS$ yA'+D0lB#zE-)O|@>x<Wpy+%:D/0r6"(=(f5 8)hv@$x_&`@?Lz&wN?++[epxx_0Dfg$QBG6U"X5d -p!XP`46RqI?6SE5m'[gb]q_E=#[2XO~v`>#DW/K{o}jIww%/=RXB9VXe>U~m6?R**Uc3M(0ru(_..HjG]#m<ZTW((:3sX~ew5_"(tkX{M1T7YWtcs^v9Ei<kW ^-1)!dbNzI&}]_e=Z<{~~yvYw}i:WWxgCy/?o.1.xImO\t?nyf>*A7`}"Bn7uFg[}1+KOdh1x.9RnR6}y`Ih.a%^]Dh>gRK~*|Zrz!#P z'h_[wLNb>6?/-1qP. kAO]_^4=]20&d:QN3Ti)Fd.\k~N!Ob{85li;]`2AUm}&,)qn5M?!(y@,_Z1[IVMRNvrLTsij_-O?|'dO>Qdwt8L<[Ga(&xL?}?x}6\4VYjhs|=l?K"=-$t^y>+}5yHh}bg<VIi|HEr1L-h:GH_9@5>yIT\5AWAxMw@"w_Siwy20D1a|F3`DN~Is7lshPA}i;C&49Hn2S{6Kg=p+#!z~M~SjRx>HsNB+H~}{4#2bTKgF;hEgh}0;=O/xHDt?wz+;tDa`@pxd~|]F" Znbd-7c^3#{[WG,0h(btAA"[[bL3.X%??N>\2k)!GPa;!uM%qy9tJ.pukg/;pH.w$)M8iZpT2 5C}ra+3C}@gj9=G(h~Dj,^"$^4Wr?B=*7S_Mj@oUGBhNbgSSW/i|"DI%Ndq:kR@<kAuqR_[>Vj?Sl1g@^.-Cn^JTh@=5;j@ludc^^TA@xMk$+1|A:!2[rx$}W]?sH"$0'WG7%vb0Z-6yM[AR!z7=h&EMI=M3=9|?4*&c";%'P=r%[OV?QU}#O?!_#?vMJb/PK/!d^b^IrJXX+,\C#@RBp~C"/<Y}oMclRlBqF:9d;qO@>v."=*O#|y[j0y&_mCHxLPpzj0 :1$x4OH@e@zFfW-TvETjdhB_-r3hqmBD;'H5|BQ|d=|Pa%6'EBLG+SE^<c5_jLyaD_+T hXTuD}@_Z{\'+X6EuuVosu8*1!ueqH'+=$=! 960%R>Iyf])%5"~GBJoVO<Gli1Y_O$ooOxS6[d1lti0EWe3 Rpa6{4IwmMB)tujY:!14M)P%3h_kv}H3aee2gW.{GJ0Igq|=HD6`3HL&[!!O}cN0hIR@-qf0GS@xj.*i&KI 607L@egI_j*K*a+No.Z4,Mpv(AVB&,v>Py.2+b4/A:S!5SoIlHKF~VQ1=ZFX5|Wwz>5CPuFz<g\79ooto.w:fLK'Ed>=+`8~7X{O%wyzt|=[R`>_[|/Ivk@]iLoMh=Dj1*QCv.krJDGm_nPx095_N0o=k+'WdtG8>;W(+!Tv#E~d4uao>'\RI}OnrU4}$P~^1~Qh<!zJcZvBgNg?2p*'9Gf<Wv:0FH'g}D8A4//vEb'9Y;>jG>::L1`UPPO}ZsW(Aq@@0Q@6~^=tH'CQo+|F!B?O%5Ajj\t`a^jkA6I>jzcqf- X1B)"'3\`U>FJ0'f]HT5!xIkO0SdbhkRJu"9saO]9nl##7kta0 T(MW`{zKA)u0xUO31wa@t%hkdP;@J.-3l}L 'LTr% *O`hsO+yp8Lz}Mnf17W8]wnPybm2E=S@'Qrh>s)>`b<iI vsL'0="mvjP"pRB+(@c)1hzYvjunf]%^/65{A]fjDH@)9<< VDDj!;??Rc;%i6x&6G@ L'2b2`VMGT^#t/6<PlLfD!H/ 29-2I o`r|`ARf0a)QEq{HYWok9!Zxu7dZBk3_>PTc$f>^<)/,4.O);(nA[E\cIrRW?bk97Z*uE >@BCr$8iT#kd/Y)p`FIS.\0nn60&B7Z(T0lGL2nnMXJS,Vhn4 UU`$S#sE6T10s3S@>J.2g `rHV,Hl%jE$8<XqMx&e)yaHj@My8=L9g&`2^64+Z^ (zZ*G"("aIg=*EK,TGK@Y_Ud)9'XA;*PD~ KGMQiP8hS$Ydz7^[x'f!HO*l,{4>7"( !ki*an6Av@{S.@)96Nj)X7%:DY>sq@}c=t,rHX_]}@2yNRUvu8Mo[9](4HkY|Pm)47)X/qJV#Ll>z@'/<l<f9sW1f@@!H-F:34-Fj!lYSI(*JMP/eRZqLgQBC8&=}*y.P|&gJE)(Ssl@~a&vY<(]&Y#RUJJ<$<e452"7vmCf/`I}UV11\4LmxDS!LBe~&WLa6O.4WJq$^"%[5I4TPL]B:`"{=8FRv9ZfhCo>a1 $lH$HEFGeVWP<PzCWQLNu;^lmbpCsN&&dZIOSWEpI&un8o(nc$JN)au%D"3|B?(j(Qp]4xR-gzsy(fD0%JT5~,Ogn$vwX\!G%1x#Wa01(R>0!e::F?GH9E,ggaU' *l&lL!J"<5nILtn0IA!Kp{2R`g{tECu23%RFIm:y/.f}m'mVNblHAj(dOlR">-1.mVoY@nu1$H#8K"'HlDY1VOi`mD?khcTj4}eRBt0wd7wB\npBkr!:P0(6~G-v7QaXEd8rTiVxCZOo"iS(T#&5!e`xnPr00 qniq34r>dih3UAI;)YNdCtXc$)p!]9.iO&`&6i]YLxPLH(#5%8FEAC~tVjwkcU]SZqG7CeexeCmvmiIJh\x&{e}3QTX}h$ g~A?_6FDdT4&+1QOF.x!fOn'{TNG{Zh@_g\A ".E,lSE@KX?lA<{91kRfAx \$])YCV!C?gHbvohREHkBx~W5!4wcgedFwy:yjkIy1P8o9ru6qCI,k)STO!sIHV[u^Er<%'WW#jaQ5t&U#j7>h)Zl'od))g=p{-'Ia5PS@0$F=QyFc<po}|TfK3pN4xVx|a$]q\0qfT%Z6I.a3U>f#n}L<ZdZS)pO, 2).tP'SE:1*:>;K*w'990Rd_"=wUc~op4g+QBen>U-&8Sf(:rGb=#e-Qp J|@wx`LI+YLvT?D}7?WIRe.<1W~VT=XBAP5[Zt&~0A['g'GSK7FgxZ@-AhE\hy#(IbrShJ0((H-Go"VIJb&O>p$G-Y[=5>AD4gvr7S$+%8D#kXCE>0opR\lx>Iv2HPSwQLjrBs95gwSBG&Jvz9k#y)~.Le&:{-TjFIg6b;W d#98Y{65'>WV0s#-oWNJA<(R'FxQmb?2*uC+UO`84kLVN)DRvx#ZGguc'J54i4`l:S&S4`h[.yI"&bR|c9/XqScxVrDF$8aKPlGYux#VOhHq9#iPi%TVNV/\f73 (|ISX*fkk/B`Fl!,P\V[#>Pf-yl{_ViBCO9#@)7I Es`FiA7r0pX,@m{KJM,s0}Jh>p/bB6BEeO#&Dy"e905`G!G50-7fJTk6hVB\=k*SKb9jD.O;p-<M hR*)ulJZlG'NoDj5Z5@?\wvA6Qd+vg_y^*nA!W|[@wc>g|[I@ad44g!ImL5cV"Gmt>Aobqm]U4=7A0uEK34%Ddy8H'H)YL4TL]4V8QF =Wh:S6-I%oW,2s-5tVZC0\z5^zaUrR./eI*:9X&6)%t$;\5bMo^*3Y(iFK\./o&boIoAHWbueW35E<O6RsfcKC]&i6(7E9=%(K[=lEk[ZD0+,W(rdR`,5JytCY~LKIZ*5l(7<;ol3*UUQ{Tr5(ns(JA#[$H|>][M+A]lh$~!2&c8r`Q}'MS>Sp 08HL'>J+oN5I[sq&IOuTCku.$%@QktFRtYYUn}0Pz432j#cA1YdRrRzP(#Kk^-

  4. Motivación • GET / HTTP/1.1Accept: */*Accept-Language: esUA-CPU: x86Accept-Encoding: gzip, deflateUser-Agent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 6.0; GTB5; SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.0.04506; OfficeLiveConnector.1.3; OfficeLivePatch.0.0)Host: es.yahoo.comConnection: Keep-AliveCookie: FPO=nt=3; FPP=undefinedThemeDisabled=true&undefinedExpires=undefined; FPC=t3; B=0ji37o94of35c&b=4&d=kfyA5V5pYFK4GNhvEBTuvYcrj98rdqnzBZdm3w--&s=r9; Q=q1=AACAAAAAAAAAAA--&q2=SZJ3cQ--; adx=c18638@1235052069@1.c19301@1236338195@1; F=a=OG2rvnwMvTA0wBrYyCQKxiIqkYWPlqAe4TL3WTfAFuw4Q7sg7KNxYRGQs4vpjKzpPXPU8s7k5TFp7zEbp6E6xhTkbA--&b=1f9T; YLS=v=1&p=0&n=0; Y=v=1&n=04jackeiin7b8&l=90d4j54hd0d34p380p/o&p=f2fvves013000000&iz=41000&r=gm&lg=es-ES&intl=es; PH=fn=SeiIEmem6QnqZobHWRJaVbiS&l=es-ES; T=z=LV7rJBLpiwJBXy0tLUMRnZGNTMzBjQwMjUyTjYzNE8-&a=QAE&sk=DAAeg1SJQS/rXy&ks=EAAkAylmqtKX5zhi3JJH_Qadg--~C&d=c2wBTWpRMEFUTTNOVEkxT1RFME16Zy0BYQFRQUUBZwFZVzM3RzVZSUNISUdWN01NUlozS1FJUkVIRQF0aXABUjlTQk1EAXp6AUxWN3JKQkE3RQ--; C=mg=1; U=mt=POlo4J2MhYkY6h8D8lMU0Stx_kPM5S99GF6ghA--&ux=iPorJB&un=04jackeiin7b8HTTP/1.1 200 OKDate: Mon, 09 Mar 2009 00:05:23 GMTP3P: policyref="http://info.yahoo.com/w3c/p3p.xml", CP="CAO DSP COR CUR ADM DEV TAI PSA PSD IVAiIVDiCONiTELoOTPi OUR DELiSAMiOTRiUNRiPUBi IND PHY ONL UNI PUR FIN COM NAV INT DEM CNT STA POL HEA PRE LOC GOV"X-UA-Compatible: IE=8Cache-Control: max-age=0, privateExpires: Mon, 09 Mar 2009 00:05:23 GMTConnection: closeTransfer-Encoding: chunkedContent-Type: text/html; charset=UTF-8Content-Encoding: gzipbfa5 }v>ELDRwG9ld) `h)Y4fXUvUgO_<o?K$$F'Gvz]-WEuss9l?U9\k_|Ai:/Y:g*MN#u=U6_5~]ddzUn/tYdO?>o1eM=}~iv"'e/d~U\MLe?-$SkN5:HyZd/h<oY!E:HvRk7M:v#<e0+b5Ng.MrNa|uYU7gbLOt[L")d0+Pt=Y:E6I\f9@?zk2M&sr&u&?>pEhbE67MtZ0~N2F<i0xbZo|9,RBNs$=uo1W[Zi2<AdVr[OXMV`ZXav~vgFrONOXAg~H9h@[XU%N;d>ofAh$/W{?7zvv0cwa<zG><BwEKb*W^'gW%r3\b.V{uX~<e.?<:;kO>z|>}cs^^k =<9>>?xfxcK6i?^s|8<w;x__w+Y#"qrzZbtEktA{IqD>J/^z|&lX;# $yh=i/]^gP'E=gOP,^rEBnd_k.}~__)~V;sAA__uO}eZ/I~R0<>2DC|zWP i}"\~EfR|:2~l"f}NOiQ*fP4u_ $>^Qws:[XzMChhg=~>shX|k|nZ4b}`?>=psOU&fn^~;={<^ nkI2)I.t9OJ5Is&\F,/c!TO*1,Z0Idz)os{NVDV>#fo&j@guE[G4kW3{`t'>j~_^{V<&X/~p.dODI M8Ac_`*|A|vPD)C.a=AM>AxvG~v}BL.Sj@_f[Rh"?;)(*wr^8wMCSPstn=g\5ITfg8-^_cn}'pT]|m{^_]~@cl;}U/*eUBlLd>Ye c&~`E%P~m"qpEJ5.Z_`9SdM|_4xiK?3EwkpsLiMO~?[7_?{5y>y1^FW5dp{U[BVu:]g/FO5tLi@ ^&)fdL?TFd~ ~X^dH4<O(y\5I(L!"9]%1qB\K/0:IV$Bt=C<.B%!PHp?opAXrW~4;S I<Bj/gTR&XYpA=]__V'Xe?V2Fk1*&CIT2c<(x1v#x"piCgzm#M>|4BO@aQM`>-2+a($?/DkL-g?>5F~WO~_{{Idl&{>t>ia#e-<+Z5i)=x7Pbxp} Pjv5:M@l|5mEa]Q8@gfN~5L7NFWK9_@CH;u+M>HN>a3\L>a*X_|F`kUHoH&dH3XU,o_~3^?/%H"kXw/F6}p/h03"_~4D-\b=&":3}%xQ-')~%X{}|UQ(D$\!1ZcV"zb\'?nsX]7k\io;`u%A5xi{ptaN:jQKeZ.k]Tmm@/,Fs9n;Zf)rv]={g&A@(^z]E2>v}ykzBZ:$rkye@DE:S'T+L6] ~&Ob{85li;]`2AUm}&,o(qnSk=bA~Z+CPDXq%:cTE<lk:ukSxU?hf'a/G^|I/h95,]aU^llJde&%;O^<}FU:f;1Z5_'dHoY|zbB=jeJ;$yi~|M<Z43r4?HJK"]FpTj_t#Pl^$/ck|??'pwWBCU^SRn4Cj*1T@?\r|Aw;I0,a4FD_Gl$>wA?sA/`bM/AH>%shqsllil@z2R/^]_|g:P&w0+G~\=1QL@+?Gt_ug~~kG"`[v?z{gRWCJDP0 hPGoe$`&Fp~0p>A<pO.=;x~!Po(!VH$%d15=\"4(Ic{(fm}_GoPi*1Z~:xJ2{^~Ar$NG.QR3/)<>$4}-m<i7?GA#jT8/Vdxx<TX<Y!vTVTi^54jZzV?j`-:Fs{8C:tIs/!p\f&J*q Z&l,\'U^k8p!B8*f8DSS:y<[Gp?%EMF?4/`:OP;h\fx]oCfwc}9v~^]_vI:]<f5Q`L/yM[AR!zF=h&"bPn~3dho|'.J)zeENI;T7CIcx`uM}y3AdB8G~Z,_5_CH5E^LHrJXX".&<8Ti3V[@qZP\qN!Gl'=Q7_=TX%_2u aL':w[D4^E"&3aaG{=i0`&Pf6gp5o.]/QPM(;\<+EnMX#bZ<B^#R{w2__Sgg%<^fC*/?/&.fL=Z(:RP6dB?6#w\Gh{5V$u(5dBX8Y|.bxaWM(.F*[=Z! #lDwwt(#M:(3x|[7SN)Q;RR]OG(-%G<_b|I_H^^dF5A)t1LDk8~*|_~Z&D{57`}r#Z ,@G7.v$Ak1!;Y+-$3U^-*Ic#d'AJ-+KE2%dI0 ']MAt =y4sB-Mz[AO7hO06OIQTj,%a`0=k($OTkP?(]"W[qr}sfi;GEY2oe/UpYF;N{SN_&!B N"-E}n8(i_0G>&,P2rh}9R<%._l4o^MF_,+<S/gOeN'b?u~Pa|zP]OSs6@v}_h&FTkvt}[{vwLp_UQ/E?y?!q|/izk@]iL'_oMh=Dj*QGGv.krJD8@m_'Pd0~a/Z'|>5B'WdtG8>;W(+U*]"[1;Ep!$:QNG5c.z3wyp!>i9[4FGl'pdXtq*XH|Y,9c2qtN84]fhD4pj~1@I|y{xx/r<?~!q>Q}|\`>p2xhDBJ:g(qdJ}8}FuLC8-Gz4X\9;2_>>>.qq:{/#<d}rCv<&8D7.`M|8;'gp{[O/HV*3mz1&ER%=l"sO[#^3tnu&"y\@)bK<m#zz"Z_n.LSwjln4U9xc0e nC5p]X&0]qt$oqKrGS:"`!H{\Dp2LvGmCJl>Csj 7r^yK&v[+tm;@~m,]6!_H)nr>s)>`b2KiI ]gNkB'0="mvjP"pRB+(tOc)1izY{vjunf]%^/65{AYjDH@)9<< VDDj!;??Rc6%i6x&6G@ LNe2dB9]PW=t#t/<PlLfD!H/ 29-2I o`rgARf0a)QSwsB68f?9,tLX|Cy2R_(YiB]"!XSvE3P(0e"1@32^/'oqkW-shhF[1QUC1%hUy{7D7:=AJg),7b0!"Iq^f'F=*RGa:^S `sB<hh]P#d,psCmVjf:/G#v#4iB03'r.bq`93*`Dl$T2t87F"Vb1.GP`e;QV-"dL i7.=l-@omkJ3QD,.N@ERj0S;#nxa-jC=;jv;3mWpgCE``GGt`iawu}J}QPViu6%tKB8h6w;S%hT/c$vvi()*8' zJ>$kLofxoyd!,dI%}fGrU5b4M1>haw>F5];)gfo1zBltCnz1(9Q,s\~XBO!t1md)qWr^>rTU]NSVAW:RfC#|%Th<8euY5S0Pi A*|D'Vot|@2&3mNq+=WzcDq@b3NcxI\b<BKuq!O_."`RJ`90b#J4x$#9X%b505cLS<:%C:`*am/DX0{%K%kDJIFQSF<T|yVSq.Sq0CXO^elj>S@jMH?ACt;1@nw@X<$Tgbx/,4BMsI-rl1iX2PK9/DsJ5+D*NS$eo[m`:h; K<~6:3BDTd}I\fnz`;.&z*_$E]]Pvv(fmKG;sN&&dIOSWEpI&un8o(nc$JN)au%D"3|B?(j(Qp]4xR-;gzsy(fD0%JT5~,Ogn$vwX\!G%1x#W.a01(R8>0w e:: CH9E,ggaU' *l&l3&S&E+9O[9d"LA-{o:{DR?\sXk^w"z5blr@LqQ1@R^<Vph>dpOh?@16I 5}{YEV)zsNluyEqKt/*'#,$.U[,r8[@c0IDB#:e!0QfDVeSX%BBNo:Yq*'y.Aw.\niQMwu=y.`q\BcU:@x#1kA>%y-:Sn:cbc/H8qyIeMHpm34u|#[/#\L-#?6Hcab7@_4gg4"OwNXEaO]H:&QLjvz$k#9LQl)dvI{2ie4IrG4bSbBW%DX1U@,1/{R+]SZ@8_<EUr"<?J,+ .cTjoM&OWG.4+K)^nDE%9;|7_>}l.97""K"0G^u}dy"gB}lFM}!hOR4U+r+8HT $!TMb8Rhh+~g] ='?%RcM,x/dR"==%|j5d{bu1_[,.TQl-;^Ch-h3mMY)o#9']v:~R4Crs(pn:xq:8j^!M$Ex5x)*H'$i$i:"9y+0X:pfK5]-V67q`Z^tJcAT]k]ln(Jux) W(l1cdpC8ug>FpDTs>DJjP*R8gZbbTVXAJ]um<+W<08.{W83kwEEU-$Zs@eCN*[>&l}J2RtksriJ;M)pO, =2).tt_'SE:1*:;K*w90Rd_"=wUcAx4g+QBen6U-&8Sf(:rGb=#e-Qp J|@wgLI+YLvT?D}7?WIRe.<1W~VT=dXBAP5[Zt&~0A['g'GSK7FgxZ@-AhE{\hy#(IbrShJ0((H-Go"VIJb&O>p$G-Y[=5>AD4gvr7S$+%8D#kXCE>0opR\lt>|Iv2HPSwQLjrBs95gwSBG&Jvz|?<IIh_`Ub2R~tip*5qB1r+wZB\VF+A+`j}NQ7L+'HvIr F<(R'xQMb?2*uC+UO`84kLVN)DRvx#ZGuc'J54i4`lS&S4`h[.yI"&bR|c9/X{qKcxVrDF$8aKPlGYux#VPAipucYp>"DoZAQpe-oyc<4lvB<.$uAjck{*Z",;a&ekh-<$3B.:0f3!(D<ktty#(gT42@'G"_S2QO*-,{r\6&T-

  5. Introducción • ¿Podemos crear un autómata que clasifique estas cadenas en aceptadas o rechazadas? Yahoo/no-yahoo? • ¿Podemos inferir estos autómatas de las propias cadenas? • Hill Climbing • Neural Nets • GeneticProgramming

  6. Donde estamos? • Lenguajes regulares • Expresiones Regulares • Lenguajes Independientes del Contexto • Español, C++, Java • Lenguajes dependientes del Contexto • Aleman Suizo • Lenguajes recursivamente enumerables

  7. GeneticProgramming • Se crean N programas “aleatorios” • Dentro de unos limites • Se evalúa su ajuste al resultado esperado • Los supervivientes son cruzados y mutados • Se repite hasta que el ajuste es suficientemente bueno

  8. APDAL • Lenguaje para la descripcion de PDA • Basado en las operaciones básicas • Enlace hacia atrás • Funciones: Read, Pop, Push, Dec • Sintaxis tipo LISP para ejecución simple

  9. Conclusiones • Resultados muy variable, dependen de: • Los datos de prueba • Probabilidades de mutación/cruce • Población en cada generación • 1995->Mejora de la capacidad RAM/CPU • Para problemas numéricos o de clasificación existen frameworks • ExpresionesRegulares-> Perl -> PerlGP

More Related