digraph State2 {
    rankdir="LR";

    2 [label="State 2\n\nS → a • S b\nS → • a S b\nS → • [b]"];
    3 [label="State 3"];

    2 -> 3 [label="S"];
    2 -> 2 [label="a"];
}