90 likes | 236 Views
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?
E N D
Context-Free LanguageInductionbyEvolution of DeterministicPush-Down AutomataUsingGeneticProgramming AAAI TechnicalReport, 1995
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)
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^-
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-
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
Donde estamos? • Lenguajes regulares • Expresiones Regulares • Lenguajes Independientes del Contexto • Español, C++, Java • Lenguajes dependientes del Contexto • Aleman Suizo • Lenguajes recursivamente enumerables
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
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
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