def__finite_automaton.tex

\documentclass{classes/tikzcd}

\begin{document}
  \begin{tikzcd}
    |[state, accepting]| 2                                         & |[state, initial, initial where=above]| 3 \ar[loop right, "b"] \ar[rd, "b"] &                        \\
    |[state, initial]| 1 \ar[r, "a" swap] \ar[ru, "a"] \ar[u, "b"] & |[state]| 4 \ar[u, "a" swap]                                                & |[state, accepting]| 5
  \end{tikzcd}

  \begin{tikzcd}
    |[state, accepting]| \scriptstyle{\set{ 2, 4 }} \ar[r, "a"]                 & |[state]| \set{ 3 } \ar[rd, "b"] &                                                                      \\
    |[state, initial]| \scriptstyle{\set{ 1, 3 }} \ar[u, "a"] \ar[rr, "b" swap] &                                  & |[state, accepting]| \scriptstyle{\set{ 3, 5 }} \ar[loop above, "b"]
  \end{tikzcd}
\end{document}