[Automi] NFA e conversione da NFA a DFA

[LaMatematica]

\(\displaystyle L = \{ x010y | x,y \in \{ab\}* \} \)
è coretto l'NFA (1):

Codice:

                                             0,1
+------------+                            +-----+
|            |                            |     |
|            +       0         1        0 v     |
|     +---->:A+------->B+------->C+------>D;    |
|            ^                            +     |
|        0,1 |                            |     |
+------------+                            +-----+



oppure (2):

Codice:

                                             0,1
+------------+                            +-----+
|            |                            |     |
|            +       0         1        0 v     |
|     +---->:A+------->B+------->C+------>D;    |
|            ^                   +        +     |
|        0,1 |                   |        |     |
+------------+                   |        +-----+
             ^                   |
             |       1           |
             +-------------------+



Ed il corrispondente DFA (3) è:

Codice:

             1+----------------------------------+
              |               0                  |
              v              +------+            |
       +------+              |      |            |
       |      +           0  v      |         1  +
       |     :A+------------>AB     +----------->AC+----+
       |      ^              +      |                   |0
       |    1 |              |      |                   |
       +------+              +------+                   v
                                                         +--------+0
                                                         |        |
+-------------+                                     0    v        |
|             v 1                               +------>ABD;      |
|            AD;<----------+                    |       ++        |
|             +            +------+ACD;+--------+       ||        |
|             |                     ^                   ||        |
|             |                     |                   +--+------+
+-------------+                     +-------------------+  ^
              |                      1                     |
              |                                            |0
              |                                            |
              +--------------------------------------------+



?
Grazie