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