From 1e1ee166b071c3eff1119c8b1f1c4dcd34ef4398 Mon Sep 17 00:00:00 2001
From: "W. Spencer Smith" <smiths@mcmaster.ca>
Date: Wed, 7 Mar 2018 13:17:38 -0500
Subject: [PATCH] Minor edit to L23 on finite state machines

---
 .../FiniteStateMachines.pdf                   | Bin 801827 -> 801944 bytes
 .../FiniteStateMachines.tex                   |   2 ++
 2 files changed, 2 insertions(+)

diff --git a/Lectures/L23_FiniteStateMachines/FiniteStateMachines.pdf b/Lectures/L23_FiniteStateMachines/FiniteStateMachines.pdf
index bccdbaa04e35f09cce1ccab8dc4038a48911bcf4..296c29856a9e1dc40d11b4c40f6e882ced5caa8d 100644
GIT binary patch
delta 2769
zcmajfX*AT09tZGe&|u8aU?dT0hKQQ6ZwX@;A;cgfgd)mBWBXgX*(J-^#uiDUCuS_!
zA5yZ6M#dgOMwYBGcwG0~d*9qQ_r>R&?>WEki{G2yuVfcZ+CxXgfNI&AcG)pXidk<t
z*)ITnHz)nZRZaqHF70)nbov%ASQjfSOMW)`v*<K+MCVURn5BG|P$Azy@pu_<n5@+k
zCrUB-&btzAzF~Y82>PwLA@~l(Gn(KzbBkw$je1m!bhnbLPZku2o0hmul^NNtX<hYY
z-IwR=Iw;_e_s#TiAt+NX4)-2;o9BYlULOJMukc%Di*4gGU$Hf<{RLvqIz19IZ0YWs
z_sSX|C;{t$wm4${Elz2ovx<kOO18|mQ_sCQto-drm6eU3#`o6vB-OZ%_C)vCdKJK=
z&N$?4J-lG5MuNy7qpg1oKAY-|VV{0w-H}rkA#JJ%lDS?&^2w!8D8`+-A->~CG_c|x
zZ%#J<b+qs@`Of=_-h^a3cOq5Az(RnLOD&rkeL_EY9Y@oBk|4QwKWCl{*%D^Ui<+|z
zKIx~2xRZ2q_qJ^)%O<U?BUSFTKX+<P!LkZXChZh?Nrfh2&~f9ONEA`9yo9GHd)7Ox
z)9y0Yr5JxQmxo?3aK<*_3_ScJ9YCL`6Ht2?0C6gd-#KJD-9J(p_IL(uQ?Wvq-l2Xd
zTq?9r_tQ(|K|UN8y<TQrA@NP97CdcVI^@iFF_&h;BCaDqBQ=l4utHikOL5emfl*m7
zl}zm)Zra7M8yvU^k8HQkmhBqTmUf!W)M9)#>G6$v?%4z*=m@Wjwj37#a_>c`HMWMI
zc_%83S$~{<cc)$cjl<l=Id?>^tE}46nyZ;xXkINH5&7fqVu43+IH`{#szZu3<}9)z
z$(#5~GF?PdG7BTR(DC`5chIwp_9$@fZP&POVSh~^oMiVT?3(=D;3?QJ2bHcoJsbiy
z<6C#9SsAG$#7cU}5jO=4wvjp%RRg5Nob{QLCFkO<S0z<z{@}wY=to~xM;<~#VBgQw
zEm3l8hZ7fV;ej5l%mO$ClTun=g5WKTZL2%&z3YY3`to%*CwISP)oz8_!)YP4iG&Ki
z6y=GT(y>7=;2f=&^MHedK0foHn~o}X?&n`AJ|h4to>URH69y`$WhaS8kM(1xO_~yz
z-Ec36nP`~mV%XCi3)9CB@68Xm;Tr^5_)1NfYKi@K<XCs`h0=4=BBu}JFBqgeb68Or
zx%C7F13NTrG~B~Ix9x1Y<JcO&C>x)9-k;&R6Z>$h#)fH(Pjb0$I?x|GX>DW6*zfpi
zL-kr$wjGD^W&-UZR@%}IqjD9#w^Tkiqt5od^AWi!vtDEnazMYKv=`<dG+<Zv0Jk;0
zyX(6@r(n_Lq}8y~)mOwxJO`xm_bW2j;;89NZ#;3ky&E0G!R#p&_Y4zleD-ctlYtKZ
z=HNoeuUrZ0EUWZd{8`<*oZ<c@)7=Hx<2g<X$7%cw1%e9HqPk`O6!u_s-8Dw-I`g~_
z_G*(#|E6KOfqb^>*DCc9_nTSbj(%-c(}9oGfJKk0b9a4;3$>V}XP<H=8x4iTn#`Sb
zx(L%1->)iYX}f&g&H0rLTJiKF-^oV%8MooVj|=0>9<1f6VVgZfCVJ8MqfrAwY)9PI
zxY`Qh@sIffwqxwaIF6k-20q4ljO!TpF-YC~0na08Fh&uhs-TpGM?%H^lk1|9P<yzw
z8d@E#htX5eS5z{<Dk$pdE2%1}sw?Rl=o{)|3^BUe5?cSa;taWb&Evi&!Ak<8^xxNr
z8YcSK8VGi;hfFp5P2qM*J^akP%|2W2lp5^hXF3OZ!_VWDOt<(<j1%D*!cLgGXw&oy
z(0D5<m(|nylXW~+ov_Hna$P0<ljlz6tue0_^!EDIPyFuBQ-wuIG-h*kQl6;LRJfw%
z%u^x-Ur4f_2oE?uboE6-oACk8{{|4H-)!+be9GF0n@e)G2<v(h8abF&uVwQ4^hZ5Y
z{v+xaijw<?D#?oHqsi>jnVf~92!bFq#u1MkN~K0-rqw^F`#Zs|P~4vb8ZlG(D1yr0
z1Dj;<j$x%2FSs^Rz_FGblZ7=g^0LZ{Y|g|fVZ$qh!ohk$+~Y}K!cdkF1YjxUIui&B
z)>Y>d{!lI=i(1~ODQhk=?I8Dkvvr~IjTm*z8Z%hB0QXJRC7af_ApR-aa(ZN;ONjjW
zLmC#@<e6WFbrojXb2C=y6b)g?nPy;#fE+TdKWxzHs0&=o2_LfJAIr1wiyY+7UZ{3w
zOU$_7Tt$C?zEvERt&tC~37~qyE9fR@hhp=AB?9<b#^S4XjeIcORcOd;t5+8$f|t5n
zl~TZ2gBqJS00-bN$;IsPH`C0c9bF^!9fyAsWaQEoOZN$l!kNZ|58`VdlV}t}d#S-u
zsr)JMXVhrx(^rTx^R!B$J{?hcqRBS@Mbz^alcoNjEl4EN0T?%YNr?SgC4BkQ%K`=k
zDr}-nw0S902=f8CcPRx9OK=h~7d?NbM|(Ryby$zEP#>V4uN4gF#x{PKse2Py_13p2
zpQOC0?0fmncOF)MW3_Rw+dl|nY`CZv5X@DR-DoNhQRCqtu`th0z6rTfJ+(F(Jh6$(
z_^}Nm`+92m0Yk*8(7~F+v~HEhfva0h`RmI#Ch^DHACpz&-;aA%-N?;f$zdtMJ4eez
zm!GcQSI5P?l+9j`@?$v3+m5_sx;!Df^w1}p#J9tmw#2dH`ZBSxq`#y?e?23ga^$Yf
zdBYzt7tg1iT@0G^+ShTx6s*gnOcjC5J@>Imq=Ab-=r4l+5cm&sPtLf#ieXNdwc&`C
zS}eYt<i^LE-pvxB?PRvpp6?9ZOyg_0QUc2NWa1p97v4K-@3z=STj|h82XBY_YwvnT
zg11V=c)oY$Elo$ekZE`=T2^2&NiiYJe<uc9TaXXE(OK`St;R5kex<WN%Df%E{}(49
z_Z5iXrEJqA7DD6r{+@Wzeyz}a#Rmh(ueX2m^VU(tH4gR*Y!2YWokDL$@9CJ0ow$AJ
z&1U=jp$Lr<2$vHIh&}JWO#+)mR8c;69@LF;GQt_h>whk?>P@<$T|eryDfKH%=7Gek
zL_TZvaAA~?u?`o(Esuj;#$+D&o$GjY8EBvvtPk~L$O%c2FYbx|_Aw2y*p+9xT;)YR
zcUbdoTvh*7_M;<(1-yv7C)cmXyU{j}pyM$xp*pszm!y5w`#dX!R|pZwmRtrjZVl|I
zX}0+Hx<QMeE=#sjnm|wCDgW=C2utqfB1lCM-&SlmP5f>|uHr&RQp1he_O`IIKtOZ%
z1ajSfIwz?i`8%$h{nAfTh{jo%8(uCkdL0dt>Ohj9H}JC8qM2y+r6N#0*Q^8j%tD(J
ziF0$t&i)S`SGe30)LX&KcHgvyMqEOjs7MjFo$&%IR_EQ!*~3RRYS?7OIW?>WFsS~o
zWZee$XJtW++8%H?-P-Wz%et-!JqMuD-i#IwT+CQbq-!k6j4C5EWS=h&k3SkRdnaAZ
zEO&aybk?XyouKh*RHRQ-u!(JFPJB48QIR&0Y%OMMwkqH&$}oEP!-82}Jy-SSi`CUn
zr^pPrQJ0mW(P=RcLi*tUhTwu5{~iUPTv)CWkiGV-=p)eG#aVb3OA{&%QBYEbpil<a
H4I%#ob}>Lj

delta 2649
zcmajhdo&Y_8wYS3hMC)nB+I?1WD}ca<bKI5BIOdByJ;wwyf21HmTSf+$1RCPB6A59
z5|L~p<`TM~DN=GD^Lo$k_t)>A-yffIzUMj5KhJs2dCpU?1ux%(CnN*t!1hgkxVCn_
zu{gg5(RC_x5-CY!cy%`SbqxI4RJwa~{nK3eSRDi(Qp%Yy45UIu>r@#|6OV|ynV501
zbffiG@gF4f6|1AfjX0Ub`y%UKtX3^Lq{4QDG?HkSuUA7T<XJ_ZroQnJ);pnmUh`cN
zcB<FvHIiN9&??_5?LHb;Q(^OW?z=r8&3Bb(!|80BoAYUVHIS9b=tNkx2$YZS+_^$X
z_IGj@Z$U7|3Ip%wnY-vL9lMscu@zWjWL_ClC{yjfO5jcU2#a?Sk(NZjyaA}7C&LV(
z!2)y8X;4;vhy4#guM!If>L@}CrTHfu@6i^?)R(4&G_<Zl`}7_^-6=4;W+3-9n^>W;
zGtFZ%2@NNnwU-?TqSj7g$}_6%Jckw|UI*=sSWT$Ec`d2iJQA5D7z_bq8sB)LFBy7E
zDrf`|TR(6v?nLUvX{e^>XDLO$bMDu?VQ4Lk>osr99N%xyV1)sS5v;`K9VFTs`u9u4
z=egQ}CY<C=9{R0}mU3)oQJ5qFNVJ@h=VuQxUz{WL?*@Ezc@!ZKe}PqyGA@@9TpsJ#
zE?s(v^EOiVa7H82F^V#LIDs6l<C)(*n{+vfyK)l3q(rvgI`terfA86MM&F4IUjrJc
z<_fP7*uTk@tQ(h0Yu>U<x-`0M+M(pDP*VJ1R@*M}CXO-LiNzWVm--MCi7nj1=p?@u
za$;{@!=kC4o3`{9lRD`_thxYu8G8dEbNt9n4NfeP^;X+e!2e8=`bOeQaqDtJvqZ3H
zS(BcWM{igGSnJN?=_{8kMcqPHZbk3RAL*%`o#0s3<GM2ZFp#y42mRlChg_~oO>aN)
zoS~bA7_3eXs->=?G$)YDL<~wy8CG&KdQYRGe)cbJN;I!jg&SCxWBSbC^Dun0WsZt(
zv#kcawD{~Cs<o@zft;_WZnSg(2uk(H@*{@hn#EPYHS<fRo~U=*{&`Cp_qvDcddI>;
zB%6TBB&CsUDz0*;k6~zdYOc1mYT~);I$tP6=RzC4=n8gO07W2H?)LGC_EByI3}^8(
zAx(PgFImmUzQ4%*HEZ8rlG1TqbE)%kv^+tmzK8tXCywJJwBcN!11O$yI{VOwJz%?r
zB8V+wX}{Lqo>*m_eq^e=bAhESN^8@oZPQ)zHWUX<+*&S278BC8B9^$rcJ&YZT-n1-
zuHPHA*1RI}7@5SbJwK75$l;eitd16T`+WGB<}#|fNfe2SjA9gJ$5*Pqr<i?ZN7GcV
z1=2Dy{ry;{S(m%eQtt;-)hjRVs@OUB!xp~SvKFO}-OGM!;F3@jF-+jf@3H7t^Lor0
zkQKD$+cGw`Ibu&@+lx-=3m-FsO*jR^Xg;)(hnJkkUWxMmwlu%(u?yVCzfWMF;6Bhk
zp?$*pMD~H3J$6N-kAvU{1WFf?KduUa{Wmx7s6sAFIi4}rw$L@!F*##?7O87tVxp^y
zGDX7SNOLo7Z9NM(%1{yWe_K4kTDE?KfQUdvgpN+W(ZAP8Z8Rn%*Ic&u_r`d1bko$-
z^*ocHPGE({HH|rS*LRM!*Ym24o|lz6ry6(e>F~;USoj?%RPByDK+r<mu^jZkSP7c3
z9enVDsgdkKX=Pa{Gs$n<)e;B)c~pCQ8v~;+mZTW3C6kI5T~b5|Cv_WSC93)wBWE|?
z8>6$kOI?TnmEZVI0}<RB+HNxj4|}7StS12jl1jlAHj6!GQvr&C*5utO3-&X`!Z_05
z#w2<-;YC>x=(?3<myxWXN@)%qMyHMy9og2JNQm$F4ChO!9|c@j%dL#``ui;j$Wh0x
z_=&BQ9r!483py`9RC*@jbBvE{<Shb||BmW_0kMqRYKmA*fr|X$;+Y5j`khdg-d~!P
zT;v)&ap=6-DV|g1uF*N~=gFQWBaL8=)@M?F<YTWfJ`r}v@PZNZ>5Kb!<2ffp*gZNh
zps6)p&EuRCJJ`D=Ije@fAY4Ta3&kpa=AHK(&O$qN#T7=N_s7DpR`SwsyOEDea3W3-
z(<wLS>GsDv1;~|dgYV3$D4Tx-(M2GN+RNWn_LUvZ1tM$E8J$a{1vu#tyO)u81v>L_
z1=LUmn1Ag-enodD#W2->yB<J$LPS+x&M6d~PBw?0d!>=R`NpTUNuFx8Q|T4idXQ@U
z0H=TPq-~+9<2_b{ARZ9vqSEJ03(X<kk8ITfAgt5J9$akg3U*DWbf<YnXdX#dMGi89
zpn?2_{2GXNQNh_M=>>T+KXOSy?&P4>>WhO7OTtgyV6rRl^6`^09B`rN(wiE?>Y(BR
zG4t)g)~A$$fMeh3(sWQ9zg(9L&~iFT>Q8@#(ZHx113!tG{CP8KU}F)pI8My_IzF`+
zv)dBj;L4cp#c=IorsX-~dr99qq#0#shI<?4c1*v1Msf7adON%S5AQrf$W6kAJFZ+h
za_WhHTiRKtPtEdiR?SR5>Ux73&amcpr{xjd(vc7?j^_LrP9e7D+naTO+k5Jrv%F*p
zdowv^Mw9$Dc`Mf;X5}$Rhgh^Ek%u$X=a3lgU^rhOTHk8mP|4<}YAHEpeiJw)b;~XG
zmmLX2e^H^e6o#0I`qLTxUXB?<t!>oB*}HCi8aOIu0kjLSOxwa{NW^0*0dYZiY)wIf
zdtBIQS5ml<*Mtae(Cb&{tv7Pa_$KjV<ZwU37P={^&xkut!^IP0#)R^VKoM0>ZZF{C
zCx4Jm#>fruO?()H-dKAe!IOOmm<n95(6=0DoHX3LQ2@G;NTp}scq_->f0V5Nc;XLr
zm>^JRfz5Kdmjxo8cq-3F1t{#aUE<#!I!&6x{k+8e^on{PmAGs}23q@b74Lny?Wmk6
zn{0%#5P@gs`uY=}%zQ-71+52Qf*k&;^%7UDZq4}iJfrwxyv=9@EzvjNIL6K)Ce!(5
zEplP+uAqmHBX}qqaQbN~C@rwAN-WI4{NpRf)AZXI4j)WO0c{L8XcF)Vc;_ccnFF3G
z)jwz|p`KXWk#S%x#gKXEd>N#_Ou^ZRSS3IhOch0au_qHj{2MXdYe&N=X0H?Q$S>&3
z$7P_F8kL_5fja4lZnC0Zy)m{4<O@O+Z*AK|8eHr<79A#Kb_OdmkOC^;zkxlf(-nJ}
zPZTS4Dn+f%`B~^y_7_dk98=(=DtE9v@nKi+ZltrGY37+(JyUxk>+HWNXaAMj&WBib
zgbR2GSZJ$h=6CBul!;SnF89hAC#fIkF6i${v=O05XJy*bs~=UB4+k-{@~b(6kB1yX
ztzEB;I4W49LPs6FtV0VPlsj23PgRy{TbD3<!sl{$Tk)_p%IXpx{W#l}hlYha%lk#-
yvK%ce55xW^RBoL8Pldg|7Li1-FX-IS9SM%}^hACr2BH8)XzPI0)XW_$!2bYo_WIrc

diff --git a/Lectures/L23_FiniteStateMachines/FiniteStateMachines.tex b/Lectures/L23_FiniteStateMachines/FiniteStateMachines.tex
index 508bbc78..1c840e50 100755
--- a/Lectures/L23_FiniteStateMachines/FiniteStateMachines.tex
+++ b/Lectures/L23_FiniteStateMachines/FiniteStateMachines.tex
@@ -77,6 +77,8 @@ TBD
 \bi
 \item LineT len output type better as $\mathbb{N}$ (rather than $\mathbb{Z}$)
 \item LineT strt output should be $out := \mbox{PointT}(s.x(), s.y())$
+\item PathT len output the total number of points (grid cells) on the path,
+    including the beginning and end points (cells).
 \ei
 \end{itemize}
 
-- 
GitLab