equal
deleted
inserted
replaced
922 automaton for this language, but again that would lead us too |
922 automaton for this language, but again that would lead us too |
923 far afield for what we want to do in this module. |
923 far afield for what we want to do in this module. |
924 |
924 |
925 \section*{Further Reading} |
925 \section*{Further Reading} |
926 |
926 |
927 Compare what a ``human expert'' would create as automaton for the |
927 Compare what a ``human expert'' would create as an automaton for the |
928 regular expression $a (b + c)^*$ and what the Thomson |
928 regular expression $a (b + c)^*$ and what the Thomson |
929 algorithm generates. |
929 algorithm generates. |
930 |
930 |
931 %http://www.inf.ed.ac.uk/teaching/courses/ct/ |
931 %http://www.inf.ed.ac.uk/teaching/courses/ct/ |
932 \end{document} |
932 \end{document} |