From ea4cb0f81319e959c3641fe3288a40e69342c5d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nu=C3=B1o=20Sempere?= Date: Fri, 6 Apr 2018 21:47:03 +0200 Subject: [PATCH] Add files via upload --- initial_divisor/main | Bin 0 -> 19472 bytes initial_divisor/main.c | 41 ++++++++ initial_divisor/states.c | 206 +++++++++++++++++++++++++++++++++++++++ initial_divisor/states.h | 6 ++ initial_divisor/states.o | Bin 0 -> 2576 bytes initial_divisor/turing.c | 59 +++++++++++ initial_divisor/turing.h | 6 ++ 7 files changed, 318 insertions(+) create mode 100644 initial_divisor/main create mode 100644 initial_divisor/main.c create mode 100644 initial_divisor/states.c create mode 100644 initial_divisor/states.h create mode 100644 initial_divisor/states.o create mode 100644 initial_divisor/turing.c create mode 100644 initial_divisor/turing.h diff --git a/initial_divisor/main b/initial_divisor/main new file mode 100644 index 0000000000000000000000000000000000000000..2a42483500a9df1afd0c39bbf4e20de0fc7381e7 GIT binary patch literal 19472 zcmeHP4Rlo1oxg7;A8!auzCZ(Lc`7U)nn@x7p$JSM0~0oU6cS}o`ZAfBB%{epoDT#& z6l%mWCsM=iw$d&VZK<_Yc4<$$%c=`uaS5J!w&@;i>DIQit8OB67nRbqwPb()`!Sh$ znb?oh^>p`ebLRc;|MULu|K9uFz4yJFU7q??HcewH+1N5hSW%vvlf)JHN{&j}BIaOj zHj~}J@<7SO&&@dmMNYwCX<9*D%Gm*P@LOaPghe(t&nS4EATtG(hXkp-(d3p{0cTDY zsDg|coIrZyYtctI3fROm3VNj9q)SDyq6daI_DX8j4b)#Q{wAWyB10&o` zfYtKrC?r`*8{UiuDDN)jD4?5X6ns>WnSx61W6&c%f7etb1vkp_#*52ESw96O$|~AJ z%?qn5+5_e7p>Se*`SwK%%NJI=ViDJ^yxwG=WLK|imln>mR+Ywb7@l0ZL}709uks;#k2r z^tt2E*NsD8H4eQAbOS$YS`I=se{KZ5m`!6%MiW<2{fGKJ(K{`4hPeAF%nO-m#^OHz zy{5nIUbDp)YG<){AQYx+BoSvVor$;~GND++zj(3P67&1QEv)7KXeb^8Ga3rVTfioB zWG5OoJABYK&DM@cSW-;3y1s73O7m7%bt-pTDtD`E0l92Pd)oLPOF?QkJ8wJHK$AnE zN!0QYXb|mMj@#J|i6^Fo(5yDr1)S3Gj3y4L?bG|UiWA)fRIEr)#fj+DKU6A{@yiE6 z^>V6xyqb0x}8(Rr814K#vE}LrP0&xOYSr}m93Ju>w@m>&fPi9VBS4_@!Y`& z!SQyzq@NNJBMYKnjm(PUS~$av9N}%m96C3GH0vJ1sVYMQ9B(F^sxZ{Y@hybg2|vp5 zjf9iSLr-#i4dLYKP!Gr7oocX_9^gDx{j4teosWByKlOIKadAUKU4NfZi%KnKg%; zPkM%{`uaTs1N=d1v)Q^)J~oTH%kd)^RWka}Ie=M`$~eh)9E-*W~C>-L=S z9_X&!Gm!MW*zf5h(omAupIaaN$!|tRK<)GHTYC&vUi1nxr=bG_UBg%6f5zcR{3F~Zyht|e z8R+)(X`VCbPD$yBLb`B|9}y98>fSjV@Xo)ThXj3f7fO8jlnhp-H@Wj{GVyA%aljHb zZ`aPVEUtHZUR~lD*mV;saQRwPAbIlnDX8Lc3gU@HsL5ai_J+0t@Aq5)5#XW&siog@ z$>BKdxvc0zUdVKNF2G!32F!h#%)XyGRylxpFkC*_8L zjyCK~CN6rDje~IbB5$$lyxoM6V;*q%2r57~8M5Odq`HQ+L^iRtB=$ODqQq=j#d=8W zn`vV9tYUa*v7t|=iRDml8spnSh@HPjm6)4V<|xUmQZjj2WloUHjY=jzac!2eR@oUF zKYqhJe&|1*;eNQy!!X#-pN?c!j0W*@YpY@$w?A7iVtWg z6huuROM*`n@QjjB7sg9^t<+l5vsBW$-=`#-Dv2I;q9pQ9cuJ+8Z$zFuzE3tNN4ua-x_7|GMn*CpL@27`|TLxUBh-& z-)xcP)|*s)Q;mQwJtj0X7dXE_iR#KKJ>;y_rJ30I381RBAIH0KqD7^v3Uytuj%(gB zAJ~ZWY&{=Ro;niCDBI8Hd&1Mv*oj>3&SKH8Zil95ScV1F;N{D|tzoIA<2Gzs?6U=w zySYZViDwJ%Kp!yDI6t$4jn;!~A!MofQ_Y<i5lB=QJ>R+E-3+Q(f|M zUGla1xipi}y(fQTAAIcR=-qpM7B{MXpypfk$+zp1muq2RWb*6Yu2Y(K@%hBtGy%P9 zYt7v?TWdaEW1i|6ou9pT3cY~r$tkLa+uej&0XD%CjYgtIFl=;2gYozdzMudn_8?st zBz8_<6E?+t@u0DERsi`8kyt1mii9P)X-7wMq+KFwBin)) zvC*@}v$A27RFxt@t}br){Qh8PJZ3Zp{k}vjXvEusMoTCfiyPrYM{_W01R}v$cy`92*5b6L*>GuOS+vSowx+P)etkDvK5fao`7>`MGTE%f?>Ow1!)I3GEPBMYa#Egsj)tN+A7N(S zLM(oo!T({3|1kLbelargDZrGz?IBX<`iDWj1im{%e@ROJCGaOBrlAb|KuZ4&(6@qr zPX<4j;^)Bbm%)ELga4N){!H*cg0|Y4!QY(X*Mff+_=ht1pG)xr;C~2LFEajlCKCF3zt7?IrLB!4DFDg|p}}+X`pdr|ll6u`g$ZbIzl= zUT5Vad0ywDuKcx5chtG4##ve8oU_7dKo0UNoI39}6VZo?(C1`VB5POE)d*aTz|{y` zjlk6iT#dlh2waW8|MLi(%X9M@_DQI!izy~g3Qm-GXRe#)@N$QznbG?icJeQOiX zO_wU&#vcw2O_qwlUx@qV|fki4^tM_ zPJy1Q=jopjn%g-w_Z5=X^X~)5r>_&v=Daf-dir!+a^9sE&P-p8OU^H7Q0O`hk(^=5 z7wPnwL(VTLU#2IC{wvBG`W;07HRb2%@4;}+`;@Q576S6Wq5LAf9M_yHly^IPlxG?t zUPl2bYaH3&I7S>BM>abK2+7e*2sAmi5R#__fwVdHl3`sVZ#y0TL7a&ki93b~acZ>r zu-y?Pu@bET$Zp3M2`Sa?0`idK6IAGA?OuQ`M-FkyvPmsV9lx6yPVjrUF>iYL7{{^aT5zEtEpylab1y(>!OKwkm1R0`I zQ*!ElMJ;8Megu{_k<_hSP&+ssz110ju;!$!ZNJ<36L_H&lDK{Ui@Th&NxMj(&+KyE zNV3HOJ+{mF4slBa`rIz(+oW46(4)JYJBd44px@ZV3Mh9oisAm|vBIwd&wYj}$?gX^ zhkXkAVVhw!u>l7ypC@55+b$c&NMo@dnR*u$CG;)Tuv= z!SgAUGiLDcQ6dHp?@MyYVc4~a_ZxXiotULdCj3ZA>WLI zvUbox1E(IWgVZ1Qdkg=O3sOh1?XNB5!^9ylchMvA8AETaDHVq>-URdRl5db=A=$I- zZ;~EN9UUZ-_7Z==6#3Zs6gNN~L?BbhN9O`zs$G;Sv9>}!HYFA)>Sd(}PNo+Hl^fKf%_v;02K6GeyL`ge18}@}AcZMB_NjnmQodL45 z-ZRn7_3zF$VHoA(`uU4E28Ulj*}Ev_~y4{!T}F=R0)QD`WFEbdeE^|8#N=iAf*#a^I2 z^p>rvG?7TWuzicZRIkuq)S;WBlpr+Yqa>5ROs5Olz@I`d% zA6Qp4r<|r6Z}Q5-^SW#|O-bmbFLdeO*Z)c1uRo&q>UZIHx2+f&_!k$kKQIdF@oqOXeR;2as@`G`ZT?&P6u^$nN6@-0 z_D;Y;z!=~}z-_K0b_d`N*Acya-Vr^tOkdjD+iQ0mnybJ31t3Ryd!L@Czx>oPeHpU$ zNry96@hCGpA{c`BTAzPr53@1fwxHSUiv?LC91FFEg8>7~DC=zZ`Gakd z_COFykmH~13qfwTn#I~8(YTS)qFpBO?LUcgv*axy?GYRhKrK3a(R+i@7&AK~F+Qr9 z+0yQ7jltCzd}lHKH4ZaTDpfregbwM_`3z%aRh4C{&M5DQC&Iy{t-)|G8uA16Mg46{ z#UT)*ywxagL2Uf@mUl)YaeP}7iI&IW(MY(JJ0+Y!C=yZAA8Ai?gjqXy2ESy~%4`X> z2g4DrMIq+VGQ+{`aBo}O*W4aVc}p3pX(EhIfY1cgR&=9EGfi=lcQh(06i)Y-gLUF8;2hq|LKQnT={s?2S^Xo%_>lXyEcebnM~&Lef>LO5a! z(Q1viiH=F*nD@|10jdO;F93QG_1*;nEEM220d8e}Uo^VIgngU@3DOqa2PHb`vB>5g zBVxz>t061h&f;0=IjQ~rbYphx{`X~-&tvL+K&E^?%eIeh$3C&zf6tV6Ftv}LNuQ9~ z@6V(cF!kOelRlC4s+HTge z^oK8jo~>TbjYI$DIP~%2bDWo3!i>po0(*eC4$ac<;Hs=hyEw%RlFyu?p z4aj_w)1Az^iTF8bU!8-)T9v2gq`aDpckQBI(C(w7IFEp_n#A-o-Qf!KalpV zdnr^7#mBmbFeK^LwLEP|lDu^fOXm!JHN_!-oj?YmF@+)I+02bjb_->2+3MsG7U(b{B zp8=iZt?l)clvm3w^{(`3Nw@Az9g%eFo(yeW8?vl)K;IQpyIA*>zAfq2y}0jkdb$OX ze;ag)r`7+;OQso!n62%RW?#D*z$`Ro`V!ljKhn|J9*hSAuGE zFV@wpty>AHG!869Y1W8ox#{srYu?(8%v@c+enm~axqj8EO`Zm`p=L$Bhf3h*d;PHl zuMgQtKONHwfoNpWhR$t7lfG@o?4)sbI1-fKBNJj%Rn%+!=GKt=^fTg+a?Y}E_~ ze3-Oa&n%BB$oZ(8q{?ZjoR7{IrSrWJRysCk294MH<)9MoR3&DsUjJv5K%Db#MNe`mBBb7AR*sXt&mDqx$+Vfhk_b~0BOYcN;Min{W+uT^5$ z7jiWxLO8x33NRO8ZN69=a|L#UVNXD;Q8;HC7LGW#k%5@tMT6}=QjodM_BeC#aJZ0l zwMKx(X{F|(p#-4_?*Xo0n;blC0T@x3P!*#{XsG->eu$wMUq{FfA0lxw4+?cB7vj!b z7|*oq0xj5_Xoa3H+=>uOG!$-$sJySaIU3xiF#P9&pvog=S?)r=KZ)jXbnD0Mizl@% zQvc`TI!RYRJ|+~(ZbA+_pecQ|erk{gjg+LwsOOI&S0R(Guhv;{sXtQ*N@&%u1s%s# zBFg^*HaC}~m#38G2$1?7OU*MRnXN+xyV)uK`)qDt4C^-z*hK*tKEmN~Qu z2Ng;Ek_k#uKvk}ye$k?@*3mPiphF2tD8rhfensl5_EYn`N~u4|(&4Q2`I<#v{ofXM zu_)rvR7oOZE&qf?U#;H_<|9@vd#$R@aRR2-^;DDukwGS~Ym-JSD z6|UfaTl7==6$ThcUI9{9rKjL9IO+9Q>kzLYRFt2}fYMX=6=aB}>fdBEan@#o115n$ zaJAZ_)9+M%WlBP1lzz2^PO_8~oGA4Lb@ckEA@V(=B%V`xiadQB{p)TJ5HGwxJ#7dmMU`AoP|PSuk0{40VR^^KkE5O_qS~2A6+K&$Maus8T%h)kq`X< literal 0 HcmV?d00001 diff --git a/initial_divisor/main.c b/initial_divisor/main.c new file mode 100644 index 0000000..802ede1 --- /dev/null +++ b/initial_divisor/main.c @@ -0,0 +1,41 @@ +#include +#include +#include "turing.h" +#include "states.h" +#include "const.h" + +#define REJECT -1 +#define ACCEPT -2 + +// gcc -g main.c turing.c states.c turing.h states.h const.h -o main + +int main(){ + + int List[] = {0,1,1,8,2,2,9}; + int longitud=7; + int state=0; + int position=0; + int symbol= List[position]; + int movement =0; // undefined. + int placeholder; + + + while(state!=ACCEPT && state!=REJECT){ + + print_lista(List, longitud, position); + print_variables(state,position,symbol, movement); + fscanf(stdin,"\n%d", &placeholder); + + carry_out_step(&symbol,&state,&movement); + + if(state!=ACCEPT && state!=REJECT){ + List[position]=symbol; + position = position +movement; + symbol=List[position]; + } + + } + + + +} diff --git a/initial_divisor/states.c b/initial_divisor/states.c new file mode 100644 index 0000000..4eda922 --- /dev/null +++ b/initial_divisor/states.c @@ -0,0 +1,206 @@ +#include +#include +#include "const.h" +#include "states.h" + +// States of a Turing Machine that checks whether a number DOESN'T divide another number +// NTS: Check that the first number is smaller? Actually not necessary: see state 2. + +/* +Initially, I defined a triplet, which was what the different states, which are functions returned. + +typedef struct { + + int state; // Finite list of states: initial (0), state 1, state 2, state 3, ..., state 7. + int symbol; // Finite list of symbols: 0,1,2,3,4,5,6,7,8,9 + int movement; // Left = -1, Right =1; + +} ssm; + +But I thought that modifying pointers was easier and more elegant. +*/ + +void state0(int *symbol, int *state, int *movement); +void state1(int *symbol, int *state, int *movement); +void state2(int *symbol, int *state, int *movement); +void state3(int *symbol, int *state, int *movement); +void state4(int *symbol, int *state, int *movement); +void state5(int *symbol, int *state, int *movement); +void state6(int *symbol, int *state, int *movement); +void state7(int *symbol, int *state, int *movement); + +// This function is the delta of which Kozen speaks of in p.210 &ss in Automata and Computability. +void carry_out_step(int *symbol, int *state, int *movement){ // I could make this a bigger if/else tree, but I don't want to. +// Initially, I thought to use https://stackoverflow.com/questions/840501/how-do-function-pointers-in-c-work, but this proved unnecessary. + + if(*state==0){ + state0(symbol,state, movement); + } + else if(*state==1){ + // Nótese que los else ifs son necesarios, porque después de state0, *state es =1, pero queremos que se de cuenta en la siguiente vuelta + state1(symbol,state, movement); + } + else if(*state==2){ + state2(symbol,state, movement); + } + else if(*state==3){ + state3(symbol,state, movement); + } + else if(*state==4){ + state4(symbol,state, movement); + } + else if(*state==5){ + state5(symbol,state, movement); + } + else if(*state==6){ + state6(symbol,state, movement); + } + else if(*state==7){ + state7(symbol,state, movement); + } + +} + +void state0(int *symbol, int *state, int *movement){ + if(*symbol ==0){ + *symbol=0; // This is the left endmarker. It isn't changed. This line could be ommited. + *movement= 1; // Move to the right (0 would be to the left). + *state=1; // Change to state 1. + } + + else{ + fprintf(stdout,"\nEn state0, REJECT"); + *state = REJECT; // This is defined as a constant in const.h + // The program ends, because it has unspecified behaviour + } + +} + +void state1(int *symbol, int *state, int *movement){ + if(*symbol ==1){ + *symbol=3; // Another symbol. + *movement= 1; // Move to the right (-1 would be to the left). + *state=2; // Change to state 2. + } + + else{ + fprintf(stdout,"\nEn state1, REJECT"); + *state = REJECT; // This is defined as a constant in const.h + // The program ends, because it has unspecified behaviour + } +} + +void state2(int *symbol, int *state, int *movement){ + + if(*symbol ==2){ + *symbol=4; // You get the idea. + *movement= -1; + *state=3; + } + + else if(*symbol ==9){ + *state=ACCEPT; + fprintf(stdout,"\nIt accepts because the first number doesn't divide the second"); + } + + else{ + *symbol=*symbol; // redundant + *movement= 1; + *state=2; + } +} + +void state3(int *symbol, int *state, int *movement){ + + if(*symbol ==0){ + *symbol=0; + *movement= 1; + *state=4; + } + + else { + *symbol=*symbol; + *movement = -1; + *state= 3; + } +} + +void state4(int *symbol, int *state, int *movement){ + + if(*symbol ==3){ + *symbol=3; + *movement= 1; + *state=4; + } + + else if(*symbol ==1){ + *symbol=1; + *movement= -1; + *state=5; + } + + else if(*symbol ==8){ + *symbol=8; + *movement= 1; + *state=6; + } + + else{ + *state = REJECT; // This is defined as a constant in const.h + // The program ends, because it has unspecified behaviour + } +} + +void state5(int *symbol, int *state, int *movement){ +// This state comes to be because at the end of option symbol ==1 in state 4, I want to stay on the same place, but have to move. + *symbol =*symbol; + *movement = 1; + *state = 1; +} + +void state6(int *symbol, int *state, int *movement){ + + if(*symbol ==2){ + *symbol=4; + *movement=-1; + *state=7; + } + + else if(*symbol ==9){ + *symbol=9; + *movement=-1; + *state = REJECT; + fprintf(stdout,"\nIt rejects because the first number DOES divide the second\n");// The number does divide. + } + + else{ + *symbol = *symbol; + *movement =1; + *state=6; + } + +} + +void state7(int *symbol, int *state, int *movement){ + + if(*symbol ==3){ + *symbol=1; + *movement=-1; + *state=7; + } + + else if(*symbol ==0){ + *symbol=0; + *movement= 1; + *state = 1; + } + + else{ + *symbol = *symbol; + *movement =-1; + *state=7; + } + +} + + diff --git a/initial_divisor/states.h b/initial_divisor/states.h new file mode 100644 index 0000000..625b918 --- /dev/null +++ b/initial_divisor/states.h @@ -0,0 +1,6 @@ +#ifndef __STATES_H_ +#define __STATES_H_ + +void carry_out_step(int *symbol, int *state, int *movement); // This is the only function I'm going to need to use outside of states.c + +#endif diff --git a/initial_divisor/states.o b/initial_divisor/states.o new file mode 100644 index 0000000000000000000000000000000000000000..1e33186fbb83ecb042c3b8d3801d7260980bfe15 GIT binary patch literal 2576 zcmbtV&ubG=5T0$UHfgI>R0I`+TB)E*VzpRBiI%mCh)6NiTi7-mTQrGm-eUa?7KIoK zf|nk>dG)9sv?^M}gFW=ne?YLIZvtE@fA*%~bvAYIZ7b*Os++AjPg)^XUnD^x6!F zrkXW<(3-ls&8{_)w_SblbRCY*DAsdAK2kU9;Cj-Uqxq!uIgVDCw7$mUZ>(<`pG_mD zX3e3Tzgf$TWj{Y7C%ZcNm`16FBzxQ*TYF1BsaZ3&F;#4G<05|C)GTuD%WTJ~pT-!J?2d;*}ir{_SjBRk-igrD4J?ln`pyL`Dy zUr%?Lsl8_R&HzvDNu|3|U8!z5jgE_m4+0Sn&r&Kn$Yy8w2(+DNoEK ztYQ0xx)Bd=MKZU&i#;%&hrDt=Q^($-ik4G{*x*`<$>BSGb@*h!WjUwBD`Q6 z(lgIJ@0h|J5n$#W;ea_%setK~gT-LESak6sGD~IQn!P8pyJZz3f!y4oT)}gS?yori zIZ2{Fy;}GS%^*gmzsq11aP^$Vjo9e+$YA4^QCCWvN($9J#nCs!21VYX@bJyl{97^= zS#cLv0K0HOn*ZvbR+`~(I{rQ$OmR6xmpi>zii0@MD8YLEs+{1c@(;O#AKs86Xg|&G zSN>u8hywO&q8fGnHQa}jsPj9e3PPU~ogevXe~qt3ES!6UU`Y8pv|twAKdr-iC;B4= ao>C6 +#include +#include "turing.h" +#include "const.h" + +// Turing print defines functions that take a list, take a position in that list and print the list with a pointer to that position. +// It prints this vertically + +void print_lista(int*L, int length, int position){ + if(L==NULL || length <= position){ + fprintf(stdout, "\nError en prettyprint"); + } + else{ + int i=0; + char tabs[]="\t\t\t\t\t\t"; + for(i=0; i