Have multiple transitions on different lines in a state machine using tikz

by Paradox   Last Updated January 20, 2018 21:23 PM

I am attempting to draw a state machine, however I intend to have more than two possible transitions listed on different lines, i.e. instead of a;$\bot/A\bot$, $a;A/AA$ being on the same line, I'd like to have a;$\bot/A\bot$ and $a;A/AA$ on different lines. So far, I have tried // and \n but neither have worked for me. Here is my LaTeX:

\begin{tikzpicture}[>=stealth',shorten >=1pt,auto,node distance=2cm]
  \node[initial,state] (q0)      {$q0$};
  \node[state]         (q1) [right of=q0]  {$q_1$};
  \node[state]         (q2) [right of=q1] {$q_2$};
  \node[state, accepting] (q3) [below of=q1] {$q_3$};

  \path[->] (q0)  edge [loop above] node {a} (q0)
             edge              node {a} (q1)
        (q1) edge [loop above] node {a;$\bot/A\bot$, $a;A/AA$} (q1)
             edge [bend left]  node {a} (q0)
             edge              node {b} (q2)
        (q2) edge [loop above] node {b} (q2)
             edge [bend left]  node {b} (q1);

Here is what the above LaTeX looks like:

Compiled LaTeX

Related Questions

Different node sizes conflict in TikZ tree

Updated March 08, 2018 09:23 AM

Breaking line inside tikz node

Updated June 16, 2017 10:23 AM

Line breaks in TikZ nodes

Updated July 18, 2017 09:23 AM