equal
deleted
inserted
replaced
853 automaton for this language, but again that would lead us too |
853 automaton for this language, but again that would lead us too |
854 far afield for what we want to do in this module. |
854 far afield for what we want to do in this module. |
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 as automaton for the |
859 what the Thomson algorithm. |
859 regular expression $a (b + c)^*$ and what the Thomson |
|
860 algorithm generates. |
860 |
861 |
861 %http://www.inf.ed.ac.uk/teaching/courses/ct/ |
862 %http://www.inf.ed.ac.uk/teaching/courses/ct/ |
862 \end{document} |
863 \end{document} |
863 |
864 |
864 %%% Local Variables: |
865 %%% Local Variables: |