From 8ba00a13daf6f84b1bf557283be1b467c223b97b Mon Sep 17 00:00:00 2001 From: Bernhard Urban Date: Wed, 24 Mar 2010 22:13:06 +0100 Subject: [PATCH] statemachine: parser, whitespace fix --- spec/sm/parser.pdf | Bin 13485 -> 14339 bytes spec/sm/parser.tex | 30 ++++++++++++++++++------------ 2 files changed, 18 insertions(+), 12 deletions(-) diff --git a/spec/sm/parser.pdf b/spec/sm/parser.pdf index 7afe3df27950506791879e191903b3091f22f319..31905b6b21f785c1ef81043a2f2aca5c0a9acca7 100644 GIT binary patch delta 10459 zcmaiabyOWqkS`G2-7apy;a=Q>yE_4bdk7x zprklHK)ZJdq2Rb+c=4W8-}9B8-kqia6QTkLTN7vt)mpL=j?()o+<-6DuN|F2f=}{# zhTh-VN1h+-gOLdBDuRXu$D$S@<(t1%wAAGFrPbkX1L$PGosIT-Z8F zoj94Frq$JqK#CX5onGE{=P~8#2fit5$8mm+W~){nuQbdM@pS}ks>qF-IzytrC?8=w z0e27wv>{J>;6KBaw4ZH{(WlJ7FHv$Xu7(BGO4`O_eXtm3+Dcl0D7%ROBy@g-hX)t? zn@BOq3qIc}R40aMH{}=Ktn>26SE-kfgP|`I>YAk+UQQ2(v0bw|Z7(~U$hh_+@q*k< z#x0o%P^PW5&34<2gaf1iGMy;~)?~bJ0EwNP z?VWQBcYipmWcF0y35nZ5v#_`0!$X5o{ZjmbwHv{<4rIk+HKVSF%01K>FaWN^X5*{i`FffZSRy;fQi?PNa@Pb zoWlG%xOwV-|ReyPFEHh>4 z!T<<)=mFLx~$hy3rNz|qNm_9NOrY=i|9i!my=2N7+`1*w=>lz2)yW5Cn ztpbjH_Us#9-2??Xz^6_IkKAo6Vo#RRA`+4IMN$fUaJeA=U@Hin()kpqKxN{uP(C_fI7#E5(0P%$6srlT| zhcF=!V=)hi2rY_vvX~cBBZ*@&dT7D}-=?l_Vsh*NgL9~hSFeQoZnL;zGl`JWt=J5E&vH&4ij2(J**_rGjLi;1M<%qqHTi0C_^weeWVz z5zFR4JP=>K^E5V9vNw+?+eHLA(?5 z4Cs1q!CpdgJD(*_i5f=G=tHW9a+MP`!kXK%BVsku`Scm?%6Sxd7aI_&6lcZZ!p=MD zxb}}v)RnM#bHmU>;DMU3KVCOLCY8j$qo>A={_L!;6%gw_2-9!Fda;7DGfB1c4&8ra z^>gjA`XQkLtf+?En?`i{W0hlQ#IjEQ!6b>utsoxgw1|WgDEW5{CXeMc_gH|Ly;P&Z z>sy0-Rb7#Qq5a=J!evt6V?P;xz(pXStTgTN*uEFmI!s0cU-qNYD14gi&Ouv2M}A?1 zwyL5(D<45JQqKU?*KBt(ie&=>?Md81no;j{D;>M&8MK}4x832tzv4!~_@P6cOV~x> zCa2@8%1gG@i(Xm<_|I*AltCcOXZl$wk769TR7iVUsT3Fa3xMvde{W>R6;2y&o;=U1 zL&CJ&A`PGhtF_|#NF~=gE@tmc%jBXGdzLK~r?+d*5jx3z*Q+b@esId#ltJ|)-W2I9 z7KVxrRe-XFaup=qg2&~}v{ets=7mEV%xxGe5ESu-slgN`S~7mL^GDh9ySrq7eajh- zkti2^U(edQxaI$yQ;2~4SpQ1urr#t*PqDR}aI}L%hr=mHX^7dPp~VOR zJ187f<`$Y!6_?!jYlM7>=sC9p)__4ghI(cJ-vvejVJ%+kBQ!W8_Nxk7T5cc}TgYHh zv#2N-K@8OzYgZFQAOYyyG(xT9iB2Riu)jzuwDEu5_70ao6Y`k|y5iLajK$U@M+_G> ze#gt12KgZ8vUgIz(f5oIO_cKG-)Ue+nV@)no^fP#3iV&0P2CX?)ZiM42!MMtOVg-r z+U20fBm@3fV*#Z_9ncdoI+p$Hv{A`=zc~gQM_jN5w{E#cpKkH}+=hizx2@7IRdmMs zuV1|?Bm-QYx4%1el6-2x*QPhEOOPFy4SyOrWihDqLMjqp7jNkQLflPjn*xAV{ED(k zqbgt!p;!m+P}}|ifz}#ci+n64W@3s8xkGCbn{YseP{yNY1gCnP+(6azti@%(AT1`biYNhP^+!${X7cBvp*#DFoDOK%h!}MUkhrMl zuucmsqbM_eo#%j+CQe6^Y2GkiBezAePE6QAs-ehOsp2#tvBLMqQBm?qFvYUS`d%D> zFCL`;H>eXwp|WGE(vHLx&$@i` zouZcK_(Hi`hmN!_xo4pCJfC<>d**%EqixC5k)nR7N12)f|Ln|EayRNw*C_j1blASa zx6}{#yMi5Rrf_1=n^Xg3`JEpxEN7`WU#BaM;#`f1RgB^p(PaIz%$TE4q#D=2I*2_m zrGUYDif~Fa3$va90R^dLGn?SbJmp+NUo_-z)HeQbb}c-+vM@~hyORvbGzx}>SWZxm zg!Dy1()9#+-rnh=KLR&w{?bO?92{1Y}v~ly1DhW13xwsmeSy z+~~OqI`aob2s&*)3%5x+%HVJg8cGWNU{Pn8pdpt$a2E82N9$Wtrxc_2h*P*KJ20p0 z^jHm*_7fRZ!k#fd$Qn)NYHU;6lbJNkytO-+-JK8!cY zCtF)~@_;=iD!Gn(zH{QZC<>-Uqb{nOFq)JOE(|S4DzuNJkTvyaKHw59c|KcpAFast zg@44n34lz9%+dNW9I9PFT$Xa~NLUMP7;gUd@Dvq2T_s+{WZldF>_QO@#6}Zi(Di{H zTPByFzVQm(oq{Je6qs}K$1Rsc#_fPq&6`_^I~e1Zz);y@b6R_7H$A|uh*%6eg7pQ2T0^oXUn8{|?6#jd@|LmG*-?%-rt5web1Kl}AyO%FA6udqS44g1V8jNtnNwL-En7EkZ^8 z&^X1r%5k4Ea|yYh(Jh@I> z_U%E36T#luw&TmV#+JImlRvmh7%KX`v+^3`rv*nk>FY#50o%963-xrt7lA+Wh56pz zq^e1eGz~}Ft=Z^xUb>O71e{R2cA^J2OG~h152v=sNwOHZZKC(BLX`U7}4S`rIOi>>f=}{O3xHziqD@6 zzlA`#HY5#@7)Yx`CqfKDd#?&=b`UuiKbiHjsAy}|i%Lv9)tQ1S`Z$M^LX@FBBe?19 zpe0%SS=C0ygyfj}7RD>8(-Pz>BumC-zab{Paw$K$1%4O|Zu4pT@{cHb8VZwiU(P4>y~s6` zXVO_aK9xGlb%bBfx!8>I7s99Iyi}e#_LpSWQlIcxytH7mX*so72DF{JE8L4!Ar^v$ z(@^2TLHE0YEwFdvh0<(Pg2bI9=c0(@?gb-HGQbrT44br$6*Y@k$ z8UfDpg5!jAKFNw3ua@v~;{n(hGIX>|xLRxJW+*EW_gCKu6J9K^NpH4llled;bhVUeLAS zK_DQAgA1aILHd82b>0{|(C}iKiaN@A5Ob{b58NEQ5NK@D58UkB5OQpLcv&eWZAot<8A08gaCmcLT3??ST9|sqPi@h!p2M6ZA(5vwB zF-+J@+059?*(}+t*sR%XA^P~*|7D>CKLUq~1DQ?S%GgQW+=YUkO@d95O#z}!zzA(w z=SRT!0Ssd21|k3Va=cK}Rt47*|J2c_)zML-AAicsf-@W&Q&rbsjSvqu(GLR_4$eb~ zP-4B;6cekjo5&smIrPU5R5lMJY6?U&;yxCGH5S__26?7uYR1y2Gp&Nv!>@PO19x5h zDV48HbDC>kv^P3qoX=Xc#g-Iv!8F)Nr+{6Y#?=uw7rcGhz?dRLa(RD=Xc5v43yf$r zhx+5kLE~hcq>10Ve+Y#G;^k;cbq9RZXKskXkn}P=Wi!$}AJe$Xg=U%B+viJo=xjmQ zJ0@zgqCoyiIzFk7og^CPa#8ZLhc`#G+19SD^$jCQd%L^t{WO-IMHV#P;IsYQaoJhx zx$ZOtMX5$Q!_(}vJoRr8vhyV$>#j4rAByOT&Hr!`9p%irD@q|tswx50)i^+PCMF+t zwz-g&e-}&!;5PUzE1l-JsZ!3`4~JY8CaI;_(|^ot%(t-oWb zXP-J2q0}MousO@&+&9B?kO#jKflfedehe*jB^SZI+kA&>K-qnH7fn;&ns%VHYKzmW ze((%a+Y4jr=MC+RIGbQd6;iLV^_7^6iK^7{sce;k@EJ`%DM0ooKR8#RJx_JNf)En} zM*i$cdXi<8)VYc9ps}>@_g$Naja7mmY3G9VkYP0q+WX8d^Q*emgvtF{xA7mjKGOoL z+T20mA6lrZEFtcR`tDYTc(_`!2;)6Y8MJtw>_L4kBmILmR|3_Nzk^2II|;!t*+PKc zKXPiKFuHkA1zBiax8O9Txu6lBB;&(?PVrkkd8)uJ;eG(3B(7XbEHl1(PZ-?j+ z+VIx~iLHC)zH|_|bq#G%(CDEc^PQJQJCSmDnSbxop@QW&wK*DPLtJ zY0^3%x6&&i99kq4WdRQ4M7e5&x9`g9df(?ACH*_SPR9)93Vf2h2W{zRdG-cHK;~K; zn4#wMs9yt@BE>tG^OV#HRebwVAr?@rP(7X02MtjW^yeLzE1cUa^=w!R9ta`oE1A0} zF&bD!8=Y|H!7@P0y9((1R?R<=!q&sL4rYb8F-KGpLBk2Qz*WyYhRs_3krFU7y|V*fF%6<7;A>$7)BS} zrytB}4B#st3PD$=BxrXH?)Rmr~oI5nHMSw8X?0(Y=CYGtS=_``j8K6f2<27 zza5rf2d2GOejxLb3P8zpH9^fZXkmnpoX;DREJ+jwdnbn5{G&+2t_87RJqnvq%>C0y z5V9)Hj2G=%9-X&C5$*=kS;bo{10WhGLVc6K4mKAU+K&pPLv{4n^3Q56Lrc9n>UGfg zV!}wTRfKRhg7zV}1d0G-9VR2nPCIH!r!Y+-n4kb>aPdb*ZCnCd#gXOx^h4jXA*SyW zCT(qq7V3TAIfDRuOf##F>^_7KeBDJ$B?b=6?Z2agKVOPdYyCtHpo*rYLddu?LbT_; z2bbtQKMcD)e7K>TD-Jc7wmR(Vl5ciXyOCro6sstCe3ENkw11#`Njs81KGOqF1vK4@ zfgqzkw+wIi+Bd&SOUHt?1=TMp0~o!&IH>tq0e`_7RF$(XrFu0Bj}-2&uh&)jp&QYS zXK10`#7gK*?VNx4topsLbSH>h&Jjm$3*54yZrQgYR?%hTM!QN*==VI4-JA6KY&;@| z7e{W6z)_u^CJ{{#E$Go@sXr`IZ6ojvn7yUYS7d5r1hTmq8{;A%23)mLT~kLc(-*$k zMVjZQO!UOM`qsGCkn$&*WXR1Cqnk|xy+FLYAjpxzOPGU!QFdL3H(pN9qMxTaz$}@= z1}rPxq|=nx;VmUsJ@zF*!;phv#*{Xi1W5#4fn{+OF>m@*MUs1T^z{~mxw0@yp`pxO zOG)CyxBU$zr`J@6{(4Qzf_Kt2?kE-eRXk3Zu~W|?4e0AQZ1QX?Xk*1g*8x%i?OMy z75b7$QXPiQ=G?x7oNRn3g8r&1+QhAqFsB)VRm@i$lQ98J?W}+SH;mXi_7W)or*+8u zhjYp9`p}9!i-nfS(LrBYK-{sNAVe1d4X>h0;F>H!!hN82}hXi7#a4_NHuM{yu zcP<7!QCD&PEZTPS+^iivIe`4wB#Z(M+YDgb(24@bfmQvOh{uQ1le8fFPK#(4k? zqjx|oy5rD&#ERGCEFTgg3k#bd^$Bm(GfSeS8BJ}*esSIj&v2<*`7sHp=LjjO>ijlu zlyidm>@Vnc6mLh!HKih$my`Q{Bn%DO9vbQgjUtq>&Sj`_o=JIkB;I6Z^4=;tq%YbQW&5yYs$6a62s3MaQaWVo43O-#u z0sprieZsv&>Kp4e2Yd~E0s~W%(|13Ffm!Rb>63;rG12z{`l~l zu@_9BoV}M>&jIZ5f>4R(u2v#m8xjE^hp$Qw^*vq}4#EK&BPRJf8ezzV_pOWUL7?Eg zl2TxeTxOBtkjXD z4RS;3KN&=$s_(3wjX*=jlb@dGSgw{D*qPyr4PHZzSr7m3L0$^Q&&6hx)~jr z-w8Nv(%Bant=ppz?B#=GR{OTE!RpVU03x9PnL(=_;moj!+?Abd)$us@?Fo3%9NM$M zD?)GhkWIvlN`ZNYyqRhAflX>n9~B==J6O2DUM| zFtpalsKKG~aN3RObP&>k7PSPN!I592p@iedIdAp3WW+i0D^CN&?V`z(;2%#t zj^}JpUcY{`idJdIzEgcY{n8^fH^qZ?ZF$I(?|Y-Hg!S?}NiuitpOq6tnH zom76{oNc)Q#_RW13V65h1xR+&Dn3N9%B99X&^*Nzc44wD89{Mw6q6HEf7$w~lbNK=-W)ksq66us!y7c?ZH=C#s_nTaD*VQ&vGpJ1enZtMxWmZ^2fv&Bc z`Pi7MqG-lT5qV&>90oS@{;bv(9>g+2@ex?Gh%G`!{VT+{IjUj*)fI!;bUgympq}F8 zWz9@Uy^3iOMFHNd7<^&IoQb^DFV?Ycwv7tUKARE^N4}sdVf6h78foF#8B`s8lQZ zOn53J6r;LEtH^ozKzTix*w2*Qay`saf9NHk)eY8krYfJ)(hSi#+;Gicj(ktMEp)7% z>Qky-)OJy0=Acq6dNXvZjrV;FXnMilbK0i)58k-eXwEq(`x+_ugnGAbgdzs`A>d!*t#!!)R%%IIFBw%m z9~Lki%oRZ+b)acyIT?J`B!{YVD11M%a<=g?jcVy+ZrT$U+L-j5UPK)ox;AFJ6tH@f zwp^d7n5>90Y*l|`g#}d$X&7$*rdV^xTbms++bKWM0DI2YWnZz8I|2yK4pyHH zBEYZ#rT4C)mX>l#+4%qOCW$mE| z9VhJF{_)E#gQ2AW<=dVZC*M?T_wNN7uKDzG46t|0?w|?C6Fqm3Ug?d=<86x5%t4={ zH7V%~PBDp_O?ss7p<-wiI#Pd;`}A#Z|oyLWK<@}%r+xPnv~!fNeoPLO`}4HeL`ou$10Hm}$$4y)}067{fApj}F} zAy{j5YD*?p&de^2{Rqd6D@r{Zcvo<7!=p@QVuwrWOkd(#ZW{BRqNGFh?m;~4?y+pn z>pM9=n$wpGJ3~dK=W26<09{6b=y&lH*n26>b+AQWPsGYi+O&w#lo6zLC{u?(sNUyX z6gr-AoBl!B3KySS4p{k4%U!Netc?GG1srV?ulYk)yR>}n&^2}xHRX`^B3p3rOo>=8 z2TlpSDQIYNsS9P!#kk5)JC=Hs*qyhLM!lK|rU)inq1_?g-f#RP6&jVxN<*6wfgO(o zD)0d5Vc_zE{2`@LKFguyEpD5UR+AH^t|hbC{mzX*V?dW61MN<)dwfHBpG7JcIhZ-7 zQ5ctDd^A-->YD23j&G(vXDhjMX{k##C69c1o$`pJ!d+0ug>WF5j9tVVVe3|GifdF^ zCs?#&cNK^7BCP(4KZXt}6~`rBZE(A!1teJ(5lM<1M4-J*oDp`-?nnK7=>9|jbmmpj z1-t}On*78&<$5GAKS+==>YmisWB>8rP+?pIR*_Koh@-@FE9Y2f&ceK-g3A%SyD6Ko8 z#Rg4!Gi~d(yNz7-f!`&{5y3y~e9XG-1wwZ-6+9OinA*lOcvsz+v)?u5BgWam$5;2o z*W#wjIXX1rZ>*BVfRp!)z(y#TgL%I@_o2 zyAkmusyXvppT?f*g85Y~DtrC44)Dmf_F_;1d+q9`u>pnQ5ixcBD`3FaB#Wu>BNBlX zV5j)>0?X;MPy@arvDJ?clU240!t$p`K97)e906|eaBU|W!`cV^{5SOgxU?ME101_sF%x>;yrcxpAuN=I~s$Tw-`S^8Sn_%(K)`V&J;!T>2ASLTXIuZ=xXzMEa zwO`pYfE!OCc6gbIh*85vH`46X$CH$%Z<~m5$)>WMdtmbPv3O~M0{0NJI;uF-(m69u zPpNGw%mKq2fk@v&|NM~=iRwYi@T)85yQfacT|o1Fs5)I-xSpOFjeRy|a>Vca?}`lU z&nQ|U3mpc4Wn0=wYds*R_e04`=dqK=piQy$a#HH|k6MUQ zcN!13V?k+Rik(G-DU7D(Ex>BthLn#uZE@$^iMY6;soE{APRfn=@jHA}20CF828}mGbUQMI!)@wQHlzYtm7+ARs)TL^!mk(M>IXX1Q>y?36*u`o3F)$#-&+tu) z=^fq}d#kp`7mC*|p%#U293FmJp~`z*#a#CHymRWAnl%1dK72=z98TR4VOT8>7P!m& z1O^L#lr9cv7tI;zd?U7Y%r?{qi<-gRHD zys5^en6UbYHoCs?w}T~qb{ePS^(=(AE{Q1%$MTum(NDCbRYNy>RHRXl0+&7&q@AGW zN}%*~C$TBuys8#?qzu^KyunCKX^zUHy+Br14v>6BVPvbws>@+V zgZ@u)fcyXP1l*8$;5aM?2Z$X~0^$X8aPa>9=>N|}VNZel9}RX+4tCCe$+&=g|CVw8 zTaTCLUwB-=e~5YKCAe#X%nUYz26xxs?oM!<;O_1gEVu;;?(R--Cj@tWIp2M^?mPGV zc>SyQsWv)4|4 zgoR`0Nqm8&g*Iw0$LKcUjDLali|ZG!PV3e-bNEwkBZfz@Xndo>`au~L&+=|sDuobX zc<~@>+wDMMG@K8F{u5v`WE@|?>l$&r+Fwye^g8S3V2_3MmXJcYK|XfL_x!YdeoM7t zWc3N$G>WV^{Q+RcIxW%3|8lH^JgRbHtvf6mVedLR3tjEC7)-5J45>B06r{V1R_d12o{y(u zhN}hHxOtm0fGc3+--#8{=2!=yGC7R)wf(LzHfU{2#Zq&=u!?ql?w1B`2^VIsSbMX@ z8lA!Mt>3+g?!2H3i?$`C(Ds03^YI^E7vref;?6x~=gsxQgPPX>X2F#Qi_;S}?kXcj z-QKPjY~o{*@pTlNHpPnIP zjZjZLmj@5ufX)@Any=;g=N>l?RtNLPl!6bxIP2_$Tk3!X-T} z$_-_(=pyH7^>Ym+F42e<&0Tq<*>rN#a-j!VJw1`|&s!NHw6!_wsXIca;y!Lgl0K&% z1ldb`6xTRes>V!P_Xi)IXHlmak(Ta2@@O^rw5jrLjX)YW+dHAh$#4%*2-(h`?cRIQ@*2C7;#(N(AXMwk??h?xFgK5c804C)pZ79WC z!wHQPMM^!)k7H_Es@DgEg{OUOP7TVGG<2na7=F6tJ}&J%oj5L(mGnXFc*#pkcu%-2 zm@p164`l~Z60e`*!u+-gVSQg)LP9oAj=BF{;&i3fw6_cM&yY198d-Y>?~Nht4ChHAJtUS8*pBr41g*Qp3W<$%@AmG_QlKcaM! z7ZTtUyyg= zNN|->neb#}?k4v4uF{EnLY1$Ub$Q^MVEPWrXfD<;rJAmS#EJX1vveW^tJP-H?c36yALcK8w%u`kFloSCV0C?M9w4aepxoz4lGz zY;(yx)io+cT=03a1uDzHxM9u`TPYr1pcC4&<3dJRv5L_&M>n9=OjMF{@mr*s_2xF$)7>|6KG5iQDgHPLt^nG1WQv96N=paREUi zJ5~?kUBNw8J^21m*7toKoUIFV72{+_BxLW;(I*)=G*h9WJGVb(8cTow5#TqJEe=?( z-~ghR3)R&;67?cV#%*WiH71v<`)_+MCUnB>XI8 zYv1RE_d14u$aS)~8VgHs?m`8rW0`ni--+eX$k8)%%dK=Yyhx!Si?CMIe+)xJ&C>ho zUUfD|ShKy{ZTPZ|U-BEK)Db}?;GL`W%$v|+F907(mFXPQ-b31mZbi|IehITNleq2n zF_TG3VIETsH*%rD)?8;X;6_@hp5?u452|Xryrf{HGrFq7dSNspDEknE%8I)3AG5V9<6+E2XRf+EvQ_hM}e==O4 zEyd;lHuN_CPHzGeQh0|cAj+vquZ>h2DnXl_c;6G8II*NKB?n!qEp04}ClxQ8WVuJx zkEYb0z6h`bKS=fa8|F#d8Qg3ro=`$7d1K8M;Hf?f&XClg==_~~L^b9)l!rM;xkPNY~s;UwiU=)*tN3#;$ zlC{QAyWHkv2lig-@S0G+7z<@;)0Hyd$Oy5JGXUD%J!(4Cy49ye07EYMR}y-3Lkbz!m2~dz{)< zw>}v9jUI$o5bvwY$2sB}Czt0$`m!YDm7cq%r<5UC@ge#qdQ z(K#cQCdb-4uBah3KFFuUNUkHoqn_o9Vpa_fhgI=qM%O5F!8oY4{*3an!qtXlbMM05 zcQcV5F^9X)yDsY`IJtxz5&57)E4HGjXpFeStV}|76HsDcTVUFNW5o9cA-t4H>|XSwW&<(Ey7W{ zLmX(f9#@)1Otqzn&6e4M#=fGSyxZd8qZ2_w6QwexP?X+xE>71`KjzUDs@~Oi_(qBB#w%Ij z`!mIM_wgo0_e}2HPX!&0hmy zs0z!3q@^9@I^&pTp+!6~3Ip%FwkwKw*t#M&<#8@XoQ7!iHN^+8#@20!^+P@yFry86 zvnsp)NvPNZ`9>rw^D`lM8IGY*SB@SWBBY`+MfgF%TQXKOCyR8?**?~n8Q&SYt5=&&n%cKNSae+Wo+#C=p zE_N{0Ukl9jkHrDv`D+0a_wekIL?ji&mR*6hRn*Z$=OcaU72|)vhS{ga4nz>Lh0Ym{}0P#dx;*a%;#2?_H zAP5%_O;8Z+zY0h5$SP8|QNq`J-?7u>V&kaBKu%-+Q_@6<7FJC|6WpPsgnBQeri6`@ z1`PYUeNH4sx4ns85{iN(4$qDAaF@q@cnXZm|IkAU|> zErwcwPUG7Td-c0N$6wBPHtyE0pn3!s8A56w3F;YmS?q;}4mpK#@)I`Fsoo?oIH#|c z>ZeJ4<~DccpD=&^BJ8(H<3Zdh!EKaDPIPyXpAeL_muMZX$j#(c>@+-@q4$3brlyv? zDX))eAubEC^=;_3Wj7}t8yVDpS;(40FI+CjeaauUU2kH6H0R|}4aK=qL75oAzWr@N zzQQ5P-(o=&!2NyF*=ro0W%Cya(G=xR`g&9MHu4G!9sKnmP0H*<^RaP;AUVD4>_l&> zN$lhdb2+e??W*h$OI^4vgN`)IvO>=gvMDPnBaW%SvJlO%F|K^^hnjH04-Av)q-s^D z7kF&t;8O9MPwlrJ7@qEyP>6iUJ~8bOcjX{FE|Qe9Y2b0eL7Vo(ZIE*jYiK@-^XBJe z<#z;l>=J=g@JAE1NoFNBI1GvG!@dE#^z0!4&4c9k#Y65(81DG-h!`3oT9C2YefHCQAoU=8K?5eH+LJ zi>5{|05!Ua>g=7mKqvy|jE>Pbco8;4YrRk7rM?rIYM(JhxHD(8rWO{CTnsiAegrOJ z1c_R=@kGpzTxg{77tS`7OrB#F+A^bwPKd@fzcZVHs56sxg(KaZ)EM37M19l*1vr>9Lj8Y zTYc^Ic{p;0Ae_L~WFUSwM%$9|ZG@kIc;b*us_`OmbOs?A@&QqRd7XKya~}^WiW|)| zSgXwloGPoJ*S{m$s>5}dBr%;viP5VsQ_>C#rtGotnYy4T3g3M&Yr z{DDlK*bT(BTqasbEF6lLLqFT)$x7A_AxH2Nlm(X zDs&?lfR#n;;t2%9ZirOpZ7@!+YFl~I-^y{2l-q|Oq(%94KQ&VDhtRI2+Yk2-v zb=XGtVb%4(S?LN#Akvt&n8i%f8%5X`M7;|r<(9LmBuAusyCuDF_~K{y1HOul0RsX-H@oUsB{vj| zZ21!9w}Z1C2PdPq(bh*1CO};(Wdqv7Ph)o4-Ug3+9*iCBnklI>v88 zRJA8mu*YUbJMrf%-<@gS4|gIL2O>`g3WL(q`u3mTG`O24W@c2}e;ny5yBj+Nj3@Q! zC=h3rCwrL>vSBG&NgZ*%s^v9&BFJ@Z3{m&e2sK5^fTx>u*iQ z-`LfV$2{_?Wj&Ks3654mu1kSa6|Yq4Wm6f2Q|_C)mR7cl6=;1?!n04?C)2Igl|;t3 zG2ud{9~#{1ymMoh4I!))E;(8Q^J^u^rSxlU0^u0S!1#`rbqXdOE2ok-IT z4rL5sz6}la1jI(lU+Poh;+?LYWhuVhB{Zjbn5i`PcaQ>A10 zAgUrd+p`erutd}X{#2VR=#{&bwLC>z!qM}yze zFQeMtR=v=lNXDn*_vILDs!NRF66z{u}SU) zc!Fl(!I)~@GHe<4^SK;k0Z5Q)fdanYyz2_pYQl`MHb(~bx~*>W&2}7;?5~sU4uNnk zp~SyLdPQp_DaT9KEY=Yssi`3LCA2hgPbKf7y)(IX6FbuuJpTU*{L z)M$6L_aomZwk7zBaZ#ZcR40I0N0io=XY@TXX)0J-AcEGmBC|sGpd)@vZ~voesDiuJ z$`*c>8aDzMp_c(A6lJLxT?GlLzXLwX`;4Nf-92ROYUT^|cXcDu4{xWqev=7GKH2x% zUf13s{Oo&531tD#w&ba@1Kv+~sKDRDF|-~rsc%sS7k_9e3wNQ@EbP-`#Oy+=sim=Jr8pS3!Rr`k<2suf$7%K2N zj_pfN{gjPNEesu&DUMUCPm=;?^UbBx0V9u?;JmB* z*o05>sotblR(^hst|~brQp52v5FpQ2A3wk?L}VoH2qse)h;B}g5;my&%2@q8n~5=% z(s14bYVB8=>3^YnLa1V%WEE(swZ$BRr;%UAuI1qIyMh*n$24>zy0sY(rqJS&J)yX- zIA&B%G4$8EFALK)nUY(&C=cQHFep%$gjc37 z67k7f=#YlSkn_m5mlLVF zpQ_H-IiVtaF2X+t;*VdhX(}(6Vg;{b$z$zPiG(aRIa_yGqzt!Njuv=z#J_xTQ3Wz~ z))Ucam?LnU!j;saRcG?+*hbue=2Na;r53cwOJ)XhR>bJE4Bm`;Hojoz*-QoZr+cGFS(a zlPP2D?I0J}*%7{l7+HcP=;&Q)BDLXfEx7@R+Cw9|oX00*jSOv0;BS$`E?5RF^mPoU zaS5rPtQ9QB-uOjb+>=H^632)v23yRB0gFxzD8n>HaFIKIO!=$Shg@Dk>#B26m#|g^ z!_f1yx|ns#HmB&H6-zRaUOz49pDkD!>$J_(-NM3O^~6+yKn8UkoC?6!r6aQzdW$|z z+8NWCGb_f?qs~+9+9ky`*PLEtfW~RSK39%h(Lpy$*2J(XTX)$&u_93@+vnL6A~QRW zlc(K=`TCuSD#kC|6U`lLx$3Ec0kEu-jhwr|}6ULbEmWN+= zaO{i*H_Da~quwsRs)P0$LI!xhh>8o3{`7iP`b})Y0kmKXZ67$x-(v)vOtH*XL~Au` zUT`CT9Qf6B_rz$|99!4s`ggZ<-Eakbhu6EZf9g#7O*vt`U`1RkCSu#H`3hU5ra@0- zgO~5a?3%q44B(@(6=nvG6Q~H_&}G`C$}Cr^%BAttK{_R@Lm5&og<<%W$If;*_?}!1 z{^9krsIBTNoME9#zESyaLr;bQ-=(rv7>U*6(rW>qR9m?0A4r(K(n*!o6DDithgeCK zNy})M44U+#HLS4Pt`vqBYDY;z<}w^kL|`)pAQyawtH@0w!XnQ6M>RQ|G; z_d_>jM|B;J#@Ju!&1HoM=6a0L;S+ZcL+PuZA;iRFYf)8ud&_yl)8DTebt@*1D+IcR zg8$SjZj;pxaRO2l7NBAke0J#l^;srLHI(A0}?5Y95M8n+ZPfcf;uF-VCPmsyYK0`_Ob zfHWZ7RpNdx*aZ`tIU`1Z z2eAF@sI-oyy$T`iBNOPNhxifOMS#!>yKJ>=4f)BigxdKl&m=Wf&KXok2n&YPq`O~3 zu~v28h50ewb-?(RN}^RvHbv`Q_vOxy65}URa|J4jHk6Y?gA$tP z(`+WLH_eq|kWIbtFW;6DfR&H84lkyY~V$vfDIc ziA6J!z!d3$d0Ad$Dik`_v)4>gvSo|DI|P5p$`>8=`o6pdj?vHUjFhZ1DJh=!^81FI zUmhNrO;>qL@fFI?99a-?bv;Beq)N*7Www5JBSF)1hNE;Fuo_pbOY?~{R$O{XB^ z%oX`#MYs0*4N^;ySW^h;z#nv&_}=;l|A*pS;RIN_go0VS+c&5~!$n{ohSe6j;2SOd z+Jz&OQlyDu65y5M8p(mohPP1Pw_3Y5TjvwsxF9S#{umkJ74Kac7@|=Y85?OL8SfZn zr}25aAo&9IVgbRsaD3(@j$&}!P3|!6`tNU*A6BLKiK)CJ(TeMzmDGHJl4@T^3*Eu@ zQa3WvswH7hBsWk>VwNcc`PO28UvDAQEy6G|&8Qh-G)xg{{IzBkeXkqc(Cz}l8y1a3 zRHtpR#)&vkmrP=nE@FCIR(x`%yDudnATf9pq_Q`N=40U67 zjbibe&`zPYf0a#JTVrEeTVG>URbO8`$y469qfZz3%jVs|F^M@?-YONe{nD3E0oFIR zBE^vi>6|8WW&J89K@x`Q&w94c&&;M74NX79iw79#<_0KPxxea9CLczJ%-~Aq7ijW5 zHpsHwOvK%?byqK0f|(++)@H88bQJb+q5U3Q^nL zV^Xnv7<^y9JBU@}k-J+<6OV4y*at6A=!h3aOUfn~66pl-Qqu?)6>4^F2YzIiPv~etV7l^H7f-L93m3Dh9-7qGVex zxmx4EM#x5HFIT=p&Kw>Uxy}$vOGW~Fatv1UDsm2aloA?p8Qc8jP|aVZ`HYC;{L84H z5vr%pcEo*)+3mBMBQ@Xp-**~i1#Z;Iau@*m1K%csD>y^NX&bDeNitt#Rm4xc812(k zR#A%ZvF)S!Jo05jTtXL48I)_ny=;PIl0R=`WUPuVOL#aQCzc~hdkDE2{`<9@y0X0; zTkMVoj-R?r3@=t)TSMGbPyXHHk!gplmzkScbZtQ$KORqIGM;dbP4|Qwzg-Fn+aDFE z5mGS^LWecB)l3v?-A5ojqo@p$q_)(%Y)}{=La`2A3Y6Kcb`ubT*}zJ(B8oJHIa9xg zs~ChCpr`6o)1XTxsdw$AH;~bMBMj@~*P(!X?3c&f@r-MAkrUdyB^r+N``c0w=@ORo z8bfQR2-3(-PwoS2@dM)5)S!43BUc9~jE?S69Il$?6ZeSu$B?Xwmj>BjCE}R(U`*jYIoWAXFa3_G>@tPv3$R!m&WGkx~3v zI3nXlbNWf?{%VTq2G{`5@y>vqF5s7GuVEqU4e~sJ2OMQL*CAWGWsi|T(sCbEa4p+9 zL$?F*eV6uU6lOJ>nG%N>R0L$OSiW6-F0K_JR5n7dy}IVcP-=UjG95#?OKjHs;`4jbad57n8Wr3wZbZxY|rgkuWBasciWpex)L4)t%jnOY9i%<2x zv2D`Jf4kO~lZwB*T=fCkXVPJWh75|KNeyx&JrD1!Cv;i$VV_F&78q zKay~9^86+#s%h1^l;o-0WQJ|AB$IA^(H1|KkCKfPw!z35cBw^8XP3;epuy ziuH-+U_k>B5pGU#Q6M{nTS5#35)t7M0dWGsVn7Zq5QG~n!XZe-|No`vQT?O48#%jp VIGdTHf!KL~5HxyvaYYHV{{yMa;Di7G diff --git a/spec/sm/parser.tex b/spec/sm/parser.tex index b02b747..cc07d90 100644 --- a/spec/sm/parser.tex +++ b/spec/sm/parser.tex @@ -6,33 +6,34 @@ \begin{document} -\begin{psmatrix}[mnode=oval, colsep=1.91cm, rowsep=1cm] +\begin{psmatrix}[mnode=oval, colsep=1.95cm, rowsep=1cm] [mnode=R,name=vars]{\shortstack[l]{int s, z, c,\\\, strich, punkt;\\opcode aktop,opp;}} & [name=calc]{\shortstack{\textbf{calc}\\z:=z*10\\+(c-'0');}} & -[name=null]{\shortstack{\textbf{null}\\aktop:=DONE;}} \\ +[name=blank]{\shortstack{\textbf{blank}}} \\ %% [mnode=R,name=res]{sys\_res} & [name=sign]{\shortstack{\textbf{sign}\\s:=-1;}} & +[name=null]{\shortstack{\textbf{null}\\aktop:=DONE;}} \\ +%% +[name=idle]{\shortstack{\textbf{idle}\\strich:=0;\\punkt:=1;\\opp:=NOP;}} & +[name=read]{\shortstack{\textbf{read char}\\z:=0;\\s:=1;}} & [name=alu]{ \shortstack{ \textbf{ALU}\\ - siehe Codeschnipsel + siehe Listing } } \\ %% -[name=idle]{\shortstack{\textbf{idle}\\strich:=0;\\punkt:=1;\\opp:=NOP;}} & -[name=read]{\shortstack{\textbf{read char}\\z:=0;\\s:=1;}} & -[name=done]{\shortstack{\textbf{done}}} \\ -%% [mnode=R,name=void]{} & -[name=err]{\shortstack{\textbf{error}}} \\ +[name=err]{\shortstack{\textbf{error}}} & +[name=done]{\shortstack{\textbf{done}}} \\ \end{psmatrix} \psset{arrows=->, shortput=nab} \ncline[linestyle=dotted]{res}{idle} \ncline[linestyle=dotted]{void}{err} -\ncarc[arcangle=24]{done}{idle} +\ncarc[arcangle=0]{done}{idle} \ncarc[arcangle=0]{err}{idle} \ncarc[arcangle=0]{idle}{read}\ncput*[npos=.50]{do\_it$\uparrow$} @@ -41,10 +42,15 @@ \ncarc[arcangle=0]{sign}{calc} \ncarc[arcangle=50]{read}{calc}\ncput*[npos=.35]{c = '0'\dots{}'9'} -\nccircle[angleA=-20]{calc}{.78cm}\ncput*[npos=0.39]{c = '0'\dots{}'9'} -\nccircle[angleA=80,angleB=0,loopsize=0]{calc}{.66cm}\ncput*{' '} +\nccircle[angleA=0]{calc}{.78cm}\ncput*[npos=0.5]{c = '0'\dots{}'9'} + +\ncarc[arcangle=15]{calc}{blank}\ncput*[npos=.50]{' '} +\nccircle[angleA=0]{blank}{.70cm}\ncput*[npos=0.5]{' '} + +\ncarc[arcangle=67]{blank}{alu}\ncput*[npos=.80]{aktop = '+','-','*','/'} +\ncarc[arcangle=0]{blank}{null}\ncput*[npos=.50]{aktop = '\textbackslash 0'} -\ncarc[arcangle=0]{calc}{alu}\ncput*[npos=.50]{aktop = '+','-','*','/'} +\ncarc[arcangle=0]{calc}{alu}\ncput*[npos=.70]{aktop = '+','-','*','/'} \ncarc[arcangle=0]{calc}{null}\ncput*[npos=.50]{aktop = '\textbackslash 0'} \ncarc[arcangle=0]{null}{alu} -- 2.25.1