From 6bf4b90c90f15f4ab60833bddf5b5756d1a6b1f6 Mon Sep 17 00:00:00 2001 From: Elizabeth Alexander Hunt Date: Thu, 2 Jul 2026 11:55:17 -0700 Subject: Init --- Homework/cs5000/hw01/BrooksWeber_DFA.pdf | Bin 0 -> 734023 bytes Homework/cs5000/hw01/BrooksWeber_NFA.pdf | Bin 0 -> 473624 bytes Homework/cs5000/hw01/CS5000_F23_HW01.pdf | Bin 0 -> 125090 bytes Homework/cs5000/hw01/CS5000_F23_HW1.org | 60 +++++++++++++ Homework/cs5000/hw01/CS5000_F23_HW1.pdf | Bin 0 -> 592426 bytes Homework/cs5000/hw01/CS5000_F23_HW1.tex | 96 +++++++++++++++++++++ .../hw01/RobotLineAndBlobFollowingProblems.pdf | Bin 0 -> 1222229 bytes Homework/cs5000/hw01/img/blob_robor.png | Bin 0 -> 207149 bytes Homework/cs5000/hw01/img/line_robor.png | Bin 0 -> 204892 bytes Homework/cs5000/hw01/img/no_epsilon.png | Bin 0 -> 89369 bytes Homework/cs5000/hw01/img/sus_man.png | Bin 0 -> 242966 bytes 11 files changed, 156 insertions(+) create mode 100644 Homework/cs5000/hw01/BrooksWeber_DFA.pdf create mode 100644 Homework/cs5000/hw01/BrooksWeber_NFA.pdf create mode 100644 Homework/cs5000/hw01/CS5000_F23_HW01.pdf create mode 100644 Homework/cs5000/hw01/CS5000_F23_HW1.org create mode 100644 Homework/cs5000/hw01/CS5000_F23_HW1.pdf create mode 100644 Homework/cs5000/hw01/CS5000_F23_HW1.tex create mode 100644 Homework/cs5000/hw01/RobotLineAndBlobFollowingProblems.pdf create mode 100644 Homework/cs5000/hw01/img/blob_robor.png create mode 100644 Homework/cs5000/hw01/img/line_robor.png create mode 100644 Homework/cs5000/hw01/img/no_epsilon.png create mode 100644 Homework/cs5000/hw01/img/sus_man.png (limited to 'Homework/cs5000/hw01') diff --git a/Homework/cs5000/hw01/BrooksWeber_DFA.pdf b/Homework/cs5000/hw01/BrooksWeber_DFA.pdf new file mode 100644 index 0000000..91a09fa Binary files /dev/null and b/Homework/cs5000/hw01/BrooksWeber_DFA.pdf differ diff --git a/Homework/cs5000/hw01/BrooksWeber_NFA.pdf b/Homework/cs5000/hw01/BrooksWeber_NFA.pdf new file mode 100644 index 0000000..a3fba1f Binary files /dev/null and b/Homework/cs5000/hw01/BrooksWeber_NFA.pdf differ diff --git a/Homework/cs5000/hw01/CS5000_F23_HW01.pdf b/Homework/cs5000/hw01/CS5000_F23_HW01.pdf new file mode 100644 index 0000000..d6413e0 Binary files /dev/null and b/Homework/cs5000/hw01/CS5000_F23_HW01.pdf differ 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]] diff --git a/Homework/cs5000/hw01/CS5000_F23_HW1.pdf b/Homework/cs5000/hw01/CS5000_F23_HW1.pdf new file mode 100644 index 0000000..39dfc1c Binary files /dev/null and b/Homework/cs5000/hw01/CS5000_F23_HW1.pdf differ diff --git a/Homework/cs5000/hw01/CS5000_F23_HW1.tex b/Homework/cs5000/hw01/CS5000_F23_HW1.tex new file mode 100644 index 0000000..42eac8b --- /dev/null +++ b/Homework/cs5000/hw01/CS5000_F23_HW1.tex @@ -0,0 +1,96 @@ +% Created 2023-09-15 Fri 20:36 +% Intended LaTeX compiler: pdflatex +\documentclass[11pt]{article} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage{graphicx} +\usepackage{longtable} +\usepackage{wrapfig} +\usepackage{rotating} +\usepackage[normalem]{ulem} +\usepackage{amsmath} +\usepackage{amssymb} +\usepackage{capt-of} +\usepackage{hyperref} +\notindent \notag \usepackage{amsmath} \usepackage[a4paper,margin=1in,landscape]{geometry} +\author{Elizabeth Hunt} +\date{\today} +\title{HW 01} +\hypersetup{ + pdfauthor={Elizabeth Hunt}, + pdftitle={HW 01}, + pdfkeywords={}, + pdfsubject={}, + pdfcreator={Emacs 28.2 (Org mode 9.7-pre)}, + pdflang={English}} +\begin{document} + +\maketitle +\setlength\parindent{0pt} + +\section{Question One} +\label{sec:org0490f98} +\begin{center} +\includegraphics[width=400px]{./img/line_robor.png} +\end{center} + +\(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\) + +\section{Question Two} +\label{sec:orgdb1d9e7} +\begin{center} +\includegraphics[width=400px]{./img/blob_robor.png} +\end{center} + + +\(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\) + +\section{Question Three} +\label{sec:orgf7c103c} +\begin{center} +\includegraphics[width=400px]{./img/sus_man.png} +\end{center} + +Thus a robot could take \texttt{puton(C, T)}, \texttt{puton(B, C)}, and finally \texttt{puton(A, B)}. + +\section{Question Four} +\label{sec:org54c6f53} +\begin{center} +\begin{tabular}{llrr} +State & 0 & 1 & 2\\[0pt] +q\textsubscript{0} & \{ q\textsubscript{0}, q\textsubscript{1}, q\textsubscript{2}\} & & \\[0pt] +q\textsubscript{1} & & \{q\textsubscript{1}, q\textsubscript{2}\} & \\[0pt] +q\textsubscript{2} & & & \{q\textsubscript{2}\}\\[0pt] +\end{tabular} +\end{center} + +\begin{center} +\includegraphics[width=200px]{./img/no_epsilon.png} +\end{center} +\end{document} \ No newline at end of file diff --git a/Homework/cs5000/hw01/RobotLineAndBlobFollowingProblems.pdf b/Homework/cs5000/hw01/RobotLineAndBlobFollowingProblems.pdf new file mode 100644 index 0000000..8f0d88e Binary files /dev/null and b/Homework/cs5000/hw01/RobotLineAndBlobFollowingProblems.pdf differ diff --git a/Homework/cs5000/hw01/img/blob_robor.png b/Homework/cs5000/hw01/img/blob_robor.png new file mode 100644 index 0000000..a579f5c Binary files /dev/null and b/Homework/cs5000/hw01/img/blob_robor.png differ diff --git a/Homework/cs5000/hw01/img/line_robor.png b/Homework/cs5000/hw01/img/line_robor.png new file mode 100644 index 0000000..cbaddda Binary files /dev/null and b/Homework/cs5000/hw01/img/line_robor.png differ diff --git a/Homework/cs5000/hw01/img/no_epsilon.png b/Homework/cs5000/hw01/img/no_epsilon.png new file mode 100644 index 0000000..9d2d0ff Binary files /dev/null and b/Homework/cs5000/hw01/img/no_epsilon.png differ diff --git a/Homework/cs5000/hw01/img/sus_man.png b/Homework/cs5000/hw01/img/sus_man.png new file mode 100644 index 0000000..d2a617e Binary files /dev/null and b/Homework/cs5000/hw01/img/sus_man.png differ -- cgit v1.3