equal
deleted
inserted
replaced
332 \multicolumn{3}{@ {\hspace{1.4cm}}l}{@{text "None \<Rightarrow> (Nop, 0) |"}}\\ |
332 \multicolumn{3}{@ {\hspace{1.4cm}}l}{@{text "None \<Rightarrow> (Nop, 0) |"}}\\ |
333 \multicolumn{3}{@ {\hspace{1.4cm}}l}{@{text "Some i \<Rightarrow> i"}} |
333 \multicolumn{3}{@ {\hspace{1.4cm}}l}{@{text "Some i \<Rightarrow> i"}} |
334 \end{tabular} |
334 \end{tabular} |
335 \end{center} |
335 \end{center} |
336 |
336 |
337 start state |
337 start state 1 final state 0 |
338 |
|
339 What is tinres? What is it used for? |
|
340 |
338 |
341 \begin{center} |
339 \begin{center} |
342 @{thm dither_def} |
340 @{thm dither_def} |
343 \end{center} |
341 \end{center} |
344 |
342 |