Tabla para M

     |  a  |  b  |   £   |     | a | a |
-----+-----+-----+-------+   --+---+---+
-> 0 |     |     | {1,3} |   0 | 2 | 2 |  2 es final ==> "aa" sí está en L(M)
-----+-----+-----+-------+   --+---+---+
   1 | {2} |     |       |   + | + | + |
-----+-----+-----+-------+   --+---+---+
 * 2 | {2} |     |       |   1 |   |   |
-----+-----+-----+-------+   3 |   |   |
   3 |     | {4} |       |     +---+---+
-----+-----+-----+-------+
 * 4 |     | {4} |       |
-----+-----+-----+-------+

                    a
                   / \
                   \ /        | a | b | b |
        (1) ----> ((2))     --+---+---+---+
     £ /                    0 | 2 | X |   |  se traba ==> "abb" no está en L(M)
     /                      --+---+---+---+
->(0)                       + | + | + |   |
     \                      --+---+---+---+
     £ \                    1 |   |   |   |
        (3) ----> ((4))     3 |   |   |   |
                   / \        +---+---+---+
                   \ /
                    b