//Deterministic machine, which accept all correct identifiers
digraph dsm {
    S0 [label="0"][shape=circle];
    S1 [label="1"][shape=doublecircle];
    S2 [label="2"][shape=doublecircle];
    S3 [label="3"][shape=doublecircle];
    S4 [label="4"][shape=doublecircle];
    S5 [label="5"][shape=doublecircle];
    S6 [label="6"][shape=doublecircle];
    S7 [label="7"][shape=circle];
    S8 [label="8"][shape=doublecircle];
    S9 [label="9"][shape=doublecircle];
    S10 [label="10"][shape=circle];
    S11 [label="11"][shape=circle];
    S12 [label="12"][shape=doublecircle];
    S13 [label="13"][shape=doublecircle];
    S14 [label="14"][shape=doublecircle];
    S15 [label="15"][shape=doublecircle];
    S16 [label="16"][shape=doublecircle];
    S17 [label="17"][shape=circle];
    S18 [label="18"][shape=doublecircle];
    S19 [label="19"][shape=doublecircle];
    S20 [label="20"][shape=circle];
    S21 [label="21"][shape=doublecircle];
    S22 [label="22"][shape=circle];
    S23 [label="23"][shape=circle];
    S24 [label="24"][shape=circle];
    SPACE [color=white][label=""];
    S0 -> S4 [label = "i"];
    S0 -> S3 [label = "f"];
    S0 -> S2 [label = "e"];
    S0 -> S1 [label = "?"];
    S0 -> S5 [label = "l"];
    S0 -> S6 [label = "t"];
    S0 -> S7 [label = "[0-9]"];
    S1 -> S1 [label = "?"];
    S2 -> S1 [label = "?"];
    S2 -> S8 [label = "l"];
    S3 -> S1 [label = "?"];
    S3 -> S9 [label = "a"];
    S4 -> S11 [label = "n"];
    S4 -> S10 [label = "f"];
    S4 -> S1 [label = "?"];
    S5 -> S12 [label = "e"];
    S5 -> S1 [label = "?"];
    S6 -> S13 [label = "h"];
    S6 -> S14 [label = "r"];
    S6 -> S1 [label = "?"];
    S7 -> S7 [label = "?"];
    S8 -> S15 [label = "s"];
    S8 -> S1 [label = "?"];
    S9 -> S16 [label = "l"];
    S9 -> S1 [label = "?"];
    S10 -> S1 [label = "?"];
    S11 -> S1 [label = "?"];
    S12 -> S17 [label = "t"];
    S12 -> S1 [label = "?"];
    S13 -> S1 [label = "?"];
    S13 -> S18 [label = "e"];
    S14 -> S19 [label = "u"];
    S14 -> S1 [label = "?"];
    S15 -> S20 [label = "e"];
    S15 -> S1 [label = "?"];
    S16 -> S21 [label = "s"];
    S16 -> S1 [label = "?"];
    S17 -> S1 [label = "?"];
    S18 -> S22 [label = "n"];
    S18 -> S1 [label = "?"];
    S19 -> S23 [label = "e"];
    S19 -> S1 [label = "?"];
    S20 -> S1 [label = "?"];
    S21 -> S24 [label = "e"];
    S21 -> S1 [label = "?"];
    S22 -> S1 [label = "?"];
    S23 -> S1 [label = "?"];
    S24 -> S1 [label = "?"];
    SPACE -> S0;
}