1 Introduction 2 Words, Trees and Patterns

Download PDF
0 downloads 0 Views 220KB Size Report
Comment
in case of graph structures, patterns could be defined as graphs with some "meta- ... elements of the free monoid generated by A. Word patterns over A are defined .... difficult to implement, and the problem of designing an efficient and practical ..... illustrated by the fact that if a word w is matched by a pattern p, that is w =.
                         

                   !" # ! $ %



    

&  ' '  ( " $   ') $     

' ! *" +   * (    )" '   ,

  

                                                        ! "     #                            $  #  %    #                         &   #        ' (              #        $ 

%              "       #                  '           !        

          )  !           

     ! *     (                 $  %!  !                !   #             

           +           !   ! #    ! ,   !   ! ,   ! *                             -    +  #   

                  (  .                   *          /                

0       #     #             #          #  1    £  

         '                                #               #      

 ' (  ,                                                                           1  ' (                -   !£  £     ! ,             ! ,                    £            !£   ,  !     *                                                              ' (                         (                 (         ' (   ,    !  !!  !!          ,           234    5              ! '         !            5                       +             6                   4    !                          #    4     

 5     !!     ! ! !                          (   *                 5         !  !!  !!   !  !!  !  !   7    !               

   -    !    !     ! ,              ,  !                                 8                                 ' (                !!      ! ! !           !  !! 7                9                              5              :                           !     #    /                                  *                               *                    +

                 /        Æ          



+               +            !     #   *     !         !            !        !       !            *             !   !       !   ! +               )     !     !               !;     !;    ! #  ;    !   ;   !  !;   !  !;    ! #  ;    !   ; 5  1           33  32           8   !   !      #    /    /      #  5  HIA4B               >I?AB 5                                       9                 /      Æ  *   

   ?4&                                5     #                > ?=B             >7G?F6??B             JK5*J  >6IAFB  C  (    @                               !  ! '                                        ! 5                            0 ¼  ¼             *       !  ! .  ¼ !  ¼ ! 5                    (       Æ       #   

     >7GA3B! H           7   >7GA3B         $  %        $  #     %  &' (&   '       =3  =2  =3         > ?=7G?FB 6     =2     5       > A3B 



    



)       !                     ! ,   ! 

              

      

       

5  @     5  3          !      !              5          Æ       5  @                  5  5   .        E                                 !      5                       HIA3B 8        !               >5A2L A2::A2B 5    >5A=B              =3      .        E   !       #  +                 

    *"  *!       



   

5                                   (         

  *                                          +  E   (                + #  /         !  $   %       !             

  (           #         *          !  (     ! ! ,                ! 5                   !          ! *             !         ! 9               !              !        +                7   .      -                          5                      '      >8A=B         &    !               #& !      +      /    7J      J   (            > ?4B     33  7  5     32   7      ! . MM   MM!   M    5  7                    Æ   33  32                 :          33  32                   /                       >6A=B *                 33      !       !  32!               7N  >7NA=B      (           (        2!        E Æ      32        3  2!          ""  "!  #   

+                  

5  Æ        33                                 ,  !           1 ' (           3! .           E          *                 

       !       O  (                  !   1       '                 1            !        5               8  >8A@B 5      

           #      (              !       # P          *     (           3      Æ   #     .   3 * >8A@B           ,            2 ' (                             !             5             C     

1       2C  :         1   #       E       5                     #      0      C  /        >I88QACB   !  !                 5              1      ! ,   !    -   1    .     1        5             7J      J            1      ! ,   !    +        >'??B            !   !    J  7J           $           

  

'          >I88QACB   C            @         

       !  @     >A=B               

     %    

           >A=B            !  !             

              *   Æ     !      +    /      )           >A=B       



     !"    

 +            5                >A=B

'        >A=B   ? 5     !                       5       ,               / !                                                          5                              #            5    (                 .             5   5  A        +                    /       

            ¼    #      6          R ,      ,        ,      ¼          3!                  '                      R!          

      ¼  )     ¼            #                 8              #                    R!  #    5         22   >8A=B 5                 (   !    /       *               !    ( :        >8A=B             (     (   ! 0      =3 5    5  A        =3     .   23             *   $ %             3!        #         (  O                :    $( %                   #                            >A=B! 5         =3                           5                     O                           :                  ( Æ  *   /       #     !       5     >6ACB . 344 "8           ! 

½

-.,-.  )   * # ) "  ///

           ,          >G?@B!   !  #        6      .   (  #          # !          *                            ) /    

       ( 5             #  -            #           *          1                        5                                           >)JFAB 7    /        !       ! 3   ! " @ 5            E                  +   >6 A@B                  /               >)JFAG?@B                      :             /                          5            E                    +         33  32  Æ              '                                   7                   !   !        #    (      £ ! £  # # # £  £ ! 2!    &             £            

          (  5   22  =2       7       1           #       (   86J    > IFAB! * >A= B  @  =3                        @                           *                    7  >A= B 5  (  (                       /    :      (                   7       %     !  !                           #   

*       >A= B                    =3  7   5        /   7       >A= B 6   @                    5  7             +   >A= B       979597J97J*75:JJ85 :          7         *          !   !           . 

 

D  !             9        !      !      !   2! 5    >A= B    #             H'!             / -       E    !       (         

                 #            +   >A= B      5                 !   !      E             !  E      8    !  #   =3!                  ! 5    /      7    :            7        O C          !  23 8  C        @      @  7

          8  23       =3      7  5           7                 >A= B        !   ! + /              1        E            

                     !" $ %  *"  #    '           >8 ?2B   H'    E   !       ! -   ,  !  # # #     !      !       H'& $ # # # $   E        ! # # #   !         #     $          $  5                     C  @                             -   1  !  ¼ !  1               ¼ !   !   H'          1   !  >:"FAB    

            $  %    ,  

 

, ¼    ¼

  



  

*                              1            +        (              O    #        #    *                                 1       8                          8                                                                                        //1

, :  , >  &    ,

0:/-1

"?, ; '   $ !& +  ) 

8 +¿ 9 $ ,

        !    "    # $  #  #  % &# &&& ' +  3, :5 @ 5 ///,

$ !& +   $  !

>, :$  #,  ! $ , 6   ! )  "  4A; 54!$'  ,

  # '(   !)))    *       ' +  3B C  (   /  3 " //-, 444 :$'  @! "  ,

0:$..1

>, :$ ,

+      '     ,

;&  

2!  D< 7  =    " !&   6 ) 8# ! 9 /.., 0:/1

5, :!& $  C, " ,  +  !& +,

 

@   !)    $ ' ! Æ! 

B%3 //,

0:/B1 02/1

, : , ' ') $ '   7  ! ,

 

, 2 &( E  ,,  ,

  

     

%-/3-/B //B,

,-  '     

7$  !& '  %  (  @" $ ' +  3B,

4 7 

@! ! ) &  , , 8&> 9 //,  %   !&  ' -.  , 02F/1

0# ..1

, 2 &( E ,,    , C, F', ' ') $  ( 

+, , , ?     .     / ( '  0    #  1! 2 7$ .. * *  3        ' +  3, @' +   + //, 6, #  , ;&     * ( '    ( & !$'  )  + + ,

, :

    4     '             1 ' 5662 7$ / * *  3       ' +  .3/  G # !  # ) "

5, C  +  

/.., @' + , 06-/1 06//1

5, 6  "  2, &  ,

   3    , 6,

6)

' G "

06@.1



 

,



   !       C, # $  :$' + "  ( H? /-/,

 !& ,

$ !

C? +

 '     

( & *

5%

> ) 

:$ $ ,

   *! 5&& ///,  ''  7  ) *$       , #, 6= ! +  5, @ )", ' , ? = $ F =   '  > + " /.,

0>>/1

2, >*)    5, >) ,

:$' +   E     +    ,

  7 !   8-    '  / (   #  9   1: 2 ' +  3/, :      //, :, 5, >I$  5, , D2 ,    $ !& +  ,     /89%.3/ /., , 4, >'!*  , 2, .1 0>