# LaTeX2HTML 99.1 release (March 30, 1999)
# Associate images original text with physical files.


$key = q/psi_1=pi_1dotspi_idotspi_n;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="139" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img130.gif"
 ALT="$\psi_1=\pi_1\dots\pi_i\dots\pi_n$">|; 

$key = q/{displaymath}array{{l}mbox{str}(epsilon)={epsilon}mbox{str}(pi)={sigmainSigma|pi(sigma)}array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="153" HEIGHT="45" BORDER="0"
 SRC="img77.gif"
 ALT="\begin{displaymath}
\begin{array}{l}
\mbox{str}(\epsilon) = \{\epsilon\}\\\\
\mbox{str}(\pi) = \{\sigma\in\Sigma\vert\pi(\sigma)\}
\end{array}\end{displaymath}">|; 

$key = q/(p,pi,pi,q,1)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="120" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img86.gif"
 ALT="$(p,\pi,\pi,q,1)\in E$">|; 

$key = q/E'={(p,pi,pi,q,1)|(p,pi,q)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="230" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img100.gif"
 ALT="$E' =
\{(p,\pi,\pi,q,1)\vert (p,\pi,q) \in E\}$">|; 

$key = q/R_1circR_2={(x_1,x_3)|(x_1,x_2)inR_1,(x_2,x_3)inR_2};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="339" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img104.gif"
 ALT="$R_1 \circ R_2 = \{
(x_1,x_3)\vert (x_1,x_2)\in R_1, (x_2,x_3)\in R_2\}$">|; 

$key = q/0rightarrow3rightarrow4rightarrow1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="110" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img147.gif"
 ALT="$0 \rightarrow 3 \rightarrow 4 \rightarrow
1$">|; 

$key = q/Awedgeoverline{B};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="47" HEIGHT="18" ALIGN="BOTTOM" BORDER="0"
 SRC="img68.gif"
 ALT="$A \wedge \overline{B}$">|; 

$key = q/langlerangle;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img148.gif"
 ALT="$\langle\rangle$">|; 

$key = q/widehat{E}subseteqQtimesSigma^*timesQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="121" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img30.gif"
 ALT="$\widehat{E} \subseteq Q \times \Sigma^*
\times Q$">|; 

$key = q/SsubseteqSigma;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="48" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img7.gif"
 ALT="$S\subseteq \Sigma$">|; 

$key = q/(phi,x_0,x,w)inO;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="116" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img166.gif"
 ALT="$(\phi,x_0,x,w)\in O$">|; 

$key = q/(phi,x_0,x,z)inO;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="113" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img158.gif"
 ALT="$(\phi,x_0,x,z) \in O$">|; 

$key = q/S={sigmainSigma|pi(sigma)};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="129" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img8.gif"
 ALT="$S = \{\sigma\in \Sigma\vert\pi(\sigma)\}$">|; 

$key = q/pi(sigma);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="36" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img36.gif"
 ALT="$\pi(\sigma)$">|; 

$key = q/pi_d(sigma);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="43" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img114.gif"
 ALT="$\pi_d(\sigma)$">|; 

$key = q/Pi';MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img62.gif"
 ALT="$\Pi'$">|; 

$key = q/{displaymath}mbox{{tt{e}rightarrowmbox{{tt{a}slash_!_!_mbox{{tt{Ca}{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="87" HEIGHT="28" BORDER="0"
 SRC="img182.gif"
 ALT="\begin{displaymath}\mbox{\tt e} \rightarrow \mbox{\tt a} / \_\!\_\!\_ \mbox{\tt C a}\end{displaymath}">|; 

$key = q/{pspicture}(-1,-0.5)(10,3.5)psset{unit=0.02cm}rput(0,60.0){circlenode[]{0}{{tiny{<-}{3}{0.35cm}trput{rnode{x}{{footnotesize{{sca}:{sca}}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="460" HEIGHT="136" ALIGN="BOTTOM" BORDER="0"
 SRC="img119.gif"
 ALT="\begin{pspicture}(-1,-0.5)(10,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[...
...{&lt;-}{3}{0.35cm}
\trput{\rnode{x}{\footnotesize {\sc a}:{\sc a}}}
\end{pspicture}">|; 

$key = q/(a..zcdot?-d);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="81" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img24.gif"
 ALT="$(a..z \cdot ? - d)$">|; 

$key = q/^P(pi_l);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="41" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img151.gif"
 ALT="$^P(\pi_l)$">|; 

$key = q/{mbox{{tt{y,z}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img136.gif"
 ALT="$\{\mbox{\tt y,z}\}$">|; 

$key = q/pi_1veedotsveepi_i;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="89" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img72.gif"
 ALT="$\pi_1\vee\dots\vee\pi_i$">|; 

$key = q/O:((Picup{lambda})times{0,1})^*timesSigma^*timesSigma^*timesSigma^*;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="290" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img155.gif"
 ALT="$O: ((\Pi\cup\{\lambda\})\times\{0,1\})^*\times\Sigma^*\times\Sigma^*\times\Sigma^*$">|; 

$key = q/alpha;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img20.gif"
 ALT="$\alpha$">|; 

$key = q/widehat{E}subseteqQtimesSigma^*timesSigma^*timesQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="159" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img82.gif"
 ALT="$\widehat{E} \subseteq Q \times \Sigma^*\times
\Sigma^*\times Q$">|; 

$key = q/{w'|(w,w')inR(M)};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="150" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img115.gif"
 ALT="$\{w'\vert(w,w')\in
R(M)\}$">|; 

$key = q/(q,pi,q');MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="60" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img55.gif"
 ALT="$(q,\pi,q')$">|; 

$key = q/in{a,b,c};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="71" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img69.gif"
 ALT="$\in\{a,b,c\}$">|; 

$key = q/overline{S};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="18" ALIGN="BOTTOM" BORDER="0"
 SRC="img9.gif"
 ALT="$\overline{S}$">|; 

$key = q/M=(Q,Sigma,Pi,E,S,F);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="161" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img92.gif"
 ALT="$M=(Q,\Sigma,\Pi,E,S,F)$">|; 

$key = q/{displaymath}array{{ccccc}(&P,&mbox{scb}wedgenegmbox{scc},&{(2,mbox{sced})}&)(&Pwedgembox{scc},&{(2,mbox{sced}),(2,mbox{scfd})}&)array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="255" HEIGHT="64" BORDER="0"
 SRC="img126.gif"
 ALT="\begin{displaymath}
\begin{array}{ccccc}
(&amp;P,&amp; \mbox{\sc b}\wedge\neg \mbox{\sc ...
...c}, &amp;\{(2,\mbox{\sc
ed}),(2,\mbox{\sc fd})\} &amp;)\\\\
\end{array}\end{displaymath}">|; 

$key = q/in{c};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="42" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img71.gif"
 ALT="$\in\{c\}$">|; 

$key = q/{0,1,dots}^*;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="76" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img3.gif"
 ALT="$\{0,1,\dots\}^*$">|; 

$key = q/Picup{epsilon};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="56" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img75.gif"
 ALT="$\Pi\cup\{\epsilon\}$">|; 

$key = q/QtimesPi^*;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="55" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img120.gif"
 ALT="$Q\times\Pi^*$">|; 

$key = q/p,qinQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="59" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img111.gif"
 ALT="$p, q\in Q$">|; 

$key = q/(p,sigma,q)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="87" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img57.gif"
 ALT="$(p,\sigma,q)\in E$">|; 

$key = q/((p_1,p_2),sigma,(q_1,q_2));MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="137" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img47.gif"
 ALT="$((p_1,p_2),\sigma,(q_1,q_2))$">|; 

$key = q/d=rnot=epsilon;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="69" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img74.gif"
 ALT="$d=r\not
=\epsilon$">|; 

$key = q/(p_1,sigma_d,sigma,q_1);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="92" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img106.gif"
 ALT="$(p_1,\sigma_d,\sigma,q_1)$">|; 

$key = q/E'={(p,phi,q)|(p,phi,psi,q,i)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="229" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img101.gif"
 ALT="$E' = \{(p,\phi,q)\vert(p,\phi,\psi,q,i)\in E\}$">|; 

$key = q/beta;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img21.gif"
 ALT="$\beta$">|; 

$key = q/(p,pi,pi,q,i);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="85" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img80.gif"
 ALT="$(p,\pi,\pi,q,i)$">|; 

$key = q/(p,x,x,q)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="104" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img88.gif"
 ALT="$(p,x,x,q)\in\widehat{E}$">|; 

$key = q/2^{Sigma^*};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="18" ALIGN="BOTTOM" BORDER="0"
 SRC="img76.gif"
 ALT="$2^{\Sigma^*}$">|; 

$key = q/R(M_1)circR(M_2);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="113" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img109.gif"
 ALT="$R(M_1) \circ R(M_2)$">|; 

$key = q/widehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="17" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 SRC="img38.gif"
 ALT="$\widehat{E}$">|; 

$key = q/Pirightarrow2^Q;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="60" HEIGHT="18" ALIGN="BOTTOM" BORDER="0"
 SRC="img58.gif"
 ALT="$\Pi\rightarrow 2^Q$">|; 

$key = q/{(sigma_1,sigma_1),(sigma_2,sigma_2)};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="131" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img98.gif"
 ALT="$\{(\sigma_1,\sigma_1),(\sigma_2,\sigma_2)\}$">|; 

$key = q/mbox{{it{Trans}^P(pi)={(q,phipsi)|(p,phi)inP,(p,pi,psi,q)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="342" HEIGHT="37" ALIGN="MIDDLE" BORDER="0"
 SRC="img121.gif"
 ALT="$\mbox{\it Trans}^P(\pi)=\{(q,\phi\psi)\vert(p,\phi)\in P,(p,\pi,\psi,q)\in E\}$">|; 

$key = q/{pspicture}(-2,-0.5)(9,2.5)psset{unit=0.02cm}rput(0,60.0){circlenode[]{0}{{tiny{cangle=-15.0]{->}{4}{2}nbput{rnode{x}{{footnotesize{{scc}:{scd}}}{pspicture};AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="424" HEIGHT="80" ALIGN="BOTTOM" BORDER="0"
 SRC="img118.gif"
 ALT="\begin{pspicture}(-2,-0.5)(9,2.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[]...
...15.0]{-&gt;}{4}{2}
\nbput{\rnode{x}{\footnotesize {\sc c}:{\sc d}}}
\end{pspicture}">|; 

$key = q/inS;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="30" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img178.gif"
 ALT="$\in S$">|; 

$key = q/mbox{tte}rightarrowmbox{tta}slash_!_!_mbox{ttCa};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="90" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img183.gif"
 ALT="$\mbox{\tt e} \rightarrow \mbox{\tt a} /
\_\!\_\!\_ \mbox{\tt C a}$">|; 

$key = q/sigma_1,sigma_2;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="44" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img95.gif"
 ALT="$\sigma_1,\sigma_2$">|; 

$key = q/(p,phi,psi,q,0)inE,xinmbox{str}(phi),yinmbox{str}(psi);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="274" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img84.gif"
 ALT="$(p,\phi,\psi,q,0)\in E, x\in\mbox{str}(\phi),
y\in\mbox{str}(\psi)$">|; 

$key = q/{pspicture}(-1,-0.5)(10,3.5)psset{unit=0.02cm}rput(0,60.0){circlenode[]{0}{{tiny{3}{0.35cm}trput{rnode{x}{{footnotesize{{{tt{a}:{{tt{a}}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="457" HEIGHT="136" ALIGN="BOTTOM" BORDER="0"
 SRC="img138.gif"
 ALT="\begin{pspicture}(-1,-0.5)(10,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[...
...{&lt;-}{3}{0.35cm}
\trput{\rnode{x}{\footnotesize {\tt a}:{\tt a}}}
\end{pspicture}">|; 

$key = q/mbox{str}(pi);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img79.gif"
 ALT="$\mbox{str}(\pi)$">|; 

$key = q/(p,pi_d,psi,q,i);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="93" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img113.gif"
 ALT="$(p,\pi_d,\psi,q,i)$">|; 

$key = q/overline{L(M_1)};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="50" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img67.gif"
 ALT="$\overline{L(M_1)}$">|; 

$key = q/{pspicture}(-2,-1)(10,3.5)psset{unit=0.02cm}rput(0,60.0){circlenode[]{0}{{tiny{015.0]{->}{4}{1}nbput{rnode{x}{{footnotesize{{scb}:{scb}}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="375" HEIGHT="128" ALIGN="BOTTOM" BORDER="0"
 SRC="img145.gif"
 ALT="\begin{pspicture}(-2,-1)(10,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[]{...
...15.0]{-&gt;}{4}{1}
\nbput{\rnode{x}{\footnotesize {\sc b}:{\sc b}}}
\end{pspicture}">|; 

$key = q/Sigma^*;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="23" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img186.gif"
 ALT="$\Sigma^*$">|; 

$key = q/rangle;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="10" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img142.gif"
 ALT="$\rangle$">|; 

$key = q/sigmainSigma;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img5.gif"
 ALT="$\sigma\in\Sigma$">|; 

$key = q/Pi;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img26.gif"
 ALT="$\Pi$">|; 

$key = q/{displaymath}E=array{[t]{ll}&{ct(e_1,e_2)|e_1inE_1,e_2inE_2}cup&{((p_1,p_2),epsi_1,p_2),0)|p_2inQ_2,(p_1,phi,epsilon,q_1,0)inE_1}array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="447" HEIGHT="68" BORDER="0"
 SRC="img110.gif"
 ALT="\begin{displaymath}
E = \begin{array}[t]{ll}
&amp; \{ ct(e_1,e_2) \vert e_1\in E_1,e...
...rt
p_2\in Q_2,
(p_1,\phi,\epsilon,q_1,0)\in E_1
\}
\end{array}\end{displaymath}">|; 

$key = q/(p_1,sigma,q_1);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="69" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img48.gif"
 ALT="$(p_1,\sigma,q_1)$">|; 

$key = q/{(sigma_1,sigma_1),(sigma_1,sigma_2),(sigma_2,sigma_1),(sigma_2,sigma_2)};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="249" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img97.gif"
 ALT="$\{(\sigma_1,\sigma_1), (\sigma_1,\sigma_2), (\sigma_2,\sigma_1),
(\sigma_2,\sigma_2)\}$">|; 

$key = q/(p,epsilon,psi,q);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="71" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img116.gif"
 ALT="$(p,\epsilon,\psi,q)$">|; 

$key = q/(p,epsilon,q)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="85" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img34.gif"
 ALT="$(p,\epsilon,q)\in \widehat{E}$">|; 

$key = q/((pi,1)phi,x_0sigma,x,sigmaz)inO;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="168" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img160.gif"
 ALT="$((\pi,1)\phi,x_0\sigma,x,\sigma z)\in O$">|; 

$key = q/{displaymath}E={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)}array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="335" HEIGHT="49" BORDER="0"
 SRC="img60.gif"
 ALT="\begin{displaymath}E=\{\begin{array}[t]{l}(p,\pi_1,q_1),(p,\pi_1,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}">|; 

$key = q/(epsilon,x,x,epsilon)inO;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="101" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img157.gif"
 ALT="$(\epsilon,x,x,\epsilon)\in O$">|; 

$key = q/widehat{E}subseteqQtimesSigma^*timesSigma^*timesQtimesSigma^*timesSigma^*;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="236" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img162.gif"
 ALT="$\widehat{E} \subseteq Q \times \Sigma^*\times
\Sigma^*\times Q\times \Sigma^*\times\Sigma^*$">|; 

$key = q/pi_d:pi_r;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="50" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img12.gif"
 ALT="$\pi_d:\pi_r$">|; 

$key = q/{mbox{{tt{x,y}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img135.gif"
 ALT="$\{\mbox{\tt x,y}\}$">|; 

$key = q/pi_k;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img150.gif"
 ALT="$\pi_k$">|; 

$key = q/(phi,sigmax_0,x,w)inO;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="126" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img171.gif"
 ALT="$(\phi,\sigma x_0,x,w)\in O$">|; 

$key = q/(q_0,x_1x_2,y_1y_2,q)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="154" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img89.gif"
 ALT="$(q_0,x_1x_2,y_1y_2,q)\in\widehat{E}$">|; 

$key = q/M_2=(Q_2,Sigma,Pi,E_2,S_2,F_2);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="192" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img51.gif"
 ALT="$M_2=(Q_2,\Sigma,\Pi,E_2,S_2,F_2)$">|; 

$key = q/iin{0,1};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="68" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img81.gif"
 ALT="$i\in\{0,1\}$">|; 

$key = q/{pspicture}(-0.5,-1.5)(10,1.5)psset{unit=0.02cm}rput(0,0){circlenode[]{0}{{tiny{x{scb}langle?rangle^1dotslangle?rangle^kmbox{scb}{}}{par{{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="502" HEIGHT="75" ALIGN="BOTTOM" BORDER="0"
 SRC="img176.gif"
 ALT="\begin{pspicture}(-0.5,-1.5)(10,1.5)
\psset{unit=0.02cm}\rput(0,0){\circlenode[]...
...c b}\langle ?\rangle^1\dots\langle ?\rangle^k\mbox{\sc b}$}}
\par\end{pspicture}">|; 

$key = q/{pspicture}(-1,-2)(10,2)psset{unit=0.015cm}rput(40,0){circlenode[doubleline=true{x}{{langlembox{{tt{a}rangle{:{langlembox{{tt{a}rangle{}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="330" HEIGHT="138" ALIGN="BOTTOM" BORDER="0"
 SRC="img185.gif"
 ALT="\begin{pspicture}(-1,-2)(10,2)
\psset{unit=0.015cm}
\rput(40,0){\circlenode[doub...
...}{$\langle \mbox{\tt a} \rangle$:$\langle \mbox{\tt a}\rangle$}}
\end{pspicture}">|; 

$key = q/xinSigma^*;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="51" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img156.gif"
 ALT="$x\in\Sigma^*$">|; 

$key = q/piinPi;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img78.gif"
 ALT="$\pi\in\Pi$">|; 

$key = q/((p_1,p_2),sigma_d,sigma_r,(q_1,q_2));MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="168" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img105.gif"
 ALT="$((p_1,p_2),\sigma_d,\sigma_r,(q_1,q_2))$">|; 

$key = q/s(p,q)={sigma|(p,sigma,q)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="181" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img43.gif"
 ALT="$s(p,q) =
\{\sigma\vert(p,\sigma,q)\in E\}$">|; 

$key = q/{pspicture}(-1,-1)(10.0,3.5)psset{unit=0.02cm}rput(0,60.0){circlenode[]{0}{{tiny15.0]{->}{6}{1}nbput{rnode{x}{{footnotesize{{scc}:{scc}}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="484" HEIGHT="141" ALIGN="BOTTOM" BORDER="0"
 SRC="img143.gif"
 ALT="\begin{pspicture}(-1,-1)(10.0,3.5)
\psset{unit=0.02cm}\rput(0,60.0){\circlenode[...
...15.0]{-&gt;}{6}{1}
\nbput{\rnode{x}{\footnotesize {\sc c}:{\sc c}}}
\end{pspicture}">|; 

$key = q/(p,epsilon,epsilon,p,epsilon,epsilon)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="126" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img164.gif"
 ALT="$(p,\epsilon,\epsilon,p,\epsilon,\epsilon)\in\widehat{E}$">|; 

$key = q/(p,sigma,w,q,x_0,x)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="145" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img169.gif"
 ALT="$(p,\sigma,w,q,x_0,x)\in\widehat{E}$">|; 

$key = q/inemptyset;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="27" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img181.gif"
 ALT="$\in\emptyset$">|; 

$key = q/overline{mbox{{tt{N}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="12" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img18.gif"
 ALT="$\overline{\mbox{\tt N}}$">|; 

$key = q/pi;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img4.gif"
 ALT="$\pi$">|; 

$key = q/{figure}{par{{footnotesize{{par{pspicture{(-1,-1)(10,6)psset{unit=0.020cm}rput(8ine{{mbox{{tt{a,e,i,o,u}}}rangle{}}pspicture{{par{{{{figure};MSF=1.6;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="462" HEIGHT="277" BORDER="0"
 SRC="img184.gif"
 ALT="\begin{figure}
\par\footnotesize\par\begin{pspicture}(-1,-1)(10,6)
\psset{unit=0...
...gle\overline{\{\mbox{\tt a,e,i,o,u}\}}\rangle$}}
\end{pspicture}\par\end{figure}">|; 

$key = q/(q_0,x_1x_2,y_1y_2,q,x_0,x)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="194" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img172.gif"
 ALT="$(q_0,x_1x_2,y_1y_2,q,x_0,x)\in\widehat{E}$">|; 

$key = q/in{a,b};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="57" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img70.gif"
 ALT="$\in\{a,b\}$">|; 

$key = q/(Q,Sigma,E,S,F);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="104" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img41.gif"
 ALT="$(Q,\Sigma,E,S,F)$">|; 

$key = q/FsubseteqQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="50" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img29.gif"
 ALT="$F\subseteq Q$">|; 

$key = q/psi_2=pi_1dotspi_i'dotspi_n;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="139" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img131.gif"
 ALT="$\psi_2=\pi_1\dots\pi_i'\dots\pi_n$">|; 

$key = q/(q_0,sigma,q)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="93" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img37.gif"
 ALT="$(q_0,\sigma,q)\in\widehat{E}$">|; 

$key = q/(q_0,x_1x_2,q)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="117" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img39.gif"
 ALT="$(q_0,x_1x_2,q)\in\widehat{E}$">|; 

$key = q/P={(3,mbox{sce}),(4,mbox{scf})};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="133" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img122.gif"
 ALT="$P=\{(3,\mbox{\sc e}),(4,\mbox{\sc f})\}$">|; 

$key = q/(Q,Sigma,Pi,E,S,F);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="123" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img25.gif"
 ALT="$(Q,\Sigma,\Pi,E,S,F)$">|; 

$key = q/E={((p_1,q_1),pi_1wedgepi_2,(p,q))|(p_1,pi_1,p)inE_1,(q_1,pi_2,q)inE_2};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="433" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img54.gif"
 ALT="$E=\{((p_1,q_1),\pi_1\wedge\pi_2,(p,q))\vert (p_1,\pi_1,p)\in E_1,
(q_1,\pi_2,q)\in E_2\}$">|; 

$key = q/L(M_1)capL(M_2);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="113" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img52.gif"
 ALT="$L(M_1) \cap
L(M_2)$">|; 

$key = q/(p_2,sigma,sigma_r,q_2);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="92" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img107.gif"
 ALT="$(p_2,\sigma,\sigma_r,q_2)$">|; 

$key = q/inPi;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="31" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img117.gif"
 ALT="$\in\Pi$">|; 

$key = q/{displaymath}(D,pi_1wedgedotswedgepi_iwedgenegpi_{i+1}wedgedotswedgenegpi_n,mbox{{it{Trans}^D(pi_1)cupdotscupmbox{{it{Trans}^D(pi_i)){displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="475" HEIGHT="28" BORDER="0"
 SRC="img65.gif"
 ALT="\begin{displaymath}(D,\pi_1\wedge\dots\wedge\pi_i\wedge\neg\pi_{i+1}\wedge\dots\...
...box{\it Trans}^D(\pi_1)\cup\dots\cup\mbox{\it Trans}^D(\pi_i))
\end{displaymath}">|; 

$key = q/langle;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="10" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img141.gif"
 ALT="$\langle$">|; 

$key = q/(Q,Sigma,2^Sigma,E',S,F);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="133" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img44.gif"
 ALT="$(Q,\Sigma,2^\Sigma,E',S,F)$">|; 

$key = q/{(w_d,w_r)|q_sinS,q_finF,(q_s,w_d,w_r,q_f)inwidehat{E}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="316" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img90.gif"
 ALT="$\{(w_d,w_r)\vert q_s\in S, q_f\in F, (q_s,w_d,w_r,q_f)\in\widehat{E}\}$">|; 

$key = q/qinQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="44" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img31.gif"
 ALT="$q\in Q$">|; 

$key = q/(p_1,psi_1);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="56" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img127.gif"
 ALT="$(p_1,\psi_1)$">|; 

$key = q/(p,(pi,1),phi,q)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="132" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img170.gif"
 ALT="$(p,(\pi,1),\phi,q)\in E$">|; 

$key = q/epsilon;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="11" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img15.gif"
 ALT="$\epsilon$">|; 

$key = q/{pspicture}(-2,-1)(9,4.5)psset{unit=0.02cm}rput(0,90.0){circlenode[]{0}{{tiny{0}gle=15.0]{->}{4}{2}naput{rnode{x}{{footnotesize{{{tt{y}:{{tt{d}}}{pspicture};AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="421" HEIGHT="183" ALIGN="BOTTOM" BORDER="0"
 SRC="img137.gif"
 ALT="\begin{pspicture}(-2,-1)(9,4.5)
\psset{unit=0.02cm}\rput(0,90.0){\circlenode[]{0...
...15.0]{-&gt;}{4}{2}
\naput{\rnode{x}{\footnotesize {\tt y}:{\tt d}}}
\end{pspicture}">|; 

$key = q/(p_2,psi_2);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="56" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img128.gif"
 ALT="$(p_2,\psi_2)$">|; 

$key = q/{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}{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="490" HEIGHT="28" BORDER="0"
 SRC="img61.gif"
 ALT="\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}">|; 

$key = q/(p,epsilon,q)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="85" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img33.gif"
 ALT="$(p,\epsilon,q)\in E$">|; 

$key = q/xinmbox{str}(pi);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="73" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img87.gif"
 ALT="$x\in\mbox{str}(\pi)$">|; 

$key = q/overline{{mbox{{tt{a}}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="28" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img23.gif"
 ALT="$\overline{\{\mbox{\tt a}\}}$">|; 

$key = q/(p,x,y,q)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="103" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img85.gif"
 ALT="$(p,x,y,q)\in\widehat{E}$">|; 

$key = q/{displaymath}array{{ccccc}(&P,&mbox{scb}wedgenegmbox{scc}:mbox{sced},&{(2,epsilo(mbox{sce}veembox{scf})mbox{scd},&{(2,epsilon)}&)array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="298" HEIGHT="64" BORDER="0"
 SRC="img134.gif"
 ALT="\begin{displaymath}
\begin{array}{ccccc}
(&amp;P,&amp; \mbox{\sc b}\wedge\neg \mbox{\sc ...
...
\mbox{\sc f})\mbox{\sc d}, &amp;\{(2,\epsilon)\} &amp;)\\\\
\end{array}\end{displaymath}">|; 

$key = q/(p,epsilon,epsilon,p)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="99" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img83.gif"
 ALT="$(p,\epsilon,\epsilon,p)\in\widehat{E}$">|; 

$key = q/{mbox{{tt{a}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="28" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img22.gif"
 ALT="$\{\mbox{\tt a}\}$">|; 

$key = q/{winSigma^*|q_sinS,q_finF,(q_s,w,q_f)inwidehat{E}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="277" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img40.gif"
 ALT="$\{w\in\Sigma^*\vert q_s\in S,
q_f\in F, (q_s,w,q_f)\in\widehat{E}\}$">|; 

$key = q/{pspicture}(-3.5,-1)(7.5,3.0)psset{unit=0.015cm}rput(0,60.0){circlenode[]{0}{{tiarcangle=-15.0]{->}{3}{1}nbput{rnode{x}{{epsilon{:{tt{e}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="254" HEIGHT="102" ALIGN="BOTTOM" BORDER="0"
 SRC="img140.gif"
 ALT="\begin{pspicture}(-3.5,-1)(7.5,3.0)
\psset{unit=0.015cm}
\rput(0,60.0){\circleno...
...rc[arcangle=-15.0]{-&gt;}{3}{1}
\nbput{\rnode{x}{$\epsilon$:\tt e}}
\end{pspicture}">|; 

$key = q/3+|Sigma|+|Sigma|^2+dots+|Sigma|^k;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="184" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img177.gif"
 ALT="$3 + \vert\Sigma\vert + \vert\Sigma\vert^2 + \dots +
\vert\Sigma\vert^k$">|; 

$key = q/SsubseteqQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="49" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img28.gif"
 ALT="$S\subseteq Q$">|; 

$key = q/pinD,qinQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="92" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img56.gif"
 ALT="$p\in D, q\in Q$">|; 

$key = q/E'={(p,s(p,q),q)|(p,s,q)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="229" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img45.gif"
 ALT="$E'=\{(p,s(p,q),q)\vert (p,s,q)\in
E\}$">|; 

$key = q/id(M)=(Q,Sigma,Pi,E',S,F);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="192" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img99.gif"
 ALT="$id(M) = (Q,\Sigma,\Pi,E',S,F)$">|; 

$key = q/pi_{i+1}dotspi_n;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="76" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img64.gif"
 ALT="$\pi_{i+1}\dots\pi_n$">|; 

$key = q/{displaymath}(P,pi_1wedgedotswedgepi_iwedgenegpi_{i+1}wedgedotswedgenegpi_n,mbox{{it{Trans}^P(pi_1)cupdotscupmbox{{it{Trans}^P(pi_i)){displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="470" HEIGHT="28" BORDER="0"
 SRC="img124.gif"
 ALT="\begin{displaymath}(P,\pi_1\wedge\dots\wedge\pi_i\wedge\neg\pi_{i+1}\wedge\dots\...
...box{\it Trans}^P(\pi_1)\cup\dots\cup\mbox{\it Trans}^P(\pi_i))
\end{displaymath}">|; 

$key = q/{pspicture}(-3,-1.5)(8,4.5)psset{unit=0.02cm}rput(0,0){circlenode[doubleline=tru{par{ncarc[arcangle=15.0]{->}{2}{0}naput{rnode{x}{{tt{p}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="266" HEIGHT="229" ALIGN="BOTTOM" BORDER="0"
 SRC="img17.gif"
 ALT="\begin{pspicture}(-3,-1.5)(8,4.5)
\psset{unit=0.02cm}
\rput(0,0){\circlenode[dou...
...m}}
\par\ncarc[arcangle=15.0]{-&gt;}{2}{0}
\naput{\rnode{x}{\tt p}}
\end{pspicture}">|; 

$key = q/{displaymath}array{{ccccc}P&Q&negP&PwedgeQ&PveeQhlineinS_1&inS_2&notinS_1&inS_1c2notinS_1&notinS_2&&notinS_2cupS_1&notinS_1capS_2array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="312" HEIGHT="103" BORDER="0"
 SRC="img180.gif"
 ALT="\begin{displaymath}
\begin{array}{ccccc}
P &amp; Q &amp; \neg P &amp; P\wedge Q &amp; P\vee Q \\\\...
...S_2 &amp; &amp; \notin S_2\cup S_1 &amp; \notin S_1\cap S_2 \\\\
\end{array}\end{displaymath}">|; 

$key = q/Qtimes(Picup{epsilon})times(Picup{epsilon})timesQtimes{0,1};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="275" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img73.gif"
 ALT="$Q\times (\Pi\cup\{\epsilon\}) \times
(\Pi\cup\{\epsilon\}) \times Q \times \{0,1\}$">|; 

$key = q/{displaymath}array{{ccccc}(&D,&pi_1wedgepi_2wedgepi_3,&{q_1,q_2,q_3,q_4,q_5}&)(&)(&D,&negpi_1wedgenegpi_2wedgenegpi_3,&emptyset&)array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="328" HEIGHT="159" BORDER="0"
 SRC="img66.gif"
 ALT="\begin{displaymath}
\begin{array}{ccccc}
( &amp; D, &amp;\pi_1\wedge\pi_2\wedge\pi_3, &amp;\...
...pi_1\wedge\neg\pi_2\wedge\neg\pi_3, &amp;\emptyset&amp;)\\\\
\end{array}\end{displaymath}">|; 

$key = q/pinQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="44" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img163.gif"
 ALT="$p\in Q$">|; 

$key = q/(p,psi);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="43" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img129.gif"
 ALT="$(p,\psi)$">|; 

$key = q/phi,psi;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="32" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img14.gif"
 ALT="$\phi, \psi$">|; 

$key = q/(p,(pi,0),phi,q)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="132" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img168.gif"
 ALT="$(p,(\pi,0),\phi,q)\in E$">|; 

$key = q/M'=(Q,Sigma,Pi,E',S,F);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="170" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img93.gif"
 ALT="$M'=(Q,\Sigma,\Pi,E',S,F)$">|; 

$key = q/(q,epsilon,q)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="85" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img32.gif"
 ALT="$(q,\epsilon,q)\in\widehat{E}$">|; 

$key = q/E'={(p,pi,pi,q,0)|(p,pi,q)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="230" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img94.gif"
 ALT="$E' =
\{(p,\pi,\pi,q,0)\vert(p,\pi,q)\in E\}$">|; 

$key = q/id(L)={(w,w)|winL};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="168" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img91.gif"
 ALT="$id(L)=\{(w,w) \vert w\in L\}$">|; 

$key = q/M=(Q_1timesQ_2,Sigma,Pi,E,S_1timesS_2,F_1timesF_2);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="293" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img53.gif"
 ALT="$M=(Q_1 \times
Q_2,\Sigma,\Pi,E,S_1\times S_2, F_1\times F_2)$">|; 

$key = q/overline{mbox{{tt{N}}:overline{mbox{{tt{N}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="34" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img19.gif"
 ALT="$\overline{\mbox{\tt N}}: \overline{\mbox{\tt N}}$">|; 

$key = q/{figure}{footnotesize{{par{pspicture{(-1,-1)(10,8.0)psset{unit=0.015cm}rput(0,2410}nbput{rnode{x}{{tt{z:{epsilon{}}pspicture{{par{{{{figure};MSF=1.6;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="447" HEIGHT="348" BORDER="0"
 SRC="img174.gif"
 ALT="\begin{figure}
\footnotesize\par\begin{pspicture}(-1,-1)(10,8.0)
\psset{unit=0.0...
...{-&gt;}{14}{10}
\nbput{\rnode{x}{\tt z:$\epsilon$}}
\end{pspicture}\par\end{figure}">|; 

$key = q/E'={(p,psi,q)|(p,phi,psi,q,i)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="230" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img102.gif"
 ALT="$E' =
\{(p,\psi,q)\vert(p,\phi,\psi,q,i)\in E\}$">|; 

$key = q/{mbox{{tt{x,y,z}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="62" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img175.gif"
 ALT="$\{\mbox{\tt x,y,z}\}$">|; 

$key = q/{displaymath}array{{ccccc}(&P,&mbox{scb}wedgembox{scc},&{(2,(mbox{sce}veembox{scf})mbox{scd})}&)array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="230" HEIGHT="30" BORDER="0"
 SRC="img133.gif"
 ALT="\begin{displaymath}
\begin{array}{ccccc}
(&amp;P,&amp; \mbox{\sc b}\wedge \mbox{\sc c}, ...
...\mbox{\sc e}\vee
\mbox{\sc f})\mbox{\sc d})\} &amp;)\\\\
\end{array}\end{displaymath}">|; 

$key = q/{pspicture}(-1,0.5)(10.0,5.5)psset{unit=0.02cm}rput(0,120.0){circlenode[]{0}{{ti15.0]{->}{5}{2}nbput{rnode{x}{{footnotesize{{scb}:{scb}}}{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="376" HEIGHT="186" ALIGN="BOTTOM" BORDER="0"
 SRC="img146.gif"
 ALT="\begin{pspicture}(-1,0.5)(10.0,5.5)
\psset{unit=0.02cm}\rput(0,120.0){\circlenod...
...15.0]{-&gt;}{5}{2}
\nbput{\rnode{x}{\footnotesize {\sc b}:{\sc b}}}
\end{pspicture}">|; 

$key = q/E'={(p,psi,phi,q,i)|(p,phi,psi,q,i)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="259" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img103.gif"
 ALT="$E' =
\{(p,\psi,\phi,q,i)\vert(p,\phi,\psi,q,i)\in E\}$">|; 

$key = q/T_1circT_2;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="52" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img139.gif"
 ALT="$T_1\circ
T_2$">|; 

$key = q/(p,epsilon,psi,q,i)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="115" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img112.gif"
 ALT="$(p,\epsilon,\psi,q,i)\in E$">|; 

$key = q/Sigma;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img2.gif"
 ALT="$\Sigma$">|; 

$key = q/{pspicture}(-1,-1.5)(10,1.5)psset{unit=0.02cm}rput(0,0){circlenode[]{0}{{tiny{0}cb}:{mbox{scb}langle?ranglelangle?ranglembox{scb}{}}{par{{pspicture};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="484" HEIGHT="76" ALIGN="BOTTOM" BORDER="0"
 SRC="img144.gif"
 ALT="\begin{pspicture}(-1,-1.5)(10,1.5)
\psset{unit=0.02cm}\rput(0,0){\circlenode[]{0...
...\mbox{\sc b}\langle
?\rangle\langle ?\rangle\mbox{\sc b}$}}
\par\end{pspicture}">|; 

$key = q/{displaymath}mbox{{tt{N}rightarrowmbox{{tt{m}slash_!_!_~~mbox{{{tt{p};~~elsewhere{{tt{n}}{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="180" HEIGHT="28" BORDER="0"
 SRC="img16.gif"
 ALT="\begin{displaymath}
\mbox{\tt N} \rightarrow \mbox{\tt m} / \_\!\_\!\_~~ \mbox{{\tt p};
~~elsewhere {\tt n}}
\end{displaymath}">|; 

$key = q/mbox{{it{Trans}^D(pi)={qinQ|pinD,(p,pi,q)inE};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="291" HEIGHT="37" ALIGN="MIDDLE" BORDER="0"
 SRC="img59.gif"
 ALT="$\mbox{\it Trans}^D(\pi) = \{q\in Q\vert p\in D, (p,\pi,q)\in E\}$">|; 

$key = q/((lambda,1)phi,x_0sigma,x,z)inO;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="158" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img159.gif"
 ALT="$((\lambda,1)\phi,x_0\sigma,x,z)\in O$">|; 

$key = q/notinS;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="30" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img179.gif"
 ALT="$\notin S$">|; 

$key = q/{displaymath}mbox{{it{Trans}^P(mbox{scb})={(2,mbox{sced})},mbox{{it{Trans}^P(mbox{scc})={(2,mbox{scfd})}{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="315" HEIGHT="28" BORDER="0"
 SRC="img123.gif"
 ALT="\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}">|; 

$key = q/pi_d;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img10.gif"
 ALT="$\pi_d$">|; 

$key = q/(p_2,sigma,q_2);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="69" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img49.gif"
 ALT="$(p_2,\sigma,q_2)$">|; 

$key = q/M_1=(Q_1,Sigma,Pi,E_1,S_1,F_1);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="192" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img50.gif"
 ALT="$M_1=(Q_1,\Sigma,\Pi,E_1,S_1,F_1)$">|; 

$key = q/lambda;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="13" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img154.gif"
 ALT="$\lambda$">|; 

$key = q/{(w_d,w_r)|q_sinS,q_finF,(q_s,w_d,w_r,q_f,epsilon,epsilon)inwidehat{E}};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="343" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img173.gif"
 ALT="$\{(w_d,w_r)\vert q_s\in S, q_f\in F,
(q_s,w_d,w_r,q_f,\epsilon,\epsilon)\in\widehat{E}\}$">|; 

$key = q/pi_1dotspi_i;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="58" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img63.gif"
 ALT="$\pi_1\dots \pi_i$">|; 

$key = q/pi_l;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="18" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img152.gif"
 ALT="$\pi_l$">|; 

$key = q/|Sigma|;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="24" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img46.gif"
 ALT="$\vert\Sigma\vert$">|; 

$key = q/Qtimes(Picup{epsilon})timesQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="132" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img27.gif"
 ALT="$Q \times
(\Pi \cup \{\epsilon\}) \times Q$">|; 

$key = q/pi_r;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="20" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img11.gif"
 ALT="$\pi_r$">|; 

$key = q/pi:pi;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="37" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img96.gif"
 ALT="$\pi:\pi$">|; 

$key = q/((pi,0)phi,x_0,x,sigmaz)inO;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="159" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img161.gif"
 ALT="$((\pi,0)\phi,x_0,x,\sigma z)\in O$">|; 

$key = q/{displaymath}array{{ll}mbox{ct}((p_1,pi_1,pi_1,q_1,1),(p_2,pi_2,pi_2,q_2,1))&=((q_2),0)&mbox{~~~~if~satisfiable({pi_1wedgepi_2{)}array{{displaymath};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="531" HEIGHT="102" BORDER="0"
 SRC="img108.gif"
 ALT="\begin{displaymath}
\begin{array}{ll}
\mbox{ct}((p_1,\pi_1,\pi_1,q_1,1),(p_2,\pi...
... &amp; \mbox{~~~~if~satisfiable($\pi_1\wedge\pi_2$)}\\\\
\end{array}\end{displaymath}">|; 

$key = q/(q_0,pi,q)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="94" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img35.gif"
 ALT="$(q_0,\pi,q)\in E$">|; 

$key = q/Qtimes((Picup{epsilon})times{0,1})times((Picup{lambda})times{0,1})^*timesQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="368" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img153.gif"
 ALT="$Q\times ((\Pi\cup\{\epsilon\})\times\{0,1\}) \times
((\Pi\cup\{\lambda\})\times\{0,1\})^* \times Q $">|; 

$key = q/sigma;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img13.gif"
 ALT="$\sigma$">|; 

$key = q/psi=pi_1dotspi_iveepi_i'dotspi_n;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="164" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img132.gif"
 ALT="$\psi=\pi_1\dots\pi_i\vee\pi_i'\dots\pi_n$">|; 

$key = q/QtimesSigmatimesQ;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="80" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img42.gif"
 ALT="$Q
\times \Sigma \times Q$">|; 

$key = q/mbox{scce}langlerangle;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="35" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img149.gif"
 ALT="$\mbox{\sc
ce}\langle\rangle$">|; 

$key = q/(p,epsilon,w,q,x_0,x)inwidehat{E};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="143" HEIGHT="38" ALIGN="MIDDLE" BORDER="0"
 SRC="img167.gif"
 ALT="$(p,\epsilon,w,q,x_0,x)\in\widehat{E}$">|; 

$key = q/unhboxvoidb@xhbox{{tt{e}rightarrowunhboxvoidb@xhbox{{tt{a}slash_mskip-thinmuskip_mskip-thinmuskip_unhboxvoidb@xhbox{{tt{Ca};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="155" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img1.gif"
 ALT="$\unhbox \voidb@x \hbox {\tt e} \rightarrow \unhbox \voidb@x \hbox {\tt a} / \_\mskip -\thinmuskip \_\mskip -\thinmuskip \_ \unhbox \voidb@x \hbox {\tt C a}$">|; 

$key = q/(p,(epsilon,0),phi,q)inE;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="129" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img165.gif"
 ALT="$(p,(\epsilon,0),\phi,q)\in E$">|; 

$key = q/emptyset;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="12" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img125.gif"
 ALT="$\emptyset$">|; 

$key = q/pi(Sigma);MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="38" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img6.gif"
 ALT="$\pi(\Sigma)$">|; 

1;