diff --git a/Lectures/L23_FiniteStateMachines/FiniteStateMachines.pdf b/Lectures/L23_FiniteStateMachines/FiniteStateMachines.pdf index bccdbaa04e35f09cce1ccab8dc4038a48911bcf4..296c29856a9e1dc40d11b4c40f6e882ced5caa8d 100644 Binary files a/Lectures/L23_FiniteStateMachines/FiniteStateMachines.pdf and b/Lectures/L23_FiniteStateMachines/FiniteStateMachines.pdf differ diff --git a/Lectures/L23_FiniteStateMachines/FiniteStateMachines.tex b/Lectures/L23_FiniteStateMachines/FiniteStateMachines.tex index 508bbc78515bfb9fe0093a226f4d0f5b7de4211d..1c840e50c22d882d0f7cb9e8ffd26202ef4834a6 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}