\batchmode
\documentstyle[12pt,lect]{article}
\makeatletter

\textheight=40pc
\input{psfig}


\def\zzchapter{}

\def\zzsection{}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\; \bullet\; $}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline436: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\setcounter{page}{0}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\not=$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline438: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\not=$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline440: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\lambda$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline442: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\ldots$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline444: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\bf N} \mapsto \{0,1\}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline448: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \psfig{figure=f-2-1.eps,width=4.9in}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\cal M}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline450: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\cal W}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline452: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\cal U}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline454: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\cal M}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline456: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{${\cal W}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline458: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{displaymath}{\cal U}\bigl({\cal M}, {\cal W}\bigr) \equiv {\cal M}({\cal W})
\end{displaymath}
}

{\newpage
\clearpage
\samepage \begin{eqnarray*}\mbox{PROGRAM} &\equiv& \mbox{TURING MACHINE}	\\ 
		& &				\\ 
\left.
	\begin{array}{c}
	\mbox{PROGRAMMING}\\ 
	\mbox{LANGUAGE}
	\end{array}
\right\} &\equiv&	\mbox{UNIVERSAL T.M.}
\end{eqnarray*}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\bullet$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline460: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \psfig{figure=f-2-2.eps,width=4.3in}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mapsto$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline466: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$A_1 \times A_2 \times \cdots \times A_n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline468: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$A_1 + A_2 + \cdots + A_n$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline470: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$A_1 \mapsto A_2$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline472: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$A_1$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline474: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$A_2$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline476: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\phi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline478: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\phi = A$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline482: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\phi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline484: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}

\end{document}
