From 6bf4b90c90f15f4ab60833bddf5b5756d1a6b1f6 Mon Sep 17 00:00:00 2001
From: Elizabeth Alexander Hunt <me@liz.coffee>
Date: Thu, 2 Jul 2026 11:55:17 -0700
Subject: Init

---
 Homework/cs5000/hw01/CS5000_F23_HW1.org | 60 +++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 Homework/cs5000/hw01/CS5000_F23_HW1.org

(limited to 'Homework/cs5000/hw01/CS5000_F23_HW1.org')

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]]
-- 
cgit v1.3