equal
deleted
inserted
replaced
373 \node [yshift=3mm] at (2.north) {$r^*$}; |
373 \node [yshift=3mm] at (2.north) {$r^*$}; |
374 \end{pgfonlayer} |
374 \end{pgfonlayer} |
375 \end{tikzpicture} |
375 \end{tikzpicture} |
376 \end{center} |
376 \end{center} |
377 |
377 |
378 |
378 \noindent |
|
379 This construction of a NFA from a regular expression was invented by Ken Thompson in 1968. |
379 |
380 |
380 \end{document} |
381 \end{document} |
381 |
382 |
382 %%% Local Variables: |
383 %%% Local Variables: |
383 %%% mode: latex |
384 %%% mode: latex |