\batchmode
\documentclass{article}

\usepackage{a4wide}
\usepackage{pstricks,pst-node} 
\usepackage{graphicx}

\sloppy
\usepackage[dvips]{pstcol}
\pagecolor[gray]{.7}



\makeatletter

\makeatletter
\count@=\the\catcode`\_ \catcode`\_=8 
\newenvironment{tex2html_wrap}{}{} \catcode`\_=\count@
\newcommand{\renewedcommand}[1]{\expandafter\renewcommand\csname #1\endcsname}%
\makeatother
\let\mathon=$
\let\mathoff=$
\ifx\AtBeginDocument\undefined \newcommand{\AtBeginDocument}[1]{}\fi
\newbox\sizebox
\setlength{\hoffset}{0pt}\setlength{\voffset}{0pt}
\addtolength{\textheight}{\footskip}\setlength{\footskip}{0pt}
\addtolength{\textheight}{\topmargin}\setlength{\topmargin}{0pt}
\addtolength{\textheight}{\headheight}\setlength{\headheight}{0pt}
\addtolength{\textheight}{\headsep}\setlength{\headsep}{0pt}
\setlength{\textwidth}{349pt}
\newwrite\lthtmlwrite
\makeatletter
\let\realnormalsize=\normalsize
\global\topskip=2sp
\def\preveqno{}\let\real@float=\@float \let\realend@float=\end@float
\def\@float{\let\@savefreelist\@freelist\real@float}
\def\end@float{\realend@float\global\let\@freelist\@savefreelist}
\let\real@dbflt=\@dbflt \let\end@dblfloat=\end@float
\let\@largefloatcheck=\relax
\let\if@boxedmulticols=\iftrue
\def\@dbflt{\let\@savefreelist\@freelist\real@dbflt}
\def\adjustnormalsize{\def\normalsize{\mathsurround=0pt \realnormalsize
 \parindent=0pt\abovedisplayskip=0pt\belowdisplayskip=0pt}%
 \def\phantompar{\csname par\endcsname}\normalsize}%
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newcommand\lthtmlhboxmathA{\adjustnormalsize\setbox\sizebox=\hbox\bgroup\kern.05em }%
\newcommand\lthtmlhboxmathB{\adjustnormalsize\setbox\sizebox=\hbox to\hsize\bgroup\hfill }%
\newcommand\lthtmlvboxmathA{\adjustnormalsize\setbox\sizebox=\vbox\bgroup %
 \let\ifinner=\iffalse }%
\newcommand\lthtmlboxmathZ{\@next\next\@currlist{}{\def\next{\voidb@x}}%
 \expandafter\box\next\egroup}%
\newcommand\lthtmlmathtype[1]{\def\lthtmlmathenv{#1}}%
\newcommand\lthtmllogmath{\lthtmltypeout{l2hSize %
:\lthtmlmathenv:\the\ht\sizebox::\the\dp\sizebox::\the\wd\sizebox.\preveqno}}%
\newcommand\lthtmlfigureA[1]{\let\@savefreelist\@freelist
       \lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmlpictureA[1]{\let\@savefreelist\@freelist
       \lthtmlmathtype{#1}\lthtmlhboxmathB}%
\newcommand\lthtmlpictureZ[1]{\hfill\lthtmlfigureZ}%
\newcommand\lthtmlfigureZ{\lthtmlboxmathZ\lthtmllogmath\copy\sizebox
       \global\let\@freelist\@savefreelist}%
\newcommand\lthtmldisplayA[1]{\lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmldisplayB[1]{\edef\preveqno{(\theequation)}%
  \lthtmldisplayA{#1}\let\@eqnnum\relax}%
\newcommand\lthtmldisplayZ{\lthtmlboxmathZ\lthtmllogmath\lthtmlsetmath}%
\newcommand\lthtmlinlinemathA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA
  \vrule height1.5ex width0pt }%
\newcommand\lthtmlinlineA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA}%
\newcommand\lthtmlinlineZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetinline}
\newcommand\lthtmlinlinemathZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetmath}
\newcommand\lthtmlindisplaymathZ{\egroup %
  \centerinlinemath\lthtmllogmath\lthtmlsetmath}
\def\lthtmlsetinline{\hbox{\vrule width.1em\kern-.05em\vtop{\vbox{%
  \kern.1em\copy\sizebox}\ifdim\dp\sizebox>0pt\kern.1em\else\kern.3pt\fi
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\lthtmlsetmath{\hbox{\vrule width.1em\kern-.05em\vtop{\vbox{%
  \kern.1em\kern0.8 pt\hbox{\hglue.17em\copy\sizebox\hglue0.8 pt}}\kern.3pt%
  \ifdim\dp\sizebox>0pt\kern.1em\fi \kern0.8 pt%
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\centerinlinemath{%
  \dimen1=\ifdim\ht\sizebox<\dp\sizebox \dp\sizebox\else\ht\sizebox\fi
  \advance\dimen1by.5pt \vrule width0pt height\dimen1 depth\dimen1 
 \dp\sizebox=\dimen1\ht\sizebox=\dimen1\relax}

\def\lthtmlcheckvsize{\ifdim\ht\sizebox<\vsize 
  \ifdim\wd\sizebox<\hsize\expandafter\hfill\fi \expandafter\vfill
  \else\expandafter\vss\fi}%
\providecommand{\selectlanguage}[1]{}%
\makeatletter \tracingstats = 1 


\begin{document}
\pagestyle{empty}\thispagestyle{empty}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength hsize=\the\hsize}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength vsize=\the\vsize}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength hoffset=\the\hoffset}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength voffset=\the\voffset}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength topmargin=\the\topmargin}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength topskip=\the\topskip}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength headheight=\the\headheight}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength headsep=\the\headsep}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength parskip=\the\parskip}\lthtmltypeout{}%
\lthtmltypeout{latex2htmlLength oddsidemargin=\the\oddsidemargin}\lthtmltypeout{}%
\makeatletter
\if@twoside\lthtmltypeout{latex2htmlLength evensidemargin=\the\evensidemargin}%
\else\lthtmltypeout{latex2htmlLength evensidemargin=\the\oddsidemargin}\fi%
\lthtmltypeout{}%
\makeatother
\setcounter{page}{1}
\onecolumn

% !!! IMAGES START HERE !!!

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline4089}%
$\unhbox \voidb@x \hbox {\tt e} \rightarrow \unhbox \voidb@x \hbox {\tt a} / \_\mskip -\thinmuskip \_\mskip -\thinmuskip \_ \unhbox \voidb@x \hbox {\tt C a}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1576}%
$\Sigma$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1580}%
$\{0,1,\dots\}^*$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1584}%
$\pi$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1586}%
$\sigma\in\Sigma$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1588}%
$\pi(\Sigma)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1592}%
$S\subseteq \Sigma$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1594}%
$S = \{\sigma\in \Sigma|\pi(\sigma)\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1604}%
$\overline{S}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1610}%
$\pi_d$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1612}%
$\pi_r$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1614}%
$\pi_d:\pi_r$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1624}%
$\sigma$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1628}%
$\phi, \psi$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1630}%
$\epsilon$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmldisplayA{displaymath1546}%
\begin{displaymath}
\mbox{\tt N} \rightarrow \mbox{\tt m} / \_\!\_\!\_~~ \mbox{{\tt p};
  ~~elsewhere {\tt n}}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture45}%
\begin{pspicture}(-3,-1.5)(8,4.5)
\psset{unit=0.02cm}
\rput(0,0){\circlenode[doubleline=true]{0}{\tiny0}}
\pnode(-40,0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(180,175.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\rput(180,0.0){\circlenode[]{2}{\tiny 2}}
\par\nccircle[angle=180]{<-}{0}{0.35cm}
\tbput{\rnode{x}{$\overline{\mbox{\tt N}}$}}
\par\ncarc[arcangle=15.0]{->}{0}{1}
\naput{\rnode{x}{\tt N:n}}
\par\ncarc[arcangle=15.0]{->}{0}{2}
\naput{\rnode{x}{\tt N:m}}
\par\ncarc[arcangle=15.0]{->}{1}{0}
\naput{\rnode{x}{$\overline{\{\mbox{\tt N},\mbox{\tt p}\}}$}}
\par\nccircle[angle=-90]{<-}{1}{0.35cm}
\trput{\rnode{x}{\tt N:n}}
\par\ncarc[arcangle=15.0]{->}{1}{2}
\naput{\rnode{x}{\tt N:m}}
\par\ncarc[arcangle=15.0]{->}{2}{0}
\naput{\rnode{x}{\tt p}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1636}%
$\overline{\mbox{\tt N}}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1640}%
$\overline{\mbox{\tt N}}: \overline{\mbox{\tt N}}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1642}%
$\alpha$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1644}%
$\beta$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1658}%
$\{\mbox{\tt a}\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1660}%
$\overline{\{\mbox{\tt a}\}}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1662}%
$(a..z \cdot ? - d)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1666}%
$(Q,\Sigma,\Pi,E,S,F)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1672}%
$\Pi$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1678}%
$Q \times
(\Pi \cup \{\epsilon\}) \times Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1680}%
$S\subseteq Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1682}%
$F\subseteq Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1684}%
$\widehat{E} \subseteq Q \times \Sigma^*
\times Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1686}%
$q\in Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1688}%
$(q,\epsilon,q)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1690}%
$(p,\epsilon,q)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1692}%
$(p,\epsilon,q)\in \widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1694}%
$(q_0,\pi,q)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1698}%
$\pi(\sigma)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1700}%
$(q_0,\sigma,q)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1706}%
$\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1708}%
$(q_0,x_1x_2,q)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1714}%
$\{w\in\Sigma^*|q_s\in S,
q_f\in F, (q_s,w,q_f)\in\widehat{E}\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1726}%
$(Q,\Sigma,E,S,F)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1738}%
$Q
\times \Sigma \times Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1746}%
$s(p,q) =
\{\sigma|(p,\sigma,q)\in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1750}%
$(Q,\Sigma,2^\Sigma,E',S,F)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1752}%
$E'=\{(p,s(p,q),q)| (p,s,q)\in
E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1754}%
$|\Sigma|$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1764}%
$((p_1,p_2),\sigma,(q_1,q_2))$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1766}%
$(p_1,\sigma,q_1)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1770}%
$(p_2,\sigma,q_2)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1786}%
$M_1=(Q_1,\Sigma,\Pi,E_1,S_1,F_1)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1788}%
$M_2=(Q_2,\Sigma,\Pi,E_2,S_2,F_2)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1790}%
$L(M_1) \cap
L(M_2)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1792}%
$M=(Q_1 \times
Q_2,\Sigma,\Pi,E,S_1\times S_2, F_1\times F_2)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1794}%
$E=\{((p_1,q_1),\pi_1\wedge\pi_2,(p,q))| (p_1,\pi_1,p)\in E_1,
(q_1,\pi_2,q)\in E_2\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1802}%
$(q,\pi,q')$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1822}%
$p\in D, q\in Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1824}%
$(p,\sigma,q)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1830}%
$\Pi\rightarrow 2^Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1832}%
$\mbox{\it Trans}^D(\pi)  = \{q\in Q|p\in D, (p,\pi,q)\in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1547}%
\begin{displaymath}E=\{\begin{array}[t]{l}(p,\pi_1,q_1),(p,\pi_1,q_2),(p,\pi_2,q_2),(p,\pi_2,q_3),\\
      (p,\pi_2,q_4),(p,\pi_3,q_3),(p,\pi_3,q_5)\}\end{array}\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1548}%
\begin{displaymath}
\mbox{\it Trans}^D(\pi_1) =\{q_1,q_2\},
\mbox{\it Trans}^D(\pi_2) =\{q_2,q_3,q_4\},
\mbox{\it Trans}^D(\pi_3) =\{q_3,q_5\}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1836}%
$\Pi'$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1842}%
$\pi_1\dots \pi_i$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1844}%
$\pi_{i+1}\dots\pi_n$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1549}%
\begin{displaymath}(D,\pi_1\wedge\dots\wedge\pi_i\wedge\neg\pi_{i+1}\wedge\dots\wedge\neg\pi_n,
     \mbox{\it Trans}^D(\pi_1)\cup\dots\cup\mbox{\it Trans}^D(\pi_i))
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1550}%
\begin{displaymath}
\begin{array}{ccccc}
( & D, &\pi_1\wedge\pi_2\wedge\pi_3, &\{q_1,q_2,q_3,q_4,q_5\}&)\\
( & D, &\pi_1\wedge\pi_2\wedge\neg\pi_3, &\{q_1,q_2,q_3,q_4\}&)\\
( & D, &\pi_1\wedge\neg\pi_2\wedge\pi_3, &\{q_1,q_2,q_3,q_5\}&)\\
( & D, &\pi_1\wedge\neg\pi_2\wedge\neg\pi_3, &\{q_1,q_2\}&)\\
( & D, &\neg\pi_1\wedge\pi_2\wedge\pi_3, &\{q_2,q_3,q_4,q_5\}&)\\
( & D, &\neg\pi_1\wedge\pi_2\wedge\neg\pi_3, &\{q_2,q_3,q_4\}&)\\
( & D, &\neg\pi_1\wedge\neg\pi_2\wedge\pi_3, &\{q_3,q_5\}&)\\
( & D, &\neg\pi_1\wedge\neg\pi_2\wedge\neg\pi_3, &\emptyset&)\\
\end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1850}%
$\overline{L(M_1)}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1864}%
$A \wedge \overline{B}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1868}%
$\in\{a,b,c\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1870}%
$\in\{a,b\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1872}%
$\in\{c\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1888}%
$\pi_1\vee\dots\vee\pi_i$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1908}%
$Q\times (\Pi\cup\{\epsilon\}) \times
(\Pi\cup\{\epsilon\}) \times Q \times \{0,1\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1912}%
$d=r\not
=\epsilon$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1914}%
$\Pi\cup\{\epsilon\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1916}%
$2^{\Sigma^*}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1551}%
\begin{displaymath}
\begin{array}{l}
    \mbox{str}(\epsilon) = \{\epsilon\}\\
    \mbox{str}(\pi) = \{\sigma\in\Sigma|\pi(\sigma)\}      
 \end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1918}%
$\pi\in\Pi$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1920}%
$\mbox{str}(\pi)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1922}%
$(p,\pi,\pi,q,i)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1924}%
$i\in\{0,1\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1926}%
$\widehat{E} \subseteq Q \times \Sigma^*\times
\Sigma^*\times Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1930}%
$(p,\epsilon,\epsilon,p)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1932}%
$(p,\phi,\psi,q,0)\in E, x\in\mbox{str}(\phi),
  y\in\mbox{str}(\psi)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1934}%
$(p,x,y,q)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1936}%
$(p,\pi,\pi,q,1)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1938}%
$x\in\mbox{str}(\pi)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1940}%
$(p,x,x,q)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1948}%
$(q_0,x_1x_2,y_1y_2,q)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1954}%
$\{(w_d,w_r)|q_s\in S, q_f\in F, (q_s,w_d,w_r,q_f)\in\widehat{E}\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1960}%
$id(L)=\{(w,w) | w\in L\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1962}%
$M=(Q,\Sigma,\Pi,E,S,F)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1964}%
$M'=(Q,\Sigma,\Pi,E',S,F)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1966}%
$E' =
\{(p,\pi,\pi,q,0)|(p,\pi,q)\in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1970}%
$\sigma_1,\sigma_2$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1972}%
$\pi:\pi$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1974}%
$\{(\sigma_1,\sigma_1), (\sigma_1,\sigma_2), (\sigma_2,\sigma_1),
(\sigma_2,\sigma_2)\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1976}%
$\{(\sigma_1,\sigma_1),(\sigma_2,\sigma_2)\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1980}%
$id(M) = (Q,\Sigma,\Pi,E',S,F)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1982}%
$E' =
\{(p,\pi,\pi,q,1)| (p,\pi,q) \in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1990}%
$E' = \{(p,\phi,q)|(p,\phi,\psi,q,i)\in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline1996}%
$E' =
\{(p,\psi,q)|(p,\phi,\psi,q,i)\in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2002}%
$E' =
\{(p,\psi,\phi,q,i)|(p,\phi,\psi,q,i)\in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2004}%
$R_1 \circ R_2 = \{
(x_1,x_3)| (x_1,x_2)\in R_1, (x_2,x_3)\in R_2\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2014}%
$((p_1,p_2),\sigma_d,\sigma_r,(q_1,q_2))$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2018}%
$(p_1,\sigma_d,\sigma,q_1)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2022}%
$(p_2,\sigma,\sigma_r,q_2)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1552}%
\begin{displaymath}
\begin{array}{ll}
\mbox{ct}((p_1,\pi_1,\pi_1,q_1,1),(p_2,\pi_2,\pi_2,q_2,1)) &= ((p_1,p_2),\pi_1\wedge\pi_2,\pi_1\wedge\pi_2,(q_1,q_2),1)\\
\mbox{ct}((p_1,\phi, \pi_1,q_1,0),(p_2,\pi_2,\pi_2,q_2,1)) &= ((p_1,p_2),\phi,\pi_1\wedge\pi_2,            (q_1,q_2),0)\\
\mbox{ct}((p_1,\pi_1,\pi_1,q_1,1),(p_2,\pi_2,\psi, q_2,0)) &= ((p_1,p_2),\pi_1\wedge\pi_2,\psi,            (q_1,q_2),0)\\
\mbox{ct}((p_1,\phi, \pi_1,q_1,0),(p_2,\pi_2,\psi, q_2,0)) &= ((p_1,p_2),\phi,\psi,(q_1,q_2),0)\\
            & \mbox{~~~~if~satisfiable($\pi_1\wedge\pi_2$)}\\
\end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2038}%
$R(M_1) \circ R(M_2)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1553}%
\begin{displaymath}
E = \begin{array}[t]{ll}
& \{ ct(e_1,e_2) | e_1\in E_1,e_2\in E_2\}\\
\cup &
\{
((p_1,p_2),\epsilon,\psi,(p_1,q_2),0) | 
p_1\in Q_1,
(p_2,\epsilon,\psi,q_2,0)\in E_2
\} \\
\cup &
\{
((p_1,p_2),\phi,\epsilon,(q_1,p_2),0) | 
p_2\in Q_2,
(p_1,\phi,\epsilon,q_1,0)\in E_1
\}
\end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2046}%
$p, q\in Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2048}%
$(p,\epsilon,\psi,q,i)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2054}%
$(p,\pi_d,\psi,q,i)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2056}%
$\pi_d(\sigma)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2072}%
$\{w'|(w,w')\in
R(M)\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2078}%
$(p,\epsilon,\psi,q)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2086}%
$\in\Pi$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture252}%
\begin{pspicture}(-2,-0.5)(9,2.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,60.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(120,90.0){\circlenode[]{3}{\tiny 3}}
\rput(240,60.0){\circlenode[]{2}{\tiny 2}}
\rput(360,60.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\par\rput(120,30.0){\circlenode[]{4}{\tiny 4}}
\par\ncarc[arcangle=15.0]{->}{0}{3}
\naput{\rnode{x}{\footnotesize {\sc a}:{\sc e}}}
\par\ncarc[arcangle=-15.0]{->}{0}{4}
\nbput{\rnode{x}{\footnotesize {\sc a}:{\sc f}}}
\par\ncarc[arcangle=15.0]{->}{3}{2}
\naput{\rnode{x}{\footnotesize {\sc b}:{\sc d}}}
\par\ncarc[arcangle=0]{->}{2}{1}
\naput{\rnode{x}{\footnotesize {\sc a}:{\sc a}}}
\par\nccircle[angle=-90]{<-}{1}{0.35cm}
\trput{\rnode{x}{\footnotesize {\sc a}:{\sc a}}}
\par\ncarc[arcangle=-15.0]{->}{4}{2}
\nbput{\rnode{x}{\footnotesize {\sc c}:{\sc d}}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture306}%
\begin{pspicture}(-1,-0.5)(10,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,60.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(80,60.0){\circlenode[]{1}{\tiny 1}}
\rput(320,60.0){\circlenode[]{2}{\tiny 2}}
\ncarc[arcangle=0]{->}{0}{1}
\naput{\rnode{x}{\footnotesize {\sc a}:$\epsilon$}}
\ncarc[arcangle=70.0]{->}{1}{2}
\naput{\rnode{x}{\footnotesize {\sc b}$\wedge\neg${\sc c}:{\sc ed}}}
\ncarc[arcangle=0]{->}{1}{2}
\naput{\rnode{x}{\footnotesize$\neg${\sc b}$\wedge${\sc c}:{\sc fd}}}
\ncarc[arcangle=-70.0]{->}{1}{2}
\naput{\rnode{x}{\footnotesize {\sc b}$\wedge${\sc c}:({\sc
      e}$\vee${\sc f}){\sc d}}}
\par\rput(400,60.0){\circlenode[doubleline=true]{3}{\tiny 3}}
\par\ncarc[arcangle=0]{->}{2}{3}
\naput{\rnode{x}{\footnotesize {\sc a}:{\sc a}}}
\par\nccircle[angle=-90]{<-}{3}{0.35cm}
\trput{\rnode{x}{\footnotesize {\sc a}:{\sc a}}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2100}%
$Q\times\Pi^*$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2106}%
$\mbox{\it   Trans}^P(\pi)=\{(q,\phi\psi)|(p,\phi)\in P,(p,\pi,\psi,q)\in E\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2112}%
$P=\{(3,\mbox{\sc e}),(4,\mbox{\sc f})\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1554}%
\begin{displaymath} \mbox{\it Trans}^P(\mbox{\sc b}) = \{(2,\mbox{\sc ed})\},
   \mbox{\it Trans}^P(\mbox{\sc c}) = \{(2,\mbox{\sc fd})\}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1555}%
\begin{displaymath}(P,\pi_1\wedge\dots\wedge\pi_i\wedge\neg\pi_{i+1}\wedge\dots\wedge\neg\pi_n,
     \mbox{\it Trans}^P(\pi_1)\cup\dots\cup\mbox{\it Trans}^P(\pi_i))
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2124}%
$\emptyset$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1556}%
\begin{displaymath} 
\begin{array}{ccccc}
(&P,& \mbox{\sc b}\wedge\neg \mbox{\sc c}, &\{(2,\mbox{\sc ed})\} &)  \\
(&P,& \neg\mbox{\sc b}\wedge\mbox{\sc c},&\{(2,\mbox{\sc fd})\} &) \\
(&P,& \mbox{\sc b}\wedge\mbox{\sc c},     &\{(2,\mbox{\sc
  ed}),(2,\mbox{\sc fd})\} &)\\
\end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2126}%
$(p_1,\psi_1)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2128}%
$(p_2,\psi_2)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2130}%
$(p,\psi)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2134}%
$\psi_1=\pi_1\dots\pi_i\dots\pi_n$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2136}%
$\psi_2=\pi_1\dots\pi_i'\dots\pi_n$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2138}%
$\psi=\pi_1\dots\pi_i\vee\pi_i'\dots\pi_n$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1557}%
\begin{displaymath} 
\begin{array}{ccccc}
(&P,& \mbox{\sc b}\wedge \mbox{\sc c},     &\{(2,(\mbox{\sc e}\vee
\mbox{\sc f})\mbox{\sc d})\} &)\\
\end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1558}%
\begin{displaymath} 
\begin{array}{ccccc}
(&P,& \mbox{\sc b}\wedge\neg \mbox{\sc c}:\mbox{\sc ed}, &\{(2,\epsilon)\} &)  \\
(&P,& \neg \mbox{\sc b}\wedge \mbox{\sc c}:\mbox{\sc fd},&\{(2,\epsilon)\} &) \\
(&P,& ~~~~~~~~~\mbox{\sc b}\wedge \mbox{\sc c}:(\mbox{\sc e}\vee
\mbox{\sc f})\mbox{\sc d},     &\{(2,\epsilon)\} &)\\
\end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2140}%
$\{\mbox{\tt x,y}\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2142}%
$\{\mbox{\tt y,z}\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture425}%
\begin{pspicture}(-2,-1)(9,4.5)
\psset{unit=0.02cm}\rput(0,90.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,90.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(120,180.0){\circlenode[]{3}{\tiny 3}}
\rput(240,90.0){\circlenode[]{2}{\tiny 2}}
\rput(360,90.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\par\rput(120,0.0){\circlenode[]{4}{\tiny 4}}
\par\ncarc[arcangle=15.0]{->}{0}{3}
\naput{\rnode{x}{\footnotesize {\tt a}:{\tt e}}}
\par\ncarc[arcangle=-15.0]{->}{0}{4}
\nbput{\rnode{x}{\footnotesize {\tt a}:{\tt f}}}
\par\ncarc[arcangle=15.0]{->}{3}{2}
\naput{\rnode{x}{\footnotesize {\tt x}:{\tt d}}}
\ncarc[arcangle=-15.0]{->}{3}{2}
\nbput{\rnode{x}{\footnotesize {\tt y}:{\tt d}}}
\par\ncarc[arcangle=0]{->}{2}{1}
\naput{\rnode{x}{\footnotesize {\tt a}:{\tt a}}}
\par\nccircle[angle=-90]{<-}{1}{0.35cm}
\trput{\rnode{x}{\footnotesize {\tt a}:{\tt a}}}
\par\ncarc[arcangle=-15.0]{->}{4}{2}
\nbput{\rnode{x}{\footnotesize {\tt z}:{\tt d}}}
\ncarc[arcangle=15.0]{->}{4}{2}
\naput{\rnode{x}{\footnotesize {\tt y}:{\tt d}}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture490}%
\begin{pspicture}(-1,-0.5)(10,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,60.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(80,60.0){\circlenode[]{1}{\tiny 1}}
\rput(320,60.0){\circlenode[]{2}{\tiny 2}}
\ncarc[arcangle=0]{->}{0}{1}
\naput{\rnode{x}{\footnotesize {\tt a}:$\epsilon$}}
\ncarc[arcangle=70.0]{->}{1}{2}
\naput{\rnode{x}{\footnotesize {\tt x}:{\tt ed}}}
\ncarc[arcangle=0]{->}{1}{2}
\naput{\rnode{x}{\footnotesize {\tt z}:{\tt fd}}}
\ncarc[arcangle=-70.0]{->}{1}{2}
\naput{\rnode{x}{\footnotesize {\tt y}:$\{\mbox{\tt e},\mbox{\tt       f}\}$\tt d}}
\par\rput(400,60.0){\circlenode[doubleline=true]{3}{\tiny 3}}
\par\ncarc[arcangle=0]{->}{2}{3}
\naput{\rnode{x}{\footnotesize {\tt a}:{\tt a}}}
\par\nccircle[angle=-90]{<-}{3}{0.35cm}
\trput{\rnode{x}{\footnotesize {\tt a}:{\tt a}}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2156}%
$T_1\circ
  T_2$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture542}%
\begin{pspicture}(-3.5,-1)(7.5,3.0)
\psset{unit=0.015cm}
\rput(0,60.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,60.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(240,60.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\rput(120,120.0){\circlenode[]{2}{\tiny 2}}
\rput(120,0.0){\circlenode[]{3}{\tiny 3}}
\par\ncarc[arcangle=15.0]{->}{0}{2}
\naput{\rnode{x}{\tt a:b}}
\par\ncarc[arcangle=-15.0]{->}{0}{3}
\nbput{\rnode{x}{\tt a:d}}
\par\nccircle[angle=-90]{<-}{1}{0.5cm}
\trput{\rnode{x}{\tt a}}
\par\ncarc[arcangle=15.0]{->}{2}{1}
\naput{\rnode{x}{$\epsilon$:\tt c}}
\par\ncarc[arcangle=-15.0]{->}{3}{1}
\nbput{\rnode{x}{$\epsilon$:\tt e}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2170}%
$\langle$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2172}%
$\rangle$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture590}%
\begin{pspicture}(-1,-1)(10.0,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,60.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(120,120.0){\circlenode[]{4}{\tiny 4}}
\rput(240,120.0){\circlenode[]{3}{\tiny 3}}
\rput(360,120.0){\circlenode[]{2}{\tiny 2}}
\rput(480,60.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\rput(120,0.0){\circlenode[]{5}{\tiny 5}}
\rput(240,0.0){\circlenode[]{7}{\tiny 7}}
\rput(360,0.0){\circlenode[]{6}{\tiny 6}}
\par\ncarc[arcangle=15.0]{->}{0}{4}
\naput{\rnode{x}{\footnotesize {\sc a}:{\sc b}}}
\par\ncarc[arcangle=-15.0]{->}{0}{5}
\nbput{\rnode{x}{\footnotesize {\sc a}:{\sc c}}}
\par\ncarc[arcangle=0]{->}{4}{3}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle$:$\langle ?\rangle$}}
\par\ncarc[arcangle=0]{->}{3}{2}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle$:$\langle ?\rangle$}}
\par\ncarc[arcangle=15.0]{->}{2}{1}
\naput{\rnode{x}{\footnotesize {\sc b}:{\sc b}}}
\par\ncarc[arcangle=0]{->}{5}{7}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle$:$\langle ?\rangle$}}
\par\ncarc[arcangle=0]{->}{7}{6}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle$:$\langle ?\rangle$}}
\par\ncarc[arcangle=-15.0]{->}{6}{1}
\nbput{\rnode{x}{\footnotesize {\sc c}:{\sc c}}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture657}%
\begin{pspicture}(-1,-1.5)(10,1.5)
\psset{unit=0.02cm}\rput(0,0){\circlenode[]{0}{\tiny0}}
\pnode(-40,0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(80,0){\circlenode[]{2}{\tiny 2}}
\rput(160,0){\circlenode[]{3}{\tiny 3}}
\rput(240,0){\circlenode[]{4}{\tiny 4}}
\rput(480,0){\circlenode[doubleline=true]{1}{\tiny 1}}
\par\ncarc[arcangle=0]{->}{0}{2}
\naput{\rnode{x}{\footnotesize {\sc a}:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{2}{3}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle$:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{3}{4}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle$:$\epsilon$}}
\par\ncarc[arcangle=-15.0]{->}{4}{1}
\nbput{\rnode{x}{\footnotesize {\sc c}:$\mbox{\sc c}\langle
    ?\rangle\langle ?\rangle\mbox{\sc c}$}}
\par\ncarc[arcangle=15.0]{->}{4}{1}
\naput{\rnode{x}{\footnotesize {\sc b}:$\mbox{\sc b}\langle
    ?\rangle\langle ?\rangle\mbox{\sc b}$}}
\par\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture704}%
\begin{pspicture}(-2,-1)(10,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,60.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(180,120.0){\circlenode[]{2}{\tiny 2}}
\rput(360,60.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\rput(120,0.0){\circlenode[]{3}{\tiny 3}}
\rput(240,0.0){\circlenode[]{4}{\tiny 4}}
\par\ncarc[arcangle=15.0]{->}{0}{2}
\naput{\rnode{x}{\footnotesize {\sc a}:{\sc c}}}
\par\ncarc[arcangle=-15.0]{->}{0}{3}
\nbput{\rnode{x}{\footnotesize {\sc a}:{\sc b}}}
\par\ncarc[arcangle=15.0]{->}{2}{1}
\naput{\rnode{x}{\footnotesize {\sc d}:{\sc e}}}
\par\ncarc[arcangle=0]{->}{3}{4}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle$:$\langle ?\rangle$}}
\par\ncarc[arcangle=-15.0]{->}{4}{1}
\nbput{\rnode{x}{\footnotesize {\sc b}:{\sc b}}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture750}%
\begin{pspicture}(-1,0.5)(10.0,5.5)
\psset{unit=0.02cm}\rput(0,120.0){\circlenode[]{0}{\tiny     0}}
\pnode(-40,120.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(120,120.0){\circlenode[]{3}{\tiny 3}}
\rput(240,180.0){\circlenode[]{4}{\tiny 4}}
\rput(360,240.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\rput(360,120.0){\circlenode[doubleline=true]{2}{\tiny 2}}
\rput(240,60.0){\circlenode[]{5}{\tiny 5}}
\par\ncarc[arcangle=0]{->}{0}{3}
\naput{\rnode{x}{\footnotesize {\sc a}:$\epsilon$}}
\par\ncarc[arcangle=15]{->}{3}{4}
\naput{\rnode{x}{\footnotesize$\langle \mbox{\sc d}\rangle$:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{3}{5}
\nbput{\rnode{x}{\footnotesize$\langle\neg\mbox{\sc
      d}\rangle$:$\mbox{\sc b}\langle\neg\mbox{\sc d}\rangle$}}
\par\ncarc[arcangle=15.0]{->}{4}{1}
\naput{\rnode{x}{\footnotesize$\epsilon$:*}}
\par\ncarc[arcangle=-15.0]{->}{4}{2}
\naput{\rnode{x}{\footnotesize {\sc b}:$\mbox{\sc b}\langle\mbox{\sc d}\rangle\mbox{\sc b}$}}
\par\ncarc[arcangle=-15.0]{->}{5}{2}
\nbput{\rnode{x}{\footnotesize {\sc b}:{\sc b}}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2226}%
$0 \rightarrow 3 \rightarrow 4 \rightarrow
1$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2228}%
$\langle\rangle$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2230}%
$\mbox{\sc
  ce}\langle\rangle$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2232}%
$\pi_k$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2236}%
$^P(\pi_l)$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2238}%
$\pi_l$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2258}%
$Q\times ((\Pi\cup\{\epsilon\})\times\{0,1\}) \times
((\Pi\cup\{\lambda\})\times\{0,1\})^* \times Q $%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2264}%
$\lambda$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2268}%
$O: ((\Pi\cup\{\lambda\})\times\{0,1\})^*\times\Sigma^*\times\Sigma^*\times\Sigma^*$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2270}%
$x\in\Sigma^*$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2272}%
$(\epsilon,x,x,\epsilon)\in O$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2274}%
$(\phi,x_0,x,z) \in O$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2278}%
$((\lambda,1)\phi,x_0\sigma,x,z)\in O$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2288}%
$((\pi,1)\phi,x_0\sigma,x,\sigma z)\in O$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2298}%
$((\pi,0)\phi,x_0,x,\sigma z)\in O$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2300}%
$\widehat{E} \subseteq Q \times \Sigma^*\times
\Sigma^*\times Q\times \Sigma^*\times\Sigma^*$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2302}%
$p\in Q$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2304}%
$(p,\epsilon,\epsilon,p,\epsilon,\epsilon)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2306}%
$(p,(\epsilon,0),\phi,q)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2308}%
$(\phi,x_0,x,w)\in O$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2310}%
$(p,\epsilon,w,q,x_0,x)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2312}%
$(p,(\pi,0),\phi,q)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2318}%
$(p,\sigma,w,q,x_0,x)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2320}%
$(p,(\pi,1),\phi,q)\in E$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2324}%
$(\phi,\sigma x_0,x,w)\in O$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2334}%
$(q_0,x_1x_2,y_1y_2,q,x_0,x)\in\widehat{E}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2340}%
$\{(w_d,w_r)|q_s\in S, q_f\in F,
(q_s,w_d,w_r,q_f,\epsilon,\epsilon)\in\widehat{E}\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlfigureA{figure873}%
\begin{figure}
\footnotesize\par\begin{pspicture}(-1,-1)(10,8.0)
\psset{unit=0.015cm}\rput(0,240.0){\circlenode[]{0}{\tiny0}}
\pnode(-40,240.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(600,240.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\rput(260,480.0){\circlenode[]{2}{\tiny 2}}
\rput(260,420.0){\circlenode[]{3}{\tiny 3}}
\rput(260,360.0){\circlenode[]{4}{\tiny 4}}
\rput(260,300.0){\circlenode[]{5}{\tiny 5}}
\rput(260,240.0){\circlenode[]{6}{\tiny 6}}
\rput(260,180.0){\circlenode[]{7}{\tiny 7}}
\rput(260,120.0){\circlenode[]{8}{\tiny 8}}
\rput(260,60.0){\circlenode[]{9}{\tiny 9}}
\rput(260,0.0){\circlenode[]{10}{\tiny 10}}
\rput(160,420.0){\circlenode[]{11}{\tiny 11}}
\rput(80,240.0){\circlenode[]{12}{\tiny 12}}
\rput(160,240.0){\circlenode[]{13}{\tiny 13}}
\rput(160,60.0){\circlenode[]{14}{\tiny 14}}
\par\ncarc[arcangle=15.0]{->}{0}{12}
\naput{\rnode{x}{a:$\epsilon$}}
\par\rput(420,480){\rnode[ref=c]{2a}{\tt b:bxxb c:cxxc}}
\ncarc[arcangle=15]{->}{2a}{1}
\par\rput(420,420){\rnode[ref=c]{3a}{\tt b:bxyb c:cxyc}}
\ncarc[arcangle=15]{->}{3a}{1}
\par\rput(420,360){\rnode[ref=c]{4a}{\tt b:bxzb c:cxzc}}
\ncarc[arcangle=15]{->}{4a}{1}
\par\rput(420,300){\rnode[ref=c]{5a}{\tt b:byxb c:cyxc}}
\ncarc[arcangle=15]{->}{5a}{1}
\par\rput(420,240){\rnode[ref=c]{6a}{\tt b:byyb c:cyyc}}
\ncarc[arcangle=0]{->}{6a}{1}
\par\rput(420,180){\rnode[ref=c]{7a}{\tt b:byzb c:cyzc}}
\ncarc[arcangle=-15]{->}{7a}{1}
\par\rput(420,120){\rnode[ref=c]{8a}{\tt b:bzxb c:czxc}}
\ncarc[arcangle=-15]{->}{8a}{1}
\par\rput(420,60){\rnode[ref=c]{9a}{\tt b:bzyb c:czyc}}
\ncarc[arcangle=-15]{->}{9a}{1}
\par\rput(420,0){\rnode[ref=c]{10a}{\tt b:bzzb c:czzc}}
\ncarc[arcangle=-15]{->}{10a}{1}
\par\ncarc[arcangle=0]{-}{2}{2a}
\ncarc[arcangle=0]{-}{3}{3a}
\ncarc[arcangle=0]{-}{4}{4a}
\ncarc[arcangle=0]{-}{5}{5a}
\ncarc[arcangle=0]{-}{6}{6a}
\ncarc[arcangle=0]{-}{7}{7a}
\ncarc[arcangle=0]{-}{8}{8a}
\ncarc[arcangle=0]{-}{9}{9a}
\ncarc[arcangle=0]{-}{10}{10a}
\par\ncarc[arcangle=15.0]{->}{11}{2}
\naput{\rnode{x}{\tt x:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{11}{3}
\naput{\rnode{x}{\tt y:$\epsilon$}}
\par\ncarc[arcangle=-15.0]{->}{11}{4}
\nbput{\rnode{x}{\tt z:$\epsilon$}}
\par\ncarc[arcangle=15.0]{->}{12}{11}
\naput{\rnode{x}{\tt x:$\epsilon$}}
\par\ncarc[arcangle=15.0]{->}{12}{13}
\naput{\rnode{x}{\tt y:$\epsilon$}}
\par\ncarc[arcangle=-15.0]{->}{12}{14}
\nbput{\rnode{x}{\tt z:$\epsilon$}}
\par\ncarc[arcangle=15.0]{->}{13}{5}
\naput{\rnode{x}{\tt x:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{13}{6}
\naput{\rnode{x}{\tt y:$\epsilon$}}
\par\ncarc[arcangle=-15.0]{->}{13}{7}
\nbput{\rnode{x}{\tt z:$\epsilon$}}
\par\ncarc[arcangle=15.0]{->}{14}{8}
\naput{\rnode{x}{\tt x:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{14}{9}
\naput{\rnode{x}{\tt y:$\epsilon$}}
\par\ncarc[arcangle=-15.0]{->}{14}{10}
\nbput{\rnode{x}{\tt z:$\epsilon$}}
\end{pspicture}
\par\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2392}%
$\{\mbox{\tt x,y,z}\}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlpictureA{pspicture1053}%
\begin{pspicture}(-0.5,-1.5)(10,1.5)
\psset{unit=0.02cm}\rput(0,0){\circlenode[]{0}{\tiny0}}
\pnode(-40,0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(80,0){\circlenode[]{2}{\tiny 2}}
\rput(175,0){\pnode{l3}{}}
\rput(225,0){\pnode{r3}{}}
\rput(200,0){\pnode{3}{ \dots }}
\rput(320,0){\circlenode[]{4}{\tiny$2+k$}}
\rput(500,0){\circlenode[doubleline=true]{1}{\tiny 1}}
\par\ncarc[arcangle=0]{->}{0}{2}
\naput{\rnode{x}{\footnotesize {\sc a}:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{2}{l3}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle^1$:$\epsilon$}}
\par\ncarc[arcangle=0]{->}{r3}{4}
\naput{\rnode{x}{\footnotesize$\langle ?\rangle^k$:$\epsilon$}}
\par\ncarc[arcangle=-15.0]{->}{4}{1}
\nbput{\rnode{x}{\footnotesize {\sc c}:$\mbox{\sc c}\langle ?\rangle^1\dots\langle ?\rangle^k\mbox{\sc c}$}}
\par\ncarc[arcangle=15.0]{->}{4}{1}
\naput{\rnode{x}{\footnotesize {\sc b}:$\mbox{\sc b}\langle ?\rangle^1\dots\langle ?\rangle^k\mbox{\sc b}$}}
\par\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2414}%
$3 + |\Sigma| + |\Sigma|^2 + \dots +
|\Sigma|^k$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2416}%
$\in S$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2418}%
$\notin S$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmldisplayA{displaymath1559}%
\begin{displaymath}
\begin{array}{ccccc}
P          & Q          & \neg P     & P\wedge Q          & P\vee Q      \\\hline
\in S_1    & \in S_2    & \notin S_1 & \in S_1\cap S_2    & \in S_1\cup S_2    \\
\in S_1    & \notin S_2 &            & \in S_1-S_2        & \notin S_2-S_1     \\
\notin S_1 & \in S_2    & \in S_1    & \in S_2-S_1        & \notin S_1-S_2     \\
\notin S_1 & \notin S_2 &            & \notin S_2\cup S_1 & \notin S_1\cap S_2 \\
\end{array}
\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2422}%
$\in\emptyset$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
{\newpage\clearpage
\lthtmldisplayA{displaymath1560}%
\begin{displaymath}\mbox{\tt e} \rightarrow \mbox{\tt a} / \_\!\_\!\_ \mbox{\tt C a}\end{displaymath}%
\lthtmldisplayZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2456}%
$\mbox{\tt e} \rightarrow \mbox{\tt a} /
  \_\!\_\!\_ \mbox{\tt C a}$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlfigureA{figure1123}%
\begin{figure}
\par\footnotesize\par\begin{pspicture}(-1,-1)(10,6)
\psset{unit=0.020cm}
\rput(80,220.0){\circlenode[doubleline=true]{0}{\tiny0}}
\pnode(40,220.0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(490,110.0){\circlenode[doubleline=true]{1}{\tiny 1}}
\rput(315,220.0){\circlenode[]{2}{\tiny 2}}
\rput(315,0.0){\circlenode[]{3}{\tiny 3}}
\par\nccircle[angle=0]{<-}{0}{0.5cm}
\taput{\rnode{x}{$\langle\overline{\mbox{\tt         e}}\rangle$:$\langle\overline{\mbox{\tt e}}\rangle$}}
\par\ncarc[arcangle=15.0]{->}{0}{2}
\naput{\rnode{x}{\mbox{\tt e}:$\epsilon$}}
\par\ncarc[arcangle=15.0]{->}{2}{0}
\naput{\rnode{x}{$\langle$\{\mbox{\tt a,i,o,u}\}$\rangle$:\mbox{\tt       e}$\langle$\{\mbox{\tt a,i,o,u}\}$\rangle$}}
\par\ncarc[arcangle=15.0]{->}{2}{1}
\naput{\rnode{x}{$\epsilon$:\mbox{\tt e}}}
\par\nccircle[angle=0]{<-}{2}{0.5cm}
\taput{\rnode{x}{\mbox{\tt e}:\mbox{\tt e}}}
\par\ncarc[arcangle=15.0]{->}{2}{3}
\naput{\rnode{x}{$\langle\overline{\{\mbox{\tt a,e,i,o,u}\}}\rangle$:$\epsilon$}}
\par\rput(100,50){\rnode{xxx}{\begin{tabular}{c}
\mbox{\tt a}:\mbox{\tt a}$\langle\overline{\{\mbox{\tt     a,e,i,o,u}\}}\rangle$\mbox{\tt a} \\
$\langle\overline{\{\mbox{\tt a,e}\}}\rangle$:\mbox{\tt   e}$\langle\overline{\{\mbox{\tt     a,e,i,o,u}\}}\rangle\langle\overline{\{\mbox{\tt a,e}\}}\rangle$\end{tabular}}}
\par\ncarc[arcangle=15]{->}{xxx}{0}
\ncarc[arcangle=15]{-}{3}{xxx}
\par\ncarc[arcangle=-15.0]{->}{3}{1}
\nbput{\rnode{x}{$\epsilon$:\mbox{\tt       e}$\langle\overline{\{\mbox{\tt a,e,i,o,u}\}}\rangle$}}
\par\ncarc[arcangle=15.0]{->}{3}{2}
\naput{\rnode{x}{\mbox{\tt e}:\mbox{\tt       e}$\langle\overline{\{\mbox{\tt a,e,i,o,u}\}}\rangle$}}
\end{pspicture}
\par\end{figure}%
\lthtmlfigureZ
\lthtmlcheckvsize\clearpage}

\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlpictureA{pspicture1216}%
\begin{pspicture}(-1,-2)(10,2)
\psset{unit=0.015cm}
\rput(40,0){\circlenode[doubleline=true]{0}{\tiny0}}
\pnode(0,0){start0}
\ncarc[arcangle=0]{->}{start0}{0}
\rput(450,0){\circlenode[doubleline=true]{1}{\tiny 1}}
\par\nccircle[angle=0]{<-}{0}{0.5cm}
\taput{\rnode{x}{$\langle\overline{\mbox{\tt         a}}\rangle$:$\langle\overline{\mbox{\tt a}}\rangle$}}
\par\ncarc[arcangle=15.0]{->}{0}{1}
\naput{\rnode{x}{$\langle \mbox{\tt a}\rangle$:$\langle \mbox{\tt a}\rangle$}}
\par\ncarc[arcangle=15.0]{->}{1}{0}
\naput{\rnode{x}{\begin{tabular}{c}$\langle \mbox{\tt b}
      \rangle$:$\langle \mbox{\tt b} \rangle$\\
      $\langle\overline{\{\mbox{\tt           a,b}\}}\rangle$:$\langle\overline{\{\mbox{\tt a,b}\}}\rangle$\end{tabular}}}
\par\nccircle[angle=0]{<-}{1}{0.5cm}
\taput{\rnode{x}{$\langle \mbox{\tt a} \rangle$:$\langle \mbox{\tt a}\rangle$}}
\end{pspicture}%
\lthtmlpictureZ
\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline2478}%
$\Sigma^*$%
\lthtmlinlinemathZ
\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}

\end{document}