From 71b78d505e0fd5f39e245d19ac0b0c4502ad3023 Mon Sep 17 00:00:00 2001 From: sejo Date: Wed, 30 Jun 2021 16:59:34 -0500 Subject: [PATCH] =?UTF-8?q?im=C3=A1genes=20d-turing?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/d-turing.gmo | 4 ++++ src/img/dibujo_d-turing_parentesis.png | Bin 0 -> 7943 bytes src/img/dibujo_tabla_d-turing_parentesis.png | Bin 0 -> 11533 bytes src/máquinas_de_turing.gmo | 5 +++++ 4 files changed, 9 insertions(+) create mode 100644 src/img/dibujo_d-turing_parentesis.png create mode 100644 src/img/dibujo_tabla_d-turing_parentesis.png diff --git a/src/d-turing.gmo b/src/d-turing.gmo index c4dc1ffc..ed78084d 100644 --- a/src/d-turing.gmo +++ b/src/d-turing.gmo @@ -4,6 +4,10 @@ bailando los inicios, una máquina de turing parte de {las danzas} +=> ./img/dibujo_d-turing_parentesis.png dibujo de tres personas emitiendo un símbolo cada una, alrededor de una cinta de símbolos + + + # componentes ## participantes diff --git a/src/img/dibujo_d-turing_parentesis.png b/src/img/dibujo_d-turing_parentesis.png new file mode 100644 index 0000000000000000000000000000000000000000..152d75c0dc1bf507273975275c71d858cd73dc5d GIT binary patch literal 7943 zcmchcMNpg#(5+vFA$agWaCd?PcXxLfg1ZEF9SClLpus&jK?Zk+1b6q~?s~u7t-H9( z|KIfKQ(dR3S7-A?sw&H%qY$D10DvwhE2$0uaH9Y1=ScqzKvR0F@jn4ui7ANz!0&j} zXA^|~Jjhf*MiO`nkN?y8pF?z$Q<6g5eMgGN&5V0#^Bn+41>_{fG`*HivON88rQQZb zAXR&xk~P)kN@T?oit{-Uq(l>BaK*%~yW@iLbw&OCGKcjP&rAwXo43w zs*g&QniNWTfrJ|=lPfC-lG?(e$Nrx^J(M6n;{sh5pGLo*98#sE2~9)Bi6X>F2=?=- zo=TAIhiZ_3!DTdOlvMNkasJR)x-vyD5V5F#@{{>Zj>f5zPof`}E9_e%$}7qe=5ZpW z?2B2k4{{OH`y?Cr0!V!nA?vP;o2YdVQ|-$j5@+UT)o)go0j4!sT2m$zC>Aja;8zJ{ zlhb-AU_61}fdrz*bPP=0d5*`lE@x^0$N_s=79dC*X*aR$4GttyLKPZ^I$0gh_llR_ z_T|UZtWhjG>*62Jdn%v7N*x@sgZ$&_TWsrU=JM0!TOKJ<1YNx#6x8V!#-MV8++9Tp zm{6NT2+)*nhVbS@HZSF*h3YqAPK%Xp?=5ln{Z?U8m!I6=-v~j~o=@(}vyMA5T}Qcv z_4-=G@qF~V+(;A;2TYx6QFRS_grNAe&0Fo>V%pneT`pu4jaFVXIh9Q`2i8=CuY8cR zU;7Qx{U8D=T`j}1)2dQIPw6S!KP}!K&D$(K-dh-eF~8b6tVAAB6)3ulQgCY*u~Eo< z+}J!akGtDkS43QERf6c5Ag}T~Li4?XvI_?^l4P||t_e6hw zLSksw#JNZwvEcZlBGJ!A_L4ZgGiZx#_Tdt6-jzR_M<(Vt8gKh1XZ~8}_M7mQGP^Gb z=eA(5FAVUU!*P!E(RqA?pF%Q7d;c^5*=fa0uWg`eO#5eECNZ=?66^N3(ES@yhf;ZH z`ua3(U~z~os~%hW9C`1ML!Q%_==?XpZtTzM-*++;$IdMN{P57a^_=2=c$z$^=`G;I zq^@i1r>04uW_O3-@Gsji8Qm%GNEPGqQ<2m%FD}6X(`W}rKWf@*by(PjbJd4iUuvv- zD&$NQa=VAddNJ?&2H&Fhm-@n*Hi8a$F{mx@k0oRr^CV>Nykv%5yW2Uan^Di|<{-4t zXRB~MM~kDoze!~RX~*|Yci9zXzxGIq5GmnD>@$Z2KodEva|qXFKGfDN6A;Az{t{*i ztuJ^%h=w(bJLD_n2vW&e!&Ho_KFkQJ)q1J~mhYr1X^4FIIWH3mcekspC(-j|&gN}i zRvmP6R8fi7d*i(rlI_Sy=|wGVWTdzxEzjOKAQb8YE%}To=5N$-nkOPUbNP>KGld8N`VKn_-e$Pn zSf}|awZ$teolb27<&CetMOkey)hJx0`F}`v?I(e?3C3UZEV``$&c&;r)t>PUUzRTK zg|OYN{Jr2K8cw^o*T&E@P8YQ5Hrmo~*Lla#15-zAXuGBj1p!r1^J!7Xh)n+KaE|7x zUIK(i$OwLG6nx{)hXxpLG@@Z$ISG(ZkY$Wk5(5ab|Ft;1V$&bWua7vu$SVNgegCtoqiJX2dJj4AM~A>tS2xL7R}5OXlz-G=XruR3#GP6 z6-EFKSl50&bZyp;8{y8%5pxgS5vZUYjlvP!n-~JKmGQiR2nv+iY5Zr_K6{wxnjQ3v zTEnbEgM+kdkHPzirk`55?K<1%=Z{xKAMR$1Re$OxBo~Y<4k|K@wR>zf|8^P-=q`hO zkIi$8meszT)B}%KVjsn8lGqWi8o6JZDMrHuT#-y5KJGBx>0GNzl~nS{K-3!cnm?Z` z^Zf`6$-kRJ>Z$Njm#n~!Q^X8dO#gbb7Vy+b`XPN{>8KpZxO5HkrywT1S3))~Wl=az z=k@h?iqPusi^Z33LB(Dkf8lX~Od?G>YrnwAzl3H{6MuZ#MiEX$+F?_f#5{Y=Yn+Rd za%DJ!4)@0YGHX!bNPQd9l><(Vbh6_xZLauEXJKly)nSMrr8e80cL;#sl|`t^$kVWB z_b>kJ2dAHPh@U1IGFx978OVqgi~`3|Z=^)_>d#i$`Plr9U3&3~`tU6CASqc>PA zm5<%ZM`7;^9W7J<_)vKk6&d%|axuX9WAmX%nY8)3pzhnHQ+V~3mzYQedo)gP$JrZC z=P1vftFhN}3yj(Z575tj#?JD!^!B)F)M;$XT2FN#_X2mDKs$dWf z$!lZB1ER+&qC4JkQG;6C$@hNVN(XHI*Ec`2E1Ai-fKiKRIO8j`F`?BTc_wT38{;1u z`02RZdtem~+f?|hassWpRh?J;Eq>Xw;6h7@XB;)$h|nAPOLs=_X~S;Hf`QoLU2%l+ za7HleO2*@RMGQS$4w7GOH{hdXThy%GooTfL6_e#Y_)3Zf;l8manA1|S$;MuGw$EaC z{QAsmYyHaJz3=!kYB+r7i@t;*$+iJnMhOnf%g*z2+L-q3TG_ni1I#fiP1P)tH#|!v ztI;k7IodRgkFQel5xeQp%HmCii*Na;oH2c3AXWGsQ2>AEgG(JZnu30qvqRuAyh|9> z(<-f@^E}ip6FKjIPoR9AC^ov2m`s~Mca@^%Ea

?*0>5jYMU39r?sTZ*oBPkO{(z zdi(@C(}$b+OHLKI2-J#BdlnPCgakXDo%XUHwLDZd(R#}&DmCZpwB=3 zgENiOae?jQw!Pg;7t*;&x>cRCWxIlLd8CCMN+NA2VKtrePySq^+n<%LSQ z%fI<}Qhp9M0|b3kTT#r;S|ixD;b%6rhX%{#spgGDGAG8cHJ`TW2sKyf*m&cimble5 za=t8)+aUl&q7(1IOVb5vP=6q~oU^IYKTa!(aP~4oCZcn79jkI`L%nj^4XGoZXJFCv zcsg}|E06I>V9mt(AW%2AC5cJ^SU$O0NGM!P@SMFTN5Cg!FR(7pyBbU~8p~|eI-U?8 zE@y9Ow{<-5Vy2q_exC7o(?K4`kJh}eCnpz+lvG7m3+t~9#z4Sgy@JNOZj2wtNKLPMwOXBEaJv2rw5uJnX|w5J|e_<8(h5l($0RSg6k3vg;ZrvGh+H2-TzrEswlcC=6U^! zbB-a{)Qu)>wrzdVgqOvSJxs>rTRg@39!zu_zj|!0j2)|bBKekRw*2)(&`4I*LYMxB z=s#j6febD0+I|)2HpU+2t{K@%DXTKaF3!3bQ1fu^z{9lImqMHK05y?oR=S2idzhdQ<_=Yev2J<*9zPbQJuXMa^S|qdRGb?r-=%1;VL4IGTiB+Gedw zdM&5WFoc$MJ{KuswK$VAj@myzEJmH*F#twYfm_`EeiHJo<1Yb0H=J4YwsYDCBWPy# z=UDBmFOiS!MmtL(xEgOXhk8(Aj8dJ!N?oJtkx&Pp9sEV~Km;h$Oc0Z78_xK&+D4;SL^Pg!B{PtA)2uAS@ zrAr}ex5h^YW41QTVgUM(_tS7jcNL$=!9bh*Uog;;&|7^`@E!%LS`HWS%IcLc+0WTS zKdeKuG|MUQ8L#938~QPQo99GI`eH=+l-(3je-iSBsuLb zMk(^!rV{tQqFhy>Gy62;r!b*t>3B7K3y(e7J$BFufXX2KUK9^|ec5bD+j}E@cd1-=12QFWaJuy0UJ7TL z;2)?(0><89d~-4tGHMom-5e7vCmLE<}vc7ImX+B-A+h@ECq6!v>)lSTN4b!ZmC z;5UsmNsYz=uLHs9Dl&L%r)Ls)p}>~5OQ374zKuy`1@;(R27B$Fe(1rUpj+f)E)yE!NYk@h9$i(g{D0dpL*iSKf+8y*9nLSp4#a<)71CQb4a-!h2#wQwi- z8(L%dhG@SNubLgymr~kq@TUO5@Ux1$K>+a2^&G>5q$| zz>TkVrL|M2h`Ej~@@QFPY*m1uLY1OH1f zhu?!oO}LqK{6U_BUW!B6&la6SK3az%ZBQMdb8jrv7!M89)@!!i8-IDh{2f+2rFaoO zy)y#KGR;`jmO%A?d|-rs&5*ZG`NCmAt$|$8&O&w2X{MnOWizHZ2m}qIIOcl03xQOv zlDs2-UDB*i^86ufO5Fp3m;-(lTBf>&5PynRq&YXBU`SiEYiy9=v~w~ztJfDo&$K@% zUJ?l{(%2b>#b$-f5!yB?j+7|M06+&elJlfU$T}n?Qt5T zb6>21BsXSI(!;BlI{ZmZeV&G9T<%sIm2glpLp=C%xgzC{7gzH`#i19GjEnU9V`;-~ ziv^Mb_$?3bd0g6aJ4?I2BM!Ay(`)B-m8K{p1bQDPuDoTW=L*Q5rp%jThi0%B*+Mkh z{FUrpt@P@%&wQUm3A=wIo|c;$!@oTOHY`O!DkMX}E4K|DIUcztE1 z1Ys+^kzj@r+5|BMAnLH;kex;1eLPu5C8&CjVS@x+C^rxX=l>X_OK~FT0kjPd;iN&*9m9J<)y-FFj)ce!3vW37yBb!U|ck zBSa(`3oroU9a%U;oe&bY23I%#tCOIRC?eu^v#~G!Z1s5_+RRonWxhs*2J;V$5sSw{ z^i>ETN~j?;Ls@aN(=vJTt9&9nX2mGrlsgHzJ`UC4=L|J?IOa0b&(2zy&nZYP0*R(` zAh8Mgr_kAEbQP~ud^=MtT~DUiWH9(h?0Tu#Dgr*AQArA1j}wcFV!CR4ZBc_%34U{o z&+w{h3C>PJ34#dv4}^p2Q8{h7WEkGXXmBvjI!C_9F`U<^E&;if#cWc&4PiHKE+3?C zV$%Pq`1$l3jk4mBcO7pR!K(_q;fq@|f^KZPS-ppZ3aooB(390slTHcgF+;*sMVB*d z3O-7ap6!fZ-MIeq%dpoGmVQf`dZ*e^Hn3u(QmnJYkT$*$6pJoPczO>YCw+a^Axcc{ z8u+u_j{M23rTMk1+@&=r=r;KBXs zHq9&(<)-^>TI1e@4qw0Y_3AAD!DgK;_@^d!P>ETeW=icEK87X)hH)Xt4-CF_=kKZd7}a36%;* zKqSD>L&j9pI>${*GGy*r!Zx>&jB1P24AQj7APLNAJ6YY*NhQ_3xp3!iUcH;gv3)IB z1K1qMm8xC2^Hhc4f@VY~UK``p;Egx@bOS@1G@9;9(WTG}St7%&&?%{1?X;(6mT@u_ z#&9jPnY7~_pVU&vE!tFgo9)q*$!cdn8(t`JqjDQvP>y{Z2&mI$sKPF=jxmQ2#eMwY zz`G8YOPN;3g4<&}XM%LX#z|OFfND>_#Z$ZTq;g+1P z48+8|82T|5cX!0jpZ^>ZCq;Sfs1fC_JXm~vbF@EEViU@tR$Nrlk5n=I$5}DP1PBty zUed5HvJPl>-^_A9fp{{TiwNww=?{~z{W z{Sr7vr@GpHTWSp8wcuQ_ap$f~vvaTCzUO@x^Q%bd6~$`wPjpJ_i|iLC-%h?Fg}FZY zbLCS$8-XU3njus`*r#Faeft#^M_3=R<5%lld(Qm`N$*o~r`Jyg7n-H*sV+xWg!+JJ zzbuz_FB^lz2Aw^~)-rIsE{cL|AWC6;PPKn3j5lyG?1GQ!JMpJ=4ZlM7%UEQ<&3VfG zT03qWyT1DGs;6h=K;rYg|JRGL@0~q*&>K29W`{^Kg)QIs*rbh}6LPB>sq&9E=>6=T zpPXxj59Bi)M)dT(jOTlK+^hl>F}S7V2-MDlG-m(O**Lz%j?1sPQ^G6f^pyOWd;BP} z1mAjuHa&*+Y%r46p_i$GaBY-AFHD2KaonFA#ag*}HXZH@-ytA>CrdbOeu8!7FyH9# zeNG6cRei!jD#98yu)Iy{^jx_xPz$e4I(uG8K7;_;d~q3j(fCV+RCZdLm>^)gtIGdo zd)KKkb%wR_Oo_=|##6@~Co#N&-sq)KyZS_aMQLMldR>z}#4)N6Pwv+N)(oj1?; z%QVhZ(9tok2meG> zW3-bo@^K7)7;C z0}+1F4uxPgDfBDkhjWgP@i56?^3p#<(9oCuKd0Lf(fl2K=30VJQB8%reg0s|tD7HI zS{baQ;R<^s@TOB=YNs+>o5r~?;bALe`Thr6{>$+ihViE!W`SSb(81@=?geQ0XTvzZ zOqg2vD?0mP<;jDH_U780CQm4HidPQlUa3xLFr!KN<_~VhYP7LkByQw zQ>#)FNz*8UL493}6G&ECEaohVJxMh@?hzjHEMuymGE5RKDO_?(Y8&4jPp|_PRiR=IX%1PW)ogX zd9e1CkkB#J$7zsRdnhIGPq^Xa^2A@1duJK4V!Z@5hM+SSP|WsR%CU zj<0v|G=+;vsg0FoCdp`&bbTm1{?x0SfoRvGH+H4i6pzE^3l~P2Rf4}ee6_J(akeb} zE$rKIea${We%Z{mM~2t3b50N;I&qNZtl{VJ@2~UTvG&8;9K7Neaat=3bIOx)iL5OY zgm+j&R~6`@;}Pw<&i>-SN}Qje818nkSRErt@60!h7}w4?o4W(mhEAD`fJS9`J*ZOp zAtHUftL7LDqsS>0CZ3V*TU*h9^+4-cCM!=%X=rR)pD9C>&FRs2Y!y_rb3c(v(`)1R z()wR4?be;$kIGxhpv|*&4B&-|W}_!LbThKO9R3M)WgquziOQ7JyoFfxclX7w2~ByT zvk^68jobscr@`)aSp%`BJ@_@L*)@B0!Q1Mx3}*@MyZ#AHMWVnhi$x_TJ!!pB6r|H* ztnw>mmZ}r36b=HElBTHK>_K6r0i1u!q>&3X720}y_{VK|9_dG{$E~u`NrTjvcsfI@*ju>XxyZ9-ONqgEcne_EdCRKgN=iog^io# zGn*y{J3kjY|7SKPHa31Xwg=33?Efd=;An1R>HYr?L@4o8{TBe_q?9GA#Epah4}r@p Ai~s-t literal 0 HcmV?d00001 diff --git a/src/img/dibujo_tabla_d-turing_parentesis.png b/src/img/dibujo_tabla_d-turing_parentesis.png new file mode 100644 index 0000000000000000000000000000000000000000..125b56473ad5b41d4c19bdbab15063c87200c131 GIT binary patch literal 11533 zcmZ`6$;_j{=@8y5--()fu zlP6D-N#>lKNL6JSG-N_#004j{Cks{w0HDM^`WJ{F4M0tvVbKX)Ar>D2j#Y>8VY0M8*rB*p1!#4SUj&7$ax7XH)E6_~gX2~Z&2Q_y_O3*18xH7vaw280KR zW=Ng0?4?AK157<5lP`hV(V9tlCZ6UTT4(M8G)Z0vs065ZCL? z858WEAAXlj_PjlwbSa(+8?dk2S;Ij-cE+Rt0KQOb1Pybgc1VET;R%&OBLNR(00Bpb zkDKVR*+ghpfFp6450Gfc*x7SI{iVNS*Tga`L;R`=vJAnH{M3^v>)faPrWIOKN-7GA#{;9yBCCt|;!E+TSF6-nM?i$Rm}>9?1&$~9y!?WS40pvB z8Dz#33Y34;hd^4T*49)r-(_O1TAAP10;D{yA~J8--d9ofd=%jKlgmMJaH)=+pEWL3 zNCc#mMGET7Wug!Ai|3E+Mr>7h)n1LK0{)8oL9Gg-0M$5E5^uQMnb*D7bb4ccw zv17)gmn?GNlK+<@(~J^FvkF=yOCZPFV+L>3o>@+W=6QOYeFu zw>#JE)6*a|4#bj6*w*~Pd!Q+_HNZeIc7jod>au(lO{iOWm*$RKhYDc4{>g)Jt&7IkK(9rAdcYTz@-Ka2$J#AalIXX9n&5w9){^T_hx1sE zGR3=88!ucDpMkua-@%n4xCu}CB=~Ps@vY0;1KcLGVDR{@+D{5f(h@7H(@f!AnljoN z0&_j%B8SysB6u}`$wuo=2BXo(?Rqrx;tdE&5F>S~zE}GDMY2Al4W0n58b8gw7XgsB zDyhwMudHn6DF0pi0UD69tC})$yD1gW>1-!YQP>N`CT%6(b(x5g%C_MuI{r)wkPpz} zfdM2uaTEw;aj*N{pFFsZmb0Q5rLWwPVtx$V>}Qk1FC~@hGAR+*=U^%bqZ!9?a0~<3 zRHNIB1}|O_y$b%xgz2lPU%@yWpye@gSTp|$j|rFG?a?2-2ksk`*A^l+eOpXTqMn02 zYt|u$w19*OnZHlgHmH)Izb}aUb(Ak3ziwsGnY~kL(t@dZ@w!vpKtLcP-ZQbsuL0Jq zITcXPv>i7e4r>9^n0$m0h>mBO(-G*{LTg@Ot_>VRk58qU7jb;M7qi2^Hfv#or1LiX zvSrbo6)Ybp(Pf4rP!hv3jDn09p@sx|pm?W6IcGWHn64-YRyIa63tm7VVVCwE} zK2uLxOjN_P!BhX+cS;-8s?)JqCI4lb5_r|Glq~+NOGw9QIas?RLV~kn%wKn@jsoNC z8p4c!$U1Paa{DZr3eU;giNvrqCG=N#|c;5LqVfW|BboU ztJ6={;NcmHS>#_kU&C}_5)XqIWzu8MXR&H!SbcKRAE^l!R&tPMEQ;mIgMl*l_TNg| zrwKd-0+BBo3H7qaT9w{UW|yNy$A5eBrzE?&D;+%Lg7)08ANI+)V|431=Hb~dHvH6J z;+^f|v3YdqRmr(aFcztoYRTs`{K{X@f$XgP*Uh%YW?T;-Z3|xjq8243I~@+2!`>#0?OHfl;mu zFS>QI3`6ZPOu8BIxX-hlJqFOGxz7x!EZ!D+=aA*P#!#=A9VqTF7C4)^fnrHwYTAkI zL+urWcnR?BK=YtDr-K7wqwO06&Py;`7zBTk+=d(DY#-6Qi^w+i7Vsy2&RE;#R?blF zDK#R1jZ})$iFrevP&0-N;tj!T4*p3TK~^8!#CeYbzorYd-IC&#E6*yjk|a`spkDg! zsR=Z0z||HQXse4n-VuZY*0H{}hk-CrYq2izY6u{$M(Z6mnSMTB*&UFKLcAQ6+rv_q z>$V*RW3hH!{vOe0DOSQIJ%n1iRn$_CMUN8Bgylm%yzBN#twARrn&rWs56U#!KNm{J;Kd6&!$k?)nKXX6=1cw@OYNvCyP zL#e7W%HYA5y@KFRvdHG}v(Yc@FOj80v#vFa=oL_6*P$=M8Vtm}fmJ9T_Lfpf?~1Gb zodnxuy=h8?ryE@vypftHiRr=@-cy$BzTr!#ygFp0Y!lM0PMHN8p1<5bk5F5#?6~_M zOzJ}7Mf~xA+VH~(Ww=S4rQL`8E@?hsgUQ-M7^w8yYWY~-AwQFjhhp2AO4v*3`jU52 zp*+mwV>mhbTBmP{pd>v!BuS#E0z=O%e`hBQ7H)|Lb*GAPn(h)*hp|_U1P;qGEsZc& zs$@4S|BgB`;1+V0evjDRHE!%=}N8TOPs7RwS^S+FbS<(gsi z$Um~M<)-*ClPCUVnBjsVfOvv#z0+JGG!lS(i5KYb^~ zdoe-9y(X1W>DH0UKsrFkuOQOm!Cfn6~HUR6YJU+1+G1=WBB7F;m)|M;Yr=Z03xXmuF z2zJ!st6KT|t2Q2fNGOKC+eT*i7&YWTCE};I`C2_X-c4jy_KffQMI?sQGYqML8i$t7?O^I_xL8s zF)B%2(EG^DJhbz2FZ_wfz{%i@6#vn_jCofZ18EKjytK(4_K8Tm^d_EOG0}0WdWF;2 zs-(RJ!zDpO!4cA+vrRlHv^NAdAphWeUH|58m(6G$lnQxZo33fk1=*1t{u%elbZqFI zx`uP%1Y-Gbp2ZC`LDD(o6aCiU6gx& zkSGprLt})UG7f%oym0fFXN&{d`T<}^9i29 z+9NyXz{~Vm|LwYYtoQz8okighU7=V`)wXg)Sjc%SwFU*_k$$jWSb`-GZeuOByrMK5 z`eY|Gu6io4&VEIVKqHfK^5XONhW5Ce+b@EpfpDaTp3>j#A-5H>D1f$}pt}n?w7L2> zQ-LMk(m$AK;VttL1~~~h@aC>cSKH^&`nkNJTy5&~Tuwcgy@3W=Z~KzD$4H*hxl9Yk zZ&z6RM4CkyAh?O>mvdxlZ&Sq4qfqriE$RoQ$j+o>kVrLHexSkdYMAbxVb8(>WCoink+UnLI>0HNT7Y^`7Pq2yZeQD7 z#V#D}_E^futqzJEX@D1Ysf-WJr-vz$*`W`~nY97BHO9^DbHbxpF~(>j0j8y4gRp)C z!z&{QA;MA`mO$;$AzP91BYVL}QC*3->cFF_hyyXCKN<8vsc49e{R(ePdJ^T;-pIYM zx%Ir~BLvV1Pr#^91hJ=?0($|ylRG=Od%<8xcFc_V{595m?TyURA?A9QVSvESRueP-H?0~w4t=KPrlYy zur%v*euUcb=Q7}N5H7(h8RYY0l#p0r4s7!n{SCwy+%OaUjsUU}mwWR!3CI!9 zPp40@+~0@Hx`SRZJLW{3+XV6t5_J*_FJF~)s-?t}QFX%#xV8eIrVUjj-I_D6Zg6Bf zXPcJQ{e$#QBEB)TrzfxFOIc)-nbG|$u=qvDubt<0GBEP#)B4PMXgOFb*kMx;UGXoLA!(oBV6Ni@%qzAxghsC@(p0ou5%(Fg{LUvEiEUYH* zm{0|CHFXrU7RPV!JAJ9JE^fy>xagB+0qdHg8x6Ylq;5QNH#U^&cm+X^xH zyb!?BUow`(T2=up)^4YWuEp(a(M0(Su{~@Nij0SuAvN*kEUi`nNakDLXp~roe_O;& zP%{+!*~(?Et`^19IE6&GLmwxGKn>cIp4RHtMh`L;Zgf|M(8oKN<`F!}{Pa>E^e69Y z4y~QF4RX4{=VbyV)@9Ioth#JgboeT>+U~7<%p0k54WBb@qFX0o?YM+Gd!ZCkhHE9MJUWPWiTuf{;y2Z=pDqjTpQU3@SJajpQVseAt;ky#B(`V^ z=$eT|M}3GHJ^L>-ZXRqJZKZq=dEU_&a^D(yUe#*Y=os1tWbKAAuiiA2fHL)8eb91L z^7Q_jV|lc9{O3uoJ``pCLDZk)$L&vfXl4DfkuVbjnHG5ZfsD?Wmq5Xx7D6R734qSp zY(i(oW}-XR#EW#q4+tb)ADLFrpw<8{luy45-Qmgt$3C}2^)}`A?|$FDkP2V@>8Cp< z>Qh96P`))I;Z0up*f=QrT=(sZ~nc0jK})+WF>* zow8r;_OBRL6vI|xtSot#&&dhUW3<2S2sY1eGf_nMFcx6kAzqV#9ys<4|k39ToW$0O6NDQ_*Vwn=a+r6t-Q3YFLtD8#O;n_pw{;S7cZPsaRNdI7(j1D z_oVsYrMKR2fZD@uc(Z>9WWE&Hd?O9T%IM-uNSXe9JiJj;tSoJw`ua36JirEQ#}wE4 z%gC+}nQi_xX|5N|<(=$s1#5E%?*!yvrGA>#E!x zRmUlAI1${s8icry0$S2@&~t95h6LJ(wfm4P#IV3`x1S=iATVG}?X)wEo>&!|6((sK zQ`$^VUQ2l$hIy`_ZlF{P8tjh^!S&k|1rm{gazZ zLWEtcYk1QU&-qCuU*N?yTkb;fvWpLZ8F7|^l8|OVV!Wrd!&hf&!`_19vjPdL#(J`v z{7=oTXjybH=wY>Sm}4FoYe+kc`H=#KfY!(`-i1Rfe>VVc5&hXbx6_$#39%5shv|)bWFkzsi44{Bn6yj92 z`MQ`cQ(KiV)Y24UP202mQYb{Je4`^S;ZBqAfKp?HP>l2CF%zO$h#j8Ae<=N?1`iNB zCe{EEl>vW#H3~_NvV3bkV-RbTweFCoy(}Sl3p(F8`jZSDWa+g;f$`>!sY+gh)<8`a z8&AsjPlx!=@cwTWdH?{g0AOxc z7o74Yi)t2=R_Sa9Tb?vtdqn(uxH)%Di3}RxG(W~gA)?UWjmsQEiUt5^a|r6AO&o5Z z$tG=P6n)YzuU2;8)lM1Vut+8}oI38Gc!3K?F5f3}3spfcMYMw!_xUVKd(n@2-eS^K5-y`i!oyGRW8{lL&^s zAg+Z#Ag-NRt>`}9wx?V9>?F*IOb!q_tFOXBEq%20a}p8cc+plX!~Yc3t%>vqx2f>% zY4;x@rzb;8U^WE9_&LF&=LVcg7-+{m^F9n`D)iG(i<}j!MY-DgbPURfx!bMfDS~Rh zWMM251&^abzfyX(Gt5`YG*xDSPM0z75~5M zH23)4lfwe%s?`n$C9Y@^$dw>7d#G=x%_L>@s;cKAQ$k<39}TgjUhG55ag+#GB6 zdPUoax^2A;afyh8h|~eMY0nY$3>eZ~o#6>QX)l_An!9`iZ1XL9<8bvb$?d_tDxtpj zGYSn3B@S7YdebGnI2ykc9;I@%EyfsvBpXy-ZnV4i008tJw=R>_OxO8$K>^{ykrY1M zp-Fdc1s&E4<(tyXQXv2!ahVm^)44wdX{8yt=Ua@5@{C&ujI|RN3%>W&Rqx@seO~0B z;;w;2bAr_t+aS`?NCeSTngJe~Q6^uKweGMFH-5;J>c4rvE{)*Af?C;!1UjCU-}y_J zUQ&7|AmZxBb#OnT3i^)5_*$eiwI9c%JSd-%$LSAU??{v-ST!0yn9$hxMT<-qJkUn<$n$@dnkbdkRSCoNi-~P&VQB$ z8P|)M_e`5BHEJIo-mn-ttS8XPx;4Tzn7$gVKI_>{W4C7#EGd}pi4JHMffs+LbiVJA zfCpQ$(Cu1{!fY`GuHF}zz!aQE6M8(A*5UB>9NaSmL{>#h_8t93wK5@Gb(!L$mi=8Q zMQ-XHE012TB|^@OY#{+wd|j<*>U)(C#QO&(QSQJt+}Zabe+IdsPjFV?J23=&#uTYD zZ;=+M-&gY*TL-~i$0r9T=Y=ymKS`XBqcikgct|n~?GeWRR*B+wy6~Xt%bkfM(O*2Z zejQLhq9p&BI94Mq{K0WGybfo@?HZm8HJ%%hIeG4O>`-0e@-NmIO`2)BBE0z9^M8HvkA*-Sk+&ern2~hT_>AX`7Un9+$;?_(zPib0xrFf4tv9Sho_?Zu7^d6j^u5f9o9WE^W7MHwE~8 zoT6@rk0nD`M$ZIa-0j5oVVYs`fMR;l#m>mxG`hYo+KNRA z&_V@)O#vwzvccaimQ#$P?{gek>sTh)%^i-z_69}VNxGKa{1dE#TbQ12+nEz{UHXz& z0?Y2cj~P_%cMa;XjoLTM6=SgAx3x0(dg_yU31J1#c#s-vYK&o>M!jFpIUqy&bT8d`7S$! zRf_k)??rZMyOWv-`2CC7)=*J{ypsJ(4+V17NgoSRU{}_s9sFy%x&F$T#ankx)-w_) z7!R@T>o1Z;rUpH9wEs=YX7Okquy;*&%aa6sSBFx)5pms9cM_CIQ?vYJf-heycR>*57TJpUIM_7L)eY<5A7gRbLZ+bY)kt z*xE%Oyt3}64pbYna7O|>V2GO&x03G#(O>4K_bGp|d0}t$p@vop0)V-hYm4CP)M-tg z<7)i&-O#aMGcrbCr#L@&t*wDcetK@J?CF9~kbzmyFvfDTd#t858M#@ku8Z&H0qM7E z+ghjem4-+m(KLsT-25nG*zqJxj22)r+bRXax(>XL^DpjAoA%bn6ywT2O+2oc4lAK`1<<359rHSyxbfZ3M=5?hi zEAW;wq>gTfWu1?7pC#AT@xM>LT}Qz6oC6U($am%D#mtT5f$+a;g^VIoO$5uzKz++* zDWpsJ47s7J*x{F#=WLYF|0#2U)JgXKrxz}QV_n1~Or7wRixB7YW^#Gp2(3BpI{N6s zdI4i!Ludh}Se}`+3KJOKJ5Ohdk`&*ZwyJ8MM*UqBXzBd}K#$M}2*I;sp+L znY4=9mOLqdns^vRjFpY8QoNj#L&zSs#xyS$Kwf|fiU)9wcDck5Gj2918hf+8!>0;pa$pCtVbKn!8Tct_{C&Bt=LR6>-++ zhV{210z)tE8@v73r=aM#I7lpamVdrL7v@Nz(*>*1&)bRte5B9wXAra@7TtzeEC*_p z!^}lB)h}-9zx{)!-@_w*%F+hzC?H6qoqXx}Y)##V7{#DeGLu+B-%7=FiHtNV{!px4 z&837rxsE9^yHm~)gY1=OrKdw6I|F6oZwNN|*5025HTjE&H>dp6xVHyN;<$g=NEsO( zAlq^7=Q~sYJx3}L1r=lk000Zq8Vn6FZ7BG{Pyt`;v8fw2W%pQCJ9seNmqV22 z84Bpxq~c(;s_;?R8t3+TLmtAclsfNu+bb6bu1@5q=$``Gc;qMeR-`+iRaYz9itV{t zb-A~dB`Ycf5b2x-$v#lsJksnG=B3xPV#loex;Ez6v&NKwY#3xv@iW(CS5n(Er9dmT zP}e+KP9XM21>h+MM`ZyuypA|P7uoGq`T-`HfBOgWoW zC1<^^`w3&g1?P@zI(9<=WFc?i@PDq5?@ev9`t`T^0Dy9$Ig+1z6k2~?9BKBD;=)#3 zL4RFbIGY@kpK20G5IcVwL=izsw?Ag5+4}0)dimQ0JlN?QcWfmYhGo;jeNVp3=)lP% zoq#`dbMy!WK(r2OD3pG&CcBV*Nki>@@R<9`DgcWzs%|qQ@Z`%T?+pz;f$DDC#v8peU{B8zwJW4OCxXVEH>(wMP z^@-_+&%nC73{Nz`Uz2J_P4`X$4^|-YS55NSG7?j#ofSx?qdb3IFfwFH8Hpt0>u>iM zxhBRRc^v0ufBC8Bs>#Dm{m&NzZsBEK1N$AR-T7Oopq=JH=m3%V@rJCpE{4aE`4O#G z>vNLn5DwhkcK_sX$u34r{hagf0DuO@=>`hmv?I6Wm^+iU$CHwbLp`@kXrY_;Qao6F z>&>1J{dRq*VKoo}LGVwTKwl(pVRrfcx))dRn%QK1cF63%`tQckNHlZp^v!?}6?Q22 z*eBH_;EGA{uw%xF%Ou#0{eH<31d5R(aHjn2(Fa%mE)mS6{Yz*ve#ohn~ zQrG569SASty*}+Cd?Z2*@4-&6h<*0IbK*8G{0M$@&hb)a9Oa&MMqKe>v= zE-yV`n2DfmVEIDRd{X07kNjqAT6|Z;@{c#I>hHb#LO2fwl+2@!>r>W|u}qsp6(=po ztROO6ht^f^`X$+HqD)jkn`jkB7+5#J#lMXGV1x5mo>CxD6~P<*lAZlxg{uEE(vBlA zL5O^k3#yHjh&by^Re=Ab{8JlC{wU0iBsZMN;^7aE<1YBm$+nmWFl2$#ruxroAL<=D z+e`fm!)Nuke`6C&)(c$>&nQ%qbj^eggWChY1JWHr#K`CfSI|Trr&_n`YVTk0fX=z- zP5O8L3VM2f9vD*qdX=*7%Xkq>i(^fQ0+`8b1#Q`HaZ!fukc>#k8oZGI%96IORkyk< zIs1bnx?&RadPEg;@RmMDPyxq>o?UM0Zq55bt*t2aWF&WO0q$C)LW z4`i*|=n$pcyT3$Pj!Wm{IPs(v^82HRFj@{^KgFlw+|Js9Kis#GcxAjOy+_G_@MQ%! zSiR&zcDtxB1pWz}VUi(XjOf~A3Ln-e8#r>Myki>MZbNEVqr{xK?4TG*acUk6p@|sETwV8 z6(n%Zh1HOlH;2u^nOL8Zh3X|(LxURt`B|3NqJ*-Y1wb5kD4^jGy*h>)D9_S#WTGi! z*eBnOPssm-%U3YrkHsw*P~F6H&%WSal^`X7Oe%dQsjId_xjVO^megX zX|rqeJ4pe^zREh&?pYzG9Na5#{$R$rzy4z+WSsWJ;=qBlWH<&xFmefJfn@Xcirasw zYr85itizDW&BkiC6-GidaVd0Zny+!g62hnMzmb1o_8V4X%S%Tg8tthVUrcjxdc_&$ z1GcmJ&6|OR%)m@~OkQ){s$?_kLK6S*JZdpDb^%pHdi-Y}&qtdXh3hyAek_U~4i&Lp zp2yI_5l7Fo7y>pL=!I8YBG`6k(ZR7>J5Ar=_X#Yr#Jk} zfXOuPBy$EA{7$5Uv%r?~b=_{D!iD3vUWHk7RfCRs3DTo3q`Ho+7=4ZiVSkINqjhL9 ztEi_TZv%-PPY=SjFtN3f7qEJfy!b;>|C>0$lBi{t^asc(*CwoI5?{Ixuji_8`pl$cx97cxPgIWnrl@A1MJw(+mKg6wfW zwBFA&f78`cVgoO~cF<~XFfw~8n8LyI>v?)uy%;*@eTj_UVV4s6TI5Dj5Rm>}(PXei z7BVfi5}G8zw3em|GjOipkfqT;hv`{)>SLicM=V!jQ36C5`IUqU9@G{%t2rfn2MuZ& zYD9R5Y?m?MU)nu$r3qal^f)eWGQlKPFMf7cCfbv=!D~S>wl1~urxWw;sqtM9u2eNp z+i)C#eT^c=q^3eo#)$Htfm4||uCKjk)@W1t1VCr5ZI{G0m{W?Q4v2F^HXZtkUe_w~ zviEdvr7Rmf_KI^Yz`%Nng~}Fl>qfeS`z%fKYCPdLsJ_MCToj0YqOn7lkECyS%J8e( zKq)m#p>Hh?yY?TZn(-sza`Iv8XYSf272M)xIhWDKSyuKghWpIyB74DBY!mi|ib!+W z@)?&BaG6r{@WA2Rhw=fawkh9k1ZP?%F%l;^i07Y8P{a$#T0yVNg)y#Z9C+Q?79Mxj zmVgpbMdR6=>aepq&V=nT^&k%rx@2NRAErc?xKufJ&LmnQOC{1TlE>zxRKoAtHLKX_GYQs>7 z4!^GdY<{Oph`@_y2l_j+ipc{0ZY%ZAcKz3Dk>`5<&-}0bc9b>o=8F^s#WE5fMV^oG zPts$e&;Uy9Bqpc{o<=21WtaJlFU_|mzO%5Y--XSTuTT4Vw9Y3PGCyr7i}3Vx*{ePY zRtZ&;qa$l~>cl{_w+D_k$fc!&rO4=fvebQXfR6lcVdtHsqJN!dcr&o%OVa0}!K{KE z2gf;#IXWa?MVDGr@$ampqeC>L%woLyscxtj1tD~*qCamry&+yu?1g3}HYhv7Soa|Q z+3?8S$~KJ78s!mBkA>)~lA$mq5BxF^*e#((%pt{8LB65aOy`}vptk@`560ARBh*5u z7;fB!YdD*(lx22F65y}&TgLIsDPXybU1__#D^?WR$D9JUVt{hRfL4u{Bln^X3L<4- zhQPZV=f%`dVuZy^7i_N1EQDb?zoA(|+8zUG6=i_L%z-$NzZ^9w3yOL0wj4G{Py7SR ziB~~eAaV7^thCnKI9Yq|Gjb^WHV2hj|Ck=|{IsQR{fy3(tor-HIj+?oOn}vXxi^YclaIkT(Gqdq9bFyi2 xunTar3vh8Uvat!Uu_0s@;QyZhdq;EYuipQEfX6W5&yN6roRl)STEh6-{{XHZ%k2OF literal 0 HcmV?d00001 diff --git a/src/máquinas_de_turing.gmo b/src/máquinas_de_turing.gmo index 55a24cfb..534653a8 100644 --- a/src/máquinas_de_turing.gmo +++ b/src/máquinas_de_turing.gmo @@ -106,6 +106,8 @@ una secuencia bien formada de paréntesis implica que a cada paréntesis izquier adaptado de la descripción de minsky (computation: finite and infinite machines - marvin minsky 1967, pág 122) +=> ./img/dibujo_d-turing_parentesis.png dibujo de tres personas emitiendo un símbolo cada una, alrededor de una cinta de símbolos + ## alfabeto de símbolos posibles en la cinta cuatro símbolos posibles: (, ), A, X @@ -161,3 +163,6 @@ dado un símbolo encontrado en la cinta, y un estado actual: ¿por cuál símbol & * si el estado es 'c' y el símbolo leído es A, reemplaza por 1, y finaliza & * si el estado es 'c' y el símbolo leído es X, deja X, mueve la cabeza a la izquierda, y mantén el estado 'c' + +=> ./img/dibujo_tabla_d-turing_parentesis.png dibujo que representa la tabla de arriba, pero con símbolos estilizados +