diff options
| author | Elizabeth Alexander Hunt <me@liz.coffee> | 2026-07-02 11:55:17 -0700 |
|---|---|---|
| committer | Elizabeth Alexander Hunt <me@liz.coffee> | 2026-07-02 11:55:17 -0700 |
| commit | 6bf4b90c90f15f4ab60833bddf5b5756d1a6b1f6 (patch) | |
| tree | ed97e39ec77c5231ffd2c394493e68d00ddac5a4 /Homework/cs5000/hw01/CS5000_F23_HW1.org | |
| download | misc-undergrad-6bf4b90c90f15f4ab60833bddf5b5756d1a6b1f6.tar.gz misc-undergrad-6bf4b90c90f15f4ab60833bddf5b5756d1a6b1f6.zip | |
Diffstat (limited to 'Homework/cs5000/hw01/CS5000_F23_HW1.org')
| -rw-r--r-- | Homework/cs5000/hw01/CS5000_F23_HW1.org | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/Homework/cs5000/hw01/CS5000_F23_HW1.org b/Homework/cs5000/hw01/CS5000_F23_HW1.org new file mode 100644 index 0000000..d5ac1c5 --- /dev/null +++ b/Homework/cs5000/hw01/CS5000_F23_HW1.org @@ -0,0 +1,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]] |
