Diagram(
  Terminal('\\'),
  Choice(0,
    Choice(0, Terminal('n'), Terminal('t'), Terminal('r'), Terminal('a'), Terminal('b'),
              Terminal('f'), Terminal('v')),
    Choice(0, Terminal('\\'), Terminal("'"), Terminal('"'), Terminal('{')),
    Sequence(NonTerminal('octal digit'), Optional(NonTerminal('octal digit')),
             Optional(NonTerminal('octal digit'))),
    Sequence(Terminal('x'), NonTerminal('hex digit'), Optional(NonTerminal('hex digit'))))
)