#+TITLE: HW 01
#+AUTHOR: Elizabeth Hunt
#+STARTUP: entitiespretty fold inlineimages
#+LATEX_HEADER: \notindent \notag  \usepackage{amsmath} \usepackage[a4paper,margin=1in,landscape]{geometry}
#+LATEX: \setlength\parindent{0pt}
#+OPTIONS: toc:nil

* Question One
#+attr_latex: :width 400px
[[./img/line_robor.png]]

$Q$ = { readsensors, turnleft, moveforward, turnright }

$\Sigma$ = { white, blackonleft, leftturncomplete, blackonmiddle, movecomplete,
blackonright, rightturncomplete }

$\delta(p_0, a) = p_0$
$\delta(p_0, b) = p_1$
$\delta(p_0, d) = p_2$
$\delta(p_0, f) = p_3$
$\delta(p_1, c) = p_0$
$\delta(p_2, e) = p_0$
$\delta(p_3, g) = p_0$

$F = \emptyset$

* Question Two
#+attr_latex: :width 400px
[[./img/blob_robor.png]]


$Q$ = { readsensors, turnleft, moveforward, turnright }

$\Sigma$ = { white, obstacleleft, leftturncomplete, obstacleboth, movecomplete,
obstacleright, rightturncomplete }

$\delta(p_0, a) = p_0$
$\delta(p_0, b) = p_1$
$\delta(p_0, d) = p_2$
$\delta(p_0, f) = p_3$
$\delta(p_1, c) = p_0$
$\delta(p_2, e) = p_0$
$\delta(p_3, g) = p_0$

$F = \emptyset$

* Question Three
#+attr_latex: :width 400px
[[./img/sus_man.png]]

Thus a robot could take ~puton(C, T)~, ~puton(B, C)~, and finally ~puton(A, B)~.

* Question Four
| State |             0 |        1 |    2 |
| q_0    | { q_0, q_1, q_2} |          |      |
| q_1    |               | {q_1, q_2} |      |
| q_2    |               |          | {q_2} |

#+attr_latex: :width 200px
[[./img/no_epsilon.png]]