855 

   855 

   856 \section{Further Reading}

   856 \section{Further Reading}

   857 

   857 

   858 Compare what a human expert would create for $a (b + c)^*$ and

   858 Compare what a human expert would create for $a (b + c)^*$ and

   859 what the Thomson algorithm.

   859 what the Thomson algorithm.

   860 \end{document}

   862 \end{document}

   861 

   863 

   862 %%% Local Variables: 

   864 %%% Local Variables: 

   863 %%% mode: latex

   865 %%% mode: latex

   864 %%% TeX-master: t

   866 %%% TeX-master: t