Синхронизируемые автоматы, осень 2010: Алгоритмы и сложность

Embed Size (px)

Text of Синхронизируемые автоматы, осень 2010: Алгоритмы и...

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

    )+*,.-0/21(34,658795,;:=,65@?ACBED"?34FHG"?GI>IKJMLON PRQTSVU W XTYZU [Z\]^`_.QYZaTN bcU WdeI f(fgbhf

    ijU@klX\TU8NRm2QNkQnoRp@qsrhtuvquxw2oRysz {$wp|>z u8}~quxwp8z yssph~l||>z q

    R xvx ( vK >v 8 x v T xv

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

    6E A-"G2

    bhW$blSYZU@]RU f(WU [;]RU W$b\gW$QY\%W(\2l J W X%bf(W(\%WbfsbhW WXbU@]TagWO\NaTXl\RbhW ;CWXbWS\]%fhU WU Q]$gT][hWU Q] U f[\N@N b^ f$d]%[lXSvQ]RU U@]P U W X%blSbbcU f(Wf\ZQRSv^EOXQlfsb\[hWU Q]SvbhfsbhWfMW X\%WU f.N b\nlbhfWXb\gW$QY\%WQ]jU@]Q]%bal\lSxWU [lgN \lSf(W(\%Wb]Q`Y\%WWblS.XRU [lXf(W(\%WbU8]U W+f(W$\lSvWb^e\%W T(M%+T(R%VQRS6\TN@NM J J6blSvb`%%R(%T TJLO]d`U W XZW XRU falSvQaRblSxWdU f\ SvbhfsbhWQRSv^ VQRSJ

    R xvx ( vK >v 8 x v T xv

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

    6E A-"G2

    bhW$blSYZU@]RU f(WU [;]RU W$b\gW$QY\%W(\2l J W X%bf(W(\%WbfsbhW WXbU@]TagWO\NaTXl\RbhW ;CWXbWS\]%fhU WU Q]$gT][hWU Q] U f[\N@N b^ f$d]%[lXSvQ]RU U@]P U W X%blSbbcU f(Wf\ZQRSv^EOXQlfsb\[hWU Q]SvbhfsbhWfMW X\%WU f.N b\nlbhfWXb\gW$QY\%WQ]jU@]Q]%bal\lSxWU [lgN \lSf(W(\%Wb]Q`Y\%WWblS.XRU [lXf(W(\%WbU8]U W+f(W$\lSvWb^e\%W T(M%+T(R%VQRS6\TN@NM J J6blSvb`%%R(%T TJLO]d`U W XZW XRU falSvQaRblSxWdU f\ SvbhfsbhWQRSv^ VQRSJ

    R xvx ( vK >v 8 x v T xv

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

    6E A-"G2

    bhW$blSYZU@]RU f(WU [;]RU W$b\gW$QY\%W(\2l J W X%bf(W(\%WbfsbhW WXbU@]TagWO\NaTXl\RbhW ;CWXbWS\]%fhU WU Q]$gT][hWU Q] U f[\N@N b^ f$d]%[lXSvQ]RU U@]P U W X%blSbbcU f(Wf\ZQRSv^EOXQlfsb\[hWU Q]SvbhfsbhWfMW X\%WU f.N b\nlbhfWXb\gW$QY\%WQ]jU@]Q]%bal\lSxWU [lgN \lSf(W(\%Wb]Q`Y\%WWblS.XRU [lXf(W(\%WbU8]U W+f(W$\lSvWb^e\%W T(M%+T(R%VQRS6\TN@NM J J6blSvb`%%R(%T TJLO]d`U W XZW XRU falSvQaRblSxWdU f\ SvbhfsbhWQRSv^ VQRSJ

    R xvx ( vK >v 8 x v T xv

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

    6E A-"G2

    bhW$blSYZU@]RU f(WU [;]RU W$b\gW$QY\%W(\2l J W X%bf(W(\%WbfsbhW WXbU@]TagWO\NaTXl\RbhW ;CWXbWS\]%fhU WU Q]$gT][hWU Q] U f[\N@N b^ f$d]%[lXSvQ]RU U@]P U W X%blSbbcU f(Wf\ZQRSv^EOXQlfsb\[hWU Q]SvbhfsbhWfMW X\%WU f.N b\nlbhfWXb\gW$QY\%WQ]jU@]Q]%bal\lSxWU [lgN \lSf(W(\%Wb]Q`Y\%WWblS.XRU [lXf(W(\%WbU8]U W+f(W$\lSvWb^e\%W T(M%+T(R%VQRS6\TN@NM J J6blSvb`%%R(%T TJLO]d`U W XZW XRU falSvQaRblSxWdU f\ SvbhfsbhWQRSv^ VQRSJ

    R xvx ( vK >v 8 x v T xv

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

    E G2F2@A

    LSbhfsbhW+QTSv^EU f T T J4I]Z\[hWbU@N@NTfsbbW X\%WW XRU fU fOW X%bfXQRSxW$bhf(WSvbhfsbhW2QTSv^jQTS0W XRU f\Tg%WQY\%WQ]J

    R xvx ( vK >v 8 x v T xv

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

    E G2F2@A

    LSbhfsbhW+QTSv^EU f T T J4I]Z\[hWbU@N@NTfsbbW X\%WW XRU fU fOW X%bfXQRSxW$bhf(WSvbhfsbhW2QTSv^jQTS0W XRU f\Tg%WQY\%WQ]J

    R xvx ( vK >v 8 x v T xv

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

    E 3;eA01BED"?34FHG"?l3,

    6QlWOb nblSKd`hLU fOf$d]%[lXSvQ]RU U@]%PMJ2X%blSb QTSvblW X%bnlblSKd"Svf(Wg%bhf(WU Q]U fOWXbQN@N QU@]%PQ]%b6h TTT l @TT T + T l XRU fMg%bhf(WU Q]U fb\%f$d\]%^\f(W S\TU PX%WVQRSK\lS^fsQN@gWU Q][QYbhfO$SvQYWXb[lN \%f(fhU [aRQblS\gW$QY\%W$Q][Q]%f(WSg[hWU Q]JX%b 9 TTT Q\PU nbl]ehLCl f(W(\%Wbhf\SvbW X%b]%Q] blYZa%WdfgfsbhWfQ TO ` %T. 4LEOU fO\jSvbhfsbhWQRS^VQRSWXb hLC U N \RblN f\ja\%WXU@] f(W(\lSxWU@]%P\%WZ \]%^jbl]%^U8]Pj\%W4\ZfhU8]PN bhWQ]J

    R xvx ( vK >v 8 x v T xv

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

    E 3;eA01BED"?34FHG"?l3,

    6QlWOb nblSKd`hLU fOf$d]%[lXSvQ]RU U@]%PMJ2X%blSb QTSvblW X%bnlblSKd"Svf(Wg%bhf(WU Q]U fOWXbQN@N QU@]%PQ]%b6h TTT l @TT T + T lXRU fMg%bhf(WU Q]U fb\%f$d\]%^\f(W S\TU PX%WVQRSK\lS^fsQN@gWU Q][QYbhfO$SvQYWXb[lN \%f(fhU [aRQblS\gW$QY\%W$Q][Q]%f(WSg[hWU Q]JX%b 9 TTT Q\PU nbl]ehLCl f(W(\%Wbhf\SvbW X%b]%Q] blYZa%WdfgfsbhWfQ TO ` %T. 4LEOU fO\jSvbhfsbhWQRS^VQRSWXb hLC U N \RblN f\ja\%WXU@] f(W(\lSxWU@]%P\%WZ \]%^jbl]%^U8]Pj\%W4\ZfhU8]PN bhWQ]J

    R xvx ( vK >v 8 x v T xv

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

    E 3;eA01BED"?34FHG"?l3,

    6QlWOb nblSKd`hLU fOf$d]%[lXSvQ]RU U@]%PMJ2X%blSb QTSvblW X%bnlblSKd"Svf(Wg%bhf(WU Q]U fOWXbQN@N QU@]%PQ]%b6h TTT l @TT T + T lXRU fMg%bhf(WU Q]U fb\%f$d\]%^\f(W S\TU PX%WVQRSK\lS^fsQN@gWU Q][QYbhfO$SvQYWXb[lN \%f(fhU [aRQblS\gW$QY\%W$Q][Q]%f(WSg[hWU Q]JX%b 9 TTT Q\PU nbl]ehLCl f(W(\%Wbhf\SvbW X%b]%Q] blYZa%WdfgfsbhWfQ TO ` %T. 4LEOU fO\jSvbhfsbhWQRS^VQRSWXb hLC U N \RblN f\ja\%WXU@] f(W(\lSxWU@]%P\%WZ \]%^jbl]%^U8]Pj\%W4\ZfhU8]PN bhWQ]J

    R xvx ( vK >v 8 x v T xv

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

    E 3;eA01BED"?34FHG"?l3,

    6QlWOb nblSKd`hLU fOf$d]%[lXSvQ]RU U@]%PMJ2X%blSb QTSvblW X%bnlblSKd"Svf(Wg%bhf(WU Q]U fOWXbQN@N QU@]%PQ]%b6h TTT l @TT T + T lXRU fMg%bhf(WU Q]U fb\%f$d\]%^\f(W S\TU PX%WVQRSK\lS^fsQN@gWU Q][QYbhfO$SvQYWXb[lN \%f(fhU [aRQblS\gW$QY\%W$Q][Q]%f(WSg[hWU Q]JX%b 9 TTT Q\PU nbl]ehLCl f(W(\%Wbhf\SvbW X%b]%Q] blYZa%WdfgfsbhWfQ TO ` %T. 4LEOU fO\jSvbhfsbhWQRS^VQRSWXb hLC U N \RblN f\ja\%WXU@] f(W(\lSxWU@]%P\%WZ \]%^jbl]%^U8]Pj\%W4\ZfhU8]PN bhWQ]J

    R xvx ( vK >v 8 x v T xv

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

    E G2F2@A

    R xvx ( vK >v 8 x v T xv

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

    E G2F2@A

    R xvx ( vK >v 8 x v T xv

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

    E 34*,.34F 5G0B :231h5@?/2F

    XTgfW X%bZMg%bhf(WU Q]Q6X%bhW X%blSQRS+]%QlW\PU nbl]ehLH U ff$d]%[lXTSQ]RU U8]P`Svb^g%[bhfWQW X%bVQNN QU@]PSvb\[lX\RU8NU WdMgbhf(WU Q] U@]WXbg]%^TblSN dTU8]P^MU PS\aXQ6WXbaRQblS2\Tg%WQY\%WQ] 4U fOW X%blSvb\al\%WX$SvQY W$Q\fhU@]%PN bhW$Q] XbN \%WWblS0g%bhf(WU Q][\T]Rbb\%fhU@N d\]f$blSvb^ d"!2$#.J XTU f+\N PRQRSVU WXYU fXQb nblS9bcaRQ]%bl]%WU\TNJSJ W J6W X%bfhU bQ0JX%bVQNN QU8]PSbhfgTN W d&%_.blS]('dPU nlbhf\jaRQN d]%QYU\N\N PRQTSVU W XTY)*+-,.+0/2143215+-687:9=?9Cl T l5@BA %hCM H TZED E T T(M%T( %2F

    R xvx ( vK >v 8 x v T xv

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

    E 34*,.34F 5G0B :231h5@?/2F

    XTgfW X%bZMg%bhf(WU Q]Q6X%bhW X%blSQRS+]%QlW\PU nbl]ehLH U ff$d]%[lXTSQ]RU U8]P`Svb^g%[bhfWQW X%bVQNN QU@]PSvb\[lX\RU8NU WdMgbhf(WU Q] U@]WXbg]%^TblSN dTU8]P^MU PS\aXQ6WXbaRQblS2\Tg%WQY\%WQ] 4U fOW X%blSvb\al\%WX$SvQY W$Q\fhU@]%PN bhW$Q] XbN \%WWblS0g%bhf(WU Q][\T]Rbb\%fhU@N d\]f$blSvb^ d"!2$#.JRXTU f+\N PRQRSVU WXYU fXQb nblS9bcaRQ]%bl]%WU\TNJSJ W J6W X%bfhU bQ0JX%bVQNN QU8]PSbhfgTN W d&%_.blS]('dPU nlbhf\jaRQN d]%QYU\N\N PRQTSVU W XTY)*+-,.+0/2143215+-687:9=?9Cl T l5@BA %hCM H TZED E T T(M%T( %2F

    R xvx ( vK >v 8 x v T xv

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

    E 34*,.34F 5G0B :231h5@?/2F

    XTgfW X%bZMg%bhf(WU Q]Q6X%bhW X%blSQRS+]%QlW\PU nbl]ehLH U ff$d]%[lXTSQ]RU U8]P`Svb^g%[bhfWQW X%bVQNN QU@]PSvb\[lX\RU8NU WdMgbhf(WU Q] U@]WXbg]%^TblSN dTU8]P^MU PS\aXQ6WXbaRQblS2\Tg%WQY\%WQ] 4U fOW X%blSvb\al\%WX$SvQY W$Q\fhU@]%PN bhW$Q] XbN \%WWblS0g%bhf(WU Q][\T]Rbb\%fhU@N d\]f$blSvb^ d"!2$#.JRXTU f+\N PRQRSVU WXYU fXQb nblS9bcaRQ]%bl]%WU\TNJSJ W J6W X%bfhU bQ0JX%bVQNN QU8]PSbhfgTN W d&%_.blS]('dPU nlbhf\jaRQN d]%QYU\N\N PRQTSVU W XTY)*+-,.+0/2143215+-687:9=?9Cl T l5@BA %hCM H TZED E T T(M%T( %2F

    R xvx ( vK >v 8 x v T xv

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

    E 34*,.34F 5G0B :231h5@?/2F

    XTgfW X%bZMg%bhf(WU Q]Q6X%bhW X%blSQRS+]%QlW\PU nbl]ehLH U ff$d]%[lXTSQ]RU U8]P`Svb^g%[bhfWQW X%bVQNN QU@]PSvb\[lX\RU8NU WdMgbhf(WU Q] U@]WXbg]%^TblSN dTU8]P^MU PS\aXQ6WXbaRQblS2\Tg%WQY\%WQ] 4U fOW X%blSvb\al\%WX$SvQY W$Q\fhU@]%PN bhW$Q] XbN \%WWblS0g%bhf(WU Q][\T]Rbb\%fhU@N d\]f$blSvb^ d"!2$#.JRXTU f+\N PRQRSVU WXYU fXQb nblS9bcaRQ]%bl]%WU\TNJSJ W J6W X%bfhU bQ0JX%bVQNN QU8]PSbhfgTN W d&%_.blS]('dPU nlbhf\jaRQN d]%QYU\N\N PRQTSVU W XTY)*+-,.+0/2143215+-687:9=?9Cl T l5@BA %hCM H TZED E T T(M%T( %2F

    R xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    GE G2F2@A

    Tl IH >J T Tl >J T T T TK fsblSKnlbWXl\%W+W X%bSvbhfsbhWQRS^[Q]%f(WSg%[hW$b^W XRU f4\hdjU fQN bl]PW X

    XRU@N bb kl]%Q\jSvbhfsbhW+QRSv^eQON bl]%PWXMLJR xvx ( vK >v 8 x v T xv

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

    N E APOMD2?QOXTgf.Sb[QlP]RU U8]Pjf$d]%[lXSvQ]RU \RU

Recommended

View more >