1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
#+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]]
|
