Page 61 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS
P. 61

61



                  Ejemplo 2:


                                                     DIGITO



                                            DIGITO   2                    E
                         1

                                               


                                         3                                    5
                                                                                             +
                                  DIGITO
                                                                                  E

                  DIGITO
                                                             DIGITO      -
                                                                                       6
                           4

                                                                  DIGITO
                                                            7              DIGITO



                  Matriz de transición de estado:
                  La matriz de transición de estados se obtiene del diagrama de transición del autómata AFD. Una
                  matriz de transición es una tabla bidimensional en donde las filas representan cada estado del
                  diagrama de transición (AFD) y las columnas representan cada símbolo que puede obtenerse de
                  la cinta de entrada.

                  Ejemplo: a partir del ejemplo 1 anterior de diagrama de transición o (AFD), se tendría:

                            CADENA            LETRA                          DIGITO                          FIN DE
                   1                      3                     2                     ERROR
                   2                      ERROR                 ERROR                 ERROR
                   3                      3                     3                     ACEPTAR

                  A partir del diagrama de transición (AFD) del ejemplo 2, se tendría:

                    CADENA      DIGITO             .                     E                 +                      -            FIN DE
                   1            2            ERROR        ERROR       ERROR        ERROR        ERROR
                   2            2            3            5           ERROR        ERROR        ERROR
                   3            4            ERROR        ERROR       ERROR        ERROR        ERROR
                   4            4            ERROR        5           ERROR        ERROR        ACEPTAR
                   5            7            ERROR        ERROR       6            6            ERROR
   56   57   58   59   60   61   62   63   64   65   66