digraph tl07 {
    ordering=out;
    node [shape = box];

    program_PROGRAM [label="PROGRAM"];
    program -> program_PROGRAM;
    program_ident [label="ident: simple"];
    program -> program_ident;
    declarations_1 [label="declarations"]
    program -> declarations_1;
    program_BEGIN [label="BEGIN"];
    program -> program_BEGIN;
    statementSequence_1 [label="statementSequence"];
    program -> statementSequence_1;
    program_END [label="END"];
    program -> program_END;

    declarations_1_VAR [label="VAR"];
    declarations_1 -> declarations_1_VAR;
    declarations_1_ident [label="ident: x"];
    declarations_1 -> declarations_1_ident;
    declarations_1_AS [label="AS"];
    declarations_1 -> declarations_1_AS;
    type_1 [label="type"];
    declarations_1 -> type_1;
    declarations_1_SC [label=";"];
    declarations_1 -> declarations_1_SC;
    declarations_2 [label="declarations"];
    declarations_1 -> declarations_2;

    type_1_INTSTR [label="INT"];
    type_1 -> type_1_INTSTR;

    epsilon_1 [label="(epsilon)", shape=none];
    declarations_2 -> epsilon_1;

    statement_1 [label="statement"]
    statementSequence_1 -> statement_1;
    statementSequence_SC_1 [label=";"];
    statementSequence_1 -> statementSequence_SC_1;
    statementSequence_2 [label="statementSequence"];
    statementSequence_1 -> statementSequence_2;

    assignment_1 [label="assignment"];
    statement_1 -> assignment_1;

    memCell_1 [label="memCell"];
    assignment_1 -> memCell_1;
    assignment_ASGN_1 [label=":="];
    assignment_1 -> assignment_ASGN_1;
    assignment_READINT_1 [label="READINT"];
    assignment_1 -> assignment_READINT_1;

    memCell_ident_1 [label="ident: x"];
    memCell_1 -> memCell_ident_1;

    statement_2 [label="statement"];
    statementSequence_2 -> statement_2;
    statementSequence_SC_2 [label=";"];
    statementSequence_2 -> statementSequence_SC_2;
    statementSequence_3 [label="statementSequence"];
    statementSequence_2 -> statementSequence_3;

    epsilon_2 [label="(epsilon)", shape=none];
    statementSequence_3 -> epsilon_2;

    writeInt_1 [label="writeInt"];
    statement_2 -> writeInt_1;

    writeInt_WRITEINT_1 [label="WRITEINT"];
    writeInt_1 -> writeInt_WRITEINT_1;
    expression_1 [label="expression"]
    writeInt_1 -> expression_1;

    simpleExpression_1 [label="simpleExpression"];
    expression_1 -> simpleExpression_1;

    term_1 [label="term"];
    simpleExpression_1 -> term_1;

    factor_1 [label="factor"];
    term_1 -> factor_1;
    term_OP2_1 [label="*"];
    term_1 -> term_OP2_1;
    factor_2 [label="factor"];
    term_1 -> factor_2;

    literal_1 [label="literal"];
    factor_1 -> literal_1;

    literal_VAL_1 [label="posnum: 2"];
    literal_1 -> literal_VAL_1;

    memCell_2 [label="memCell"];
    factor_2 -> memCell_2;

    memCell_ident_2 [label="ident: x"];
    memCell_2 -> memCell_ident_2;
}