\documentclass[12pt]{article}
\usepackage{fullpage-old} \usepackage{fancyhdr}
\usepackage{amsmath}    \usepackage{amsfonts}   \usepackage{amssymb}
\usepackage{graphics}   \usepackage{epsfig}     \usepackage{wrapfig}
\usepackage{enumitem}

\lhead{} \cfoot[]{}%{ of 1}
\pagestyle{fancy} \renewcommand{\headrulewidth}{0pt}
\fancypagestyle{plain}{ \renewcommand{\headrulewidth}{0pt} }
\parskip 1ex
\parindent 0mm

\newcommand*{\ii}[1]{\textit{#1\/}}
\def\mi{\mathit}
\def\ttt{\texttt}
\def\ss{\hspace{1pt}}

% Logical operators
\def\andl{\wedge}
\def\orl{\vee}
\def\xorl{\oplus}
\def\notl{\neg}


\begin{document}

%{\flushright Name: \rule{15em}{0.25pt} \par} 
\vspace{-2ex}
{\center \Large FLAC Assignment 9\par}
\vspace{2ex}

%\begin{wrapfigure}{r}{3.3in}
%\vspace{-3ex}
%\includegraphics[scale=1.2]{hw2-fig.pdf}
%\end{wrapfigure}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\paragraph{Exercise 1.} In class, we showed that the problem of deciding
$A_{\rm TM}$ is reducible to the problem of deciding $\ii{HALT}_{\rm TM}$
(i.e., $A_{\rm TM} \le \ii{HALT}_{\rm TM}$).  For this exercise, show the
converse, that $\ii{HALT}_{\rm TM}$ is reducible to the problem of deciding
$\ii{A}_{\rm TM}$ (i.e., $\ii{HALT}_{\rm TM} \le \ii{A}_{\rm TM}$).


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\textbf{Textbook Exercise 5.3.}

\textbf{Textbook Exercise 5.9.}

\textbf{Textbook Exercise 5.17.}

\textbf{Textbook Exercise 5.18.}

\textbf{Textbook Exercise 5.21.} (Worth 20 points)

\textbf{Textbook Exercise 5.28.}

\textbf{Textbook Exercise 5.30(a,b,c).}






\end{document}
