\begin{figure}[ht]
\begin{center}
\begin{picture}(48,33)(0,0)

%\put(0,0){\line(1,0){48}}
%\put(0,0){\line(0,1){33}}

\color{light}
\put(38,16){\oval(16,32)}
\put(36.5,15){\Large $Y$}

\put(9.5,16){\oval(16,32)}
\put(7.5,15){\Large $X$}

\color{black}

\put(5,5){\Ovalbox{
    \begin{minipage}{0.5cm}
      \begin{center}
	\vspace{0.2cm} $x_2$ \vspace{0.2cm}
      \end{center}
    \end{minipage}}}

\put(5,25){\Ovalbox{
    \begin{minipage}{0.5cm}
      \begin{center}
	\vspace{0.2cm} $x_1$ \vspace{0.2cm}
      \end{center}
    \end{minipage}}}


\put(34,5){\Ovalbox{
    \begin{minipage}{0.5cm}
      \begin{center}
	\vspace{0.2cm} $y_2$ \vspace{0.2cm}
      \end{center}
    \end{minipage}}}

\put(34,25){\Ovalbox{
    \begin{minipage}{0.5cm}
      \begin{center}
	\vspace{0.2cm} $y_1$ \vspace{0.2cm}
      \end{center}
    \end{minipage}}}

\thicklines
\put(14,26){\vector(1,0){20}}
\put(14,26){\vector(1,-1){20}}
\put(34,6){\vector(-1,0){20}}

\end{picture}
\end{center}
\caption{An Example Mapping from Concrete States to Abstract States\label{fig:states}}
\end{figure}