digraph Automaton {
    rankdir="LR";

    0 [label="State 0\n\n• S\nS → • a S b\nS → • [$eof]"];
    1 [label="State 1\n\nS • [$eof]"];
    2 [label="State 2\n\nS → a • S b\nS → • a S b\nS → • [b]"];
    3 [label="State 3\n\nS → a S • b"];
    4 [label="State 4\n\nS → a S b • [$eof b]"];

    0 -> 1 [label="S"];
    0 -> 2 [label="a"];
    2 -> 3 [label="S"];
    2 -> 2 [label="a"];
    3 -> 4 [label="b"];
}