equal
deleted
inserted
replaced
883 \end{frame} |
883 \end{frame} |
884 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
884 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
885 |
885 |
886 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
886 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
887 \begin{frame}[c] |
887 \begin{frame}[c] |
888 \frametitle{and with Brzozowski} |
888 \frametitle{\ldots{}and with Brzozowski} |
889 |
889 |
890 \begin{center} |
890 \begin{center} |
891 \begin{tikzpicture} |
891 \begin{tikzpicture} |
892 \begin{axis}[ |
892 \begin{axis}[ |
893 xlabel={$n$}, |
893 xlabel={$n$}, |