{"id":1835,"date":"2009-02-25T12:21:04","date_gmt":"2009-02-25T09:21:04","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=1835"},"modified":"2009-02-25T12:21:04","modified_gmt":"2009-02-25T09:21:04","slug":"%d0%bc%d0%b0%d0%b3%d0%b0%d0%b7%d0%b8%d0%bd%d0%bd%d1%8b%d0%b9-%d0%b0%d0%b2%d1%82%d0%be%d0%bc%d0%b0%d1%82-%d0%b4%d0%b5%d1%82%d0%b5%d1%80%d0%bc%d0%b8%d0%bd%d0%b8%d1%80%d0%be%d0%b2%d0%b0%d0%bd%d0%bd","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=1835","title":{"rendered":"\u041c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442. \u0414\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0438 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442."},"content":{"rendered":"

\u0412\u043e\u043f\u0440\u043e\u0441 27. \u041c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442. \u0414\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0438 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u043e\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0435 \u0438 \u041a\u0421-\u044f\u0437\u044b\u043a\u0430\u0445.
\n\u0421\u041f- \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c \u0442\u0438\u043f\u0430 1
\n\u041c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u2013(\u041c ) \u2013 \u0441\u043e\u0432\u043e\u043a\u0443\u043f\u043d\u043e\u0441\u0442\u044c \u043f\u044f\u0442\u0438 (\u0448\u0435\u0441\u0442\u0438 ) \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u041c=<A,Q,S,P,I,(B)>
\nA- \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u0430\u043b\u0444\u0430\u0432\u0438\u0442
\nQ- \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439
\nP- \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043a\u043e\u043c\u043c\u0430\u043d\u0434 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430
\nS — \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0441\u0442\u0435\u043a\u043e\u0432\u044b\u0439 \u0430\u043b\u0444\u0430\u0432\u0438\u0442
\nB- \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u0439 \u0430\u043b\u0444\u0430\u0432\u0438\u0442
\n\u0420 : Q*S*A-> Q*S*
\nP={qi sj a n -> qi\u2019 s\u2019 }
\nI=qi a \u2013 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0438 \u0441\u0442\u0440\u043e\u043a\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0441\u0442\u0435\u043a\u0430 \u0432 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u044b\u0439 \u043c\u043e\u043c\u0435\u043d\u0442 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 .
\n\u041c\u043d\u043e\u0436\u0441\u0442\u0432\u043e \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c\u044b\u0445 \u0441\u0442\u0440\u043e\u043a (\u041c) \u2013 \u0435\u0441\u043b\u0438 \u0437\u0430\u0434\u0430\u043d \u041c =<A,Q,S,P,I> \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c \u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435 \u0425 \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0441\u0442\u0440\u043e\u043a \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u0430 \u043f\u0440\u0438\u043f\u043e\u0434\u0430\u0447\u0435 \u043d\u0430 \u0432\u0445\u043e\u0434 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u0432 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 (\u043a\u043e\u043d\u0444\u0438\u0433\u0443\u0440\u0430\u0446\u0438\u0438) \u043f\u0440\u0435\u0439\u0434\u0435\u0442 \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0437\u0430\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 \u0425 ?\u0410* I= q, ? , K =q0? ?,??S* ? ? ?X I= q,? => K=q0?
\n\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u043d\u043e\u0435 (\u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u043e\u0435 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u0435 ) \u041c(\u0425) =Y , Y?B*
\n\u0422\u0435\u043e\u0440\u0435\u043c\u0430 (\u043e \u041a\u0421- \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430\u0445 \u0438 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430\u0445 )
\n\u0414\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u043c\u043e\u0433\u043e \u041a\u0421 \u2013 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u043e\u0439 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 (\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 ) \u0442\u0430\u043a\u043e\u0439 , \u0447\u0442\u043e \u0435\u0433\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c\u044b\u0445 \u0441\u0442\u0440\u043e\u043a \u0441\u043e\u0432\u043f\u0434\u0430\u0435\u0442 \u0441 \u044d\u0442\u0438\u043c \u044f\u0437\u044b\u043a\u043e\u043c . \u0412\u0435\u0440\u043d\u043e \u0438 \u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0435 . \u0415\u0441\u043b\u0438 L(M) \u044f\u0437\u044b\u043a \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c\u044b\u0439 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c \u0442\u043e \u044d\u0442\u043e\u0442 \u044f\u0437\u044b\u043a \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d \u041a\u0421- \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u043e\u0439
\n\u0414\u043e\u043a\u043e\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e :
\n\u0410) ? G2 ? M=<A,Q,S,P,I> ? L(G2)=L(M)
\n\u043f\u0443\u0441\u0442\u044c L(G2) ? A* (V=A) G=<V,W,PG,IG >
\n\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u041c =<V,{ q0,q1 } , S=VU WUU{*} ,P, I=q1Ig*>
\nP= { q1Ae-> q1? \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439 (\u0410-> ?)?PG
\nq1aa -> q1 e \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0430 ?V
\nq1*e -> q0e
\n\u041c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u041c :
\n\u0430) \u0443\u0434\u0430\u043b\u044f\u0435\u043c \u0438\u0437 \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u0438 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u0441\u0442\u0435\u043a\u0430 \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u044e\u0449\u0438\u0435 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0435 \u0437\u043d\u0430\u043a\u0438
\n\u0431) \u0441\u0430\u043c\u044b\u0439 \u043b\u0435\u0432\u044b\u0439 \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0437\u043d\u0430\u043a (\u043d\u0430\u0445-\u0441\u044f \u043d\u0430 \u0432\u0435\u0440\u0448\u0438\u043d\u0435 \u0441\u0442\u0435\u043a\u0430 ) \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u043d\u0430 \u0441\u0442\u0440\u043e\u043a\u0443 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0432\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c (1)
\n\u0432) \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0432 \u0441\u0442\u0435\u043a\u0435 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u0442\u0441\u044f \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u044f\u0437\u044b\u043a\u0430 L(G2) \u0438 \u043f\u0440\u0438 \u0435\u0435 \u043d\u0430\u043b\u0438\u0447\u0438\u0438 \u0432\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u043e\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0435\u0442\u0441\u044f (3) \u0412 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0441\u0442\u0435\u043a \u0438\u0441\u0447\u0435\u0440\u043f\u0430\u043d , \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0437\u0430\u043a\u0434\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 q0 \u0438 \u0438\u0437 \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u0443\u0434\u0430\u043b\u0435\u043d\u0430 \u043f\u043e\u0440\u043e\u0436\u0434\u0435\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 .
\n\u0433) \u0442\u043a \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430 \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u043d\u0435 \u043e\u0434\u043d\u0443 \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u044e \u0440\u0430\u0441\u043a\u0440\u044b\u0432\u0430\u044e\u0449\u0443\u044e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0437\u043d\u0430\u043a \u0410 \u0442\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u0432 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d \u0420 \u2013\u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439
\n\u0434) \u0442\u043e \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u0430\u043c\u0430\u0442 \u041c \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0432\u0441\u0435 \u0441\u0442\u0440\u043e\u043a\u0438 L(G2) \u0438 \u043d\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043d\u0438 \u043e\u0434\u043d\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u044f\u0437\u044b\u043a\u0443 \u043d\u0435 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0449\u0435\u0439
\n\u0411) (\u043e\u0431\u0440\u0430\u0442\u043d\u0430\u044f \u0442\u0435\u043e\u0440\u0435\u043c\u0430 )
\n1 \u041f\u0443\u0441\u0442\u044c \u0437\u0430\u0434\u0430\u043d \u041c=<A,Q,S,P,I> \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u043c \u041a\u0421- \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0443 G2 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u044e\u0449\u0438\u0439 \u044f\u0437\u044b\u043a \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c \u041c
\n2 \u043f\u043e\u0441\u0442\u0430\u0432\u0438\u043c \u0432 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0435 \u043a\u0430\u0436\u0434\u043e\u043c\u0443 \u0437\u043d\u0430\u043a\u0443 \u0441\u0442\u0435\u043a\u043e\u0432\u043e\u0433\u043e \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u0430 S , \u0442\u0430\u043a\u043e\u0439 \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0437\u043d\u0430\u043a \u0410i j ?W
\n\u0447\u0442\u043e \u0438\u0437 \u043d\u0438\u0445 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u044b \u0441\u0442\u0440\u043e\u043a\u0438 \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0432\u0432\u043e\u0434\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f qi \u0432 qj
\n3\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439 PG \u0437\u0430\u0434\u0430\u0434\u0438\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c
\n\u0430) \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u0443\u0435\u043c \u0437\u0430\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u0438\u0437 q0 \u0432 qn
\n\u0431) \u0437\u0430\u0434\u0430\u0434\u0438\u043c W={ Aij ! Aij ? S , i <= j , j<=n }
\n\u0432) \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0432 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e PG \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0438
\n— \u0435\u0441\u043b\u0438 \u0438\u043c\u0435\u0435\u0442\u0441\u044f \u0432 \u0420 \u043a\u043e\u043c\u0430\u043d\u0434\u0430 qi A a -> q j A(1)A(2)\u2026\u2026A(k) A(s)?S 1<=S<=k \u0442\u043e \u0432 PG \u0434\u043e\u0431\u0430\u0432\u0438\u043c
\nAij -> a A(1)i n1 A(2) n1n2 \u2026.. A(k) nk-1 j ?ns 1<=n <=n2 \u2026.<=nk-1 <n
\n\u0412 PG \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0438 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0449\u0438\u0435 \u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c \u043f\u0440\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f
\nqi \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 qj \u0441\u043b\u0435\u0434 \u043e\u0431\u0440 \u044d\u0442\u0430 \u0441\u0442\u0440\u043e\u043a\u0430 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0430 \u043f\u0443\u0442\u0435\u043c \u043a\u043e\u043d\u043a\u0430\u0442\u0435\u043d\u0430\u0446\u0438\u0438 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u043f\u0440\u0438\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f i \u0412 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 n , \u043a\u043e\u0433\u0434\u0430 \u0438\u0437 \u0441\u0442\u0435\u043a\u0430 \u0438\u0437\u0432\u043b\u0435\u043a\u0430\u0435\u0442\u0441\u044f \u0410 (1) \u043f\u0440\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0438\u0437 n1 \u0432 n2 \u043a\u043e\u0433\u0434\u0430 \u0438\u0437 \u0441\u0442\u0435\u043a\u0430 \u0438\u0437\u0432\u043b\u0435\u043a\u0430\u0435\u0442\u0441\u044f \u0437\u043d\u0430\u043a \u0410 (2) \u0438 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435 \u0438 \u043f\u0440\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f nk-1 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 j \u043a\u043e\u0433\u0434\u0430 \u0438\u0437 \u0441\u0442\u0435\u043a\u0430 \u0438\u0437\u0432\u043b\u0435\u043a\u0430\u0435\u0442\u0441\u044f \u0437\u043d\u0430\u043a \u0410(\u043a) \u043f\u0440\u0438 \u0432\u0441\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u0445 n1, n2,\u2026\u2026nk-1
\nq1 A a -> q2 A(1)
\n\u0438 \u0435\u0441\u043b\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u043c\u0435\u0435\u0442 \u043a\u043e\u043c\u0430\u043d\u0434\u0443 qi A a _> q j e \u0442\u043e \u0432 PG \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u044f \u0410ij -> a
\n\u0433) \u0430\u043a\u0441\u0438\u043e\u043c\u043e\u0439 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438 \u043e\u0431\u044c\u044f\u0432\u0438\u043c IG=A1n \u0438\u043b\u0438 \u0435\u0441\u043b\u0438 \u0438\u0445 \u043d\u0441\u043a\u043e\u043b\u044c\u043a\u043e IG->A(s)1n
\nA(s)1n \u2013 \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u0440\u043f\u0438 \u0438\u0437\u0432\u043b\u0435\u0447\u0435\u043d\u0438\u0438 \u0438\u0437 \u0441\u0442\u0435\u043a\u0430 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0437\u043d\u0430\u043a\u0430 \u0441\u0442\u0435\u043a\u043e\u0432\u043e\u0433\u043e \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u0430 \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0447\u0435\u0433\u043e \u043e\u043d \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u0438\u0437 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (1) \u0432 \u0437\u0430\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (n)
\n4 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u043e , \u0447\u0442\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u0430\u044f \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u041a\u0421 \u0438 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u0442 \u0442\u043e\u0442 \u0436\u0435 \u044f\u0437\u044b\u043a , \u0447\u0442\u043e \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442\u0441\u044f \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c (\u0432\u0438\u0434\u043d\u043e \u0438\u0437 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f )<\/p>\n

\u0412\u043e\u043f\u0440\u043e\u0441 28. \u0414\u0435\u0440\u0435\u0432\u043e \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0437\u0431\u043e\u0440\u0430. \u0421\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e. \u0421\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u044f.
\n\u0421\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 — \u044d\u0442\u043e \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0440\u0430\u0441\u043f\u043e\u0437\u043d\u0430\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0440\u043e\u043a\u0438 \u043d\u0430 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u043d\u043e\u0441\u0442\u044c \u044f\u0437\u044b\u043a\u0443 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u043c\u0443 \u0433\u0440\u0430\u043c\u0430\u0442\u0438\u043a\u043e\u0439. \u0421\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0434\u0440\u0435\u0432\u0430 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0437\u0431\u043e\u0440\u0430 \u0438 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0434\u0435\u0440\u0435\u0432\u0430.
\n\u0414\u0435\u0440\u0435\u0432\u043e \u0442\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0437\u0431\u043e\u0440\u0430: (\u043f\u0440\u0438 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0430\u043d\u0430\u043b\u0438\u0437\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442\u0441\u044f \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043d\u0430 \u0441\u0442\u0440\u043e\u043a\u0438 \u044f\u0437\u044b\u043a\u0430) \u041b\u0435\u043a\u0441\u0435\u043c\u043e\u0439 \u043d\u0430\u0437. \u0442\u0435\u0440\u043c\u0435\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0437\u043d\u0430\u043a \u044f\u0437\u044b\u043a\u0430 (++,>,=,\u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440,\u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0430)
\n\u0414\u0435\u0440\u0435\u0432\u043e \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0437\u0431\u043e\u0440\u0430(\u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e) — \u044d\u0442\u043e: 1. \u0444\u043e\u0440\u043c\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0432\u044b\u0432\u043e\u0434\u0430 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u0432 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0435. 2. \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439, \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0446\u0447\u0435\u043d\u0430 \u0437\u0430\u0434\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430. 3. \u0437\u0430\u0434\u0430\u0435\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u0441\u0442\u0440\u043e\u043a\u0438 \u0432 \u0432\u0438\u0434\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0435\u0439 \u043f\u043e\u043d\u044f\u0442\u0438\u0439, \u0435\u0435 \u0441\u043e\u0441\u0442\u043e\u0432\u043b\u044f\u044e\u0449\u0438\u0445.
\n\u0421\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e — \u044d\u0442\u043e: 1. \u0444\u043e\u0440\u043c\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u0442\u0440\u043e\u043a\u0438 \u044f\u0437\u044b\u043a\u0430, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c\u0430\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439, \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u044b\u0445 \u0434\u043b\u044f \u0435\u0435 \u0432\u044b\u0432\u043e\u0434\u0430. 2. \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u043f\u043e\u0440\u044f\u0434\u043e\u043a \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0446\u0438\u0438 \u0442\u0435\u0440\u043c\u0435\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0437\u043d\u0430\u043a\u043e\u0432.
\n\u0412\u043e\u043f\u0440\u043e\u0441 29. \u041c\u0435\u0442\u043e\u0434\u044b \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430. \u0413\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0440\u0430\u0437\u0431\u043e\u0440 \u0441\u0432\u0435\u0440\u0445\u0443-\u0432\u043d\u0438\u0437 \u0438 \u0441\u043d\u0438\u0437\u0443-\u0432\u0432\u0435\u0440\u0445.
\n\u0412 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u0435 \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0430\u043a\u0441\u0438\u043e\u043c\u0430 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438, \u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043a\u043e\u043c\u043c\u0430\u043d\u0434 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0438 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438. \u0422\u0435\u0440\u043c\u0435\u043d\u0430\u043b\u044c\u043d\u044b\u0435 \u0437\u043d\u0430\u043a\u0438 \u0432 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u0435 \u0438 \u0432\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u0443\u0434\u0430\u043b\u044f\u044e\u0442\u0441\u044f.
\n\u0412\u043e\u043f\u0440\u043e\u0441 30. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e LL(k) — \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430\u0445
\n\u041f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u0430\u044f \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u043d\u0430\u044f \u041a\u0441 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430 \u044f\u0432\u043b. LL(k) \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u043e\u0439, \u0435\u0441\u043b\u0438 \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0439 \u043f\u0430\u0440\u044b \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439 \u0432\u0438\u0434\u0430 \u0410->\u0430\u043b\u044c\u0444\u0430*\u0431\u0435\u0442\u0442\u0430 \u0410->\u0430\u043b\u044c\u0444\u0430*\u0433\u0430\u043c\u043c\u0430 \u0438\u043c\u0435\u044e\u0449\u0438\u0435 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0435 \u0447\u0430\u0441\u0442\u0438, \u0441\u043f\u0440\u0430\u0432\u0435\u0434\u043b\u0438\u0432\u043e \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435: Hk(A->\u0431\u0435\u0442\u0442\u0430)\u043f\u0435\u0440\u0435\u0441\u0435\u0447\u0435\u043d\u0438\u0435 headk(A->\u0433\u0430\u043c\u043c\u0430)=0\u0441\u043e \u0437\u0432\u0435\u0437\u0434\u043e\u0447\u043a\u043e\u0439,\u0433\u0434\u0435 \u0430\u043b\u044c\u0444\u0430, \u0431\u0435\u0442\u0442\u0430,\u0433\u0430\u043c\u043c\u0430 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0442 \u043f\u0435\u0440\u0435\u0441\u0435\u0447\u0435\u043d\u0438\u044e V \u0438 W,\u0410 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0438\u0442 W. (*)
\n\u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435: \u0434\u043b\u044f \u043e\u0434\u043d\u043e\u0437\u043d\u0430\u0447\u043d\u043e\u0441\u0442\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u043d\u0446\u0430 \u0441\u0442\u0440\u043e\u043a\u0438,\u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u043d\u0430\u044f
\n\u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430 \u043f\u043e\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f.
\n\u0414\u043e\u043a-\u0432\u043e: \u041e\u0447\u0435\u0432\u0438\u0434\u043d\u043e, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f head \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u043c\u043d-\u0432\u043e \u0441\u0442\u0440\u043e\u043a, \u0434\u043b\u0438\u043d\u043d\u043e\u0439 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 k, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430, \u043a\u043e\u0433\u0434\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c\u0430 \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u044f, \u044f\u0432\u043b. \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u043c \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 head (\u044d\u0442\u043e \u0432\u0438\u0434\u043d\u043e \u0438\u0437 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f head \u043c\u043d-\u0432\u0430). \u0421\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u0435\u0441\u043b\u0438 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0435 \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0438 \u0441 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e\u0439 \u043b\u0435\u0432\u043e\u0439 \u0447\u0430\u0441\u0442\u044c\u044e \u0438\u043c\u0435\u044e\u0442 \u043f\u0435\u0440\u0435\u0441\u0435\u043a\u0430\u044e\u0449\u0438\u0435\u0441\u044f head \u043c\u043d-\u0432\u0430, \u0442\u043e \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c\u0430\u044f \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430 \u043d\u0435\u043e\u0434\u043d\u043e\u0437\u043d\u0430\u0447\u043d\u0430 \u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u043e\u0434\u0441\u0442\u0440\u043e\u043a\u0430 \u0432\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043d\u0435\u043b\u044c\u0437\u044f \u0440\u0435\u0448\u0438\u0442\u044c, \u043a\u0430\u043a\u0443\u044e \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u044e \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0442\u044c. \u0412 \u0441\u0432\u044f\u0437\u0438 \u0441 \u0442\u0435\u043c, \u0447\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u043e\u0442\u043b\u043e\u0436\u0438\u0442\u044c \u043f\u0440\u0438\u043d\u044f\u0442\u0438\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043e \u0432\u044b\u0431\u043e\u0440\u0435 \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439, \u0438\u043c\u0435\u044e\u0449\u0438\u0445 \u043e\u0431\u0449\u0438\u0439 \u043f\u0440\u0435\u0444\u0438\u043a\u0441 \u0432 \u043f\u0440\u0430\u0432\u043e\u0439 \u0447\u0430\u0441\u0442\u0438(\u0430\u043b\u044c\u0444\u0430), \u0434\u043e \u0440\u0430\u0441\u043f\u043e\u0437\u043d\u043e\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0440\u043e\u043a\u0438, \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u043c\u043e\u0439 \u044d\u0442\u0438\u043c \u043f\u0440\u0435\u0444\u0438\u043a\u0441\u043e\u043c (\u0410->\u0430\u043b\u044c\u0444\u0430), \u0442\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 * \u0441\u043f\u0440\u0430\u0432\u0435\u0434\u043b\u0438\u0432\u043e, \u0435\u0441\u043b\u0438 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430 \u044f\u0432\u043b. LL(k) \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u043e\u0439.<\/p>\n

\u0412\u043e\u043f\u0440\u043e\u0441 31. \u0413\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0440\u0430\u0437\u0431\u043e\u0440 «\u0441\u043d\u0438\u0437\u0443-\u0432\u0432\u0435\u0440\u0445» .LR(k)-\u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438.
\n\u0412\u043e\u043e\u0431\u0449\u0435, \u0434\u0435\u0440\u0435\u0432\u043e \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0437\u0431\u043e\u0440\u0430 (\u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e ) -\u044d\u0442\u043e:
\n1)\u0444\u043e\u0440\u043c\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0432\u044b\u0432\u043e\u0434\u0430 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u0432 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0435
\n2)\u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439 , \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0430 \u0437\u0430\u0434\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430
\n3)\u0417\u0430\u0434\u0430\u0435\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u0441\u0442\u0440\u043e\u043a\u0438 \u0432 \u0432\u0438\u0434\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0435\u0439 \u043f\u043e\u043d\u044f\u0442\u0438\u0439 , \u0435\u0435 \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0449\u0438\u0445.
\n\u0413\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0440\u0430\u0437\u0431\u043e\u0440 «\u0441\u043d\u0438\u0437\u0443-\u0432\u0432\u0435\u0440\u0445» \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c: \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u043c\u0430\u0433\u0430\u0437\u0438\u043d \u043f\u0443\u0441\u0442 . \u0438\u0437 \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u0447\u0438\u0442\u0430\u044e\u0442\u0441\u044f \u0437\u043d\u0430\u043a\u0438 , \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432 \u0441\u0442\u0435\u043a. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043a\u043e\u043c\u0430\u043d\u0434 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u0440\u0435\u0434\u0443\u043a\u0446\u0438\u043e\u043e\u043d\u0443\u044e \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0443 \u0430\u043b\u044c\u0444\u0430->A ,\u0433\u0434\u0435 \u0430\u043b\u044c\u0444\u0430-\u0441\u0442\u0440\u043e\u043a\u0430 \u0438\u0437 \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u0432 \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0438 \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u043e\u0432 , \u0410-\u0437\u043d\u0430\u043a \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0430\u043b\u0444\u0430\u0432\u0438\u0442\u0430. \u0410\u043d\u0430\u043b\u0438\u0437 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f \u0443\u0441\u043f\u0435\u0448\u043d\u043e, \u0435\u0441\u043b\u0438 \u0432 \u0441\u0442\u0435\u043a\u0435 \u043e\u0441\u0442\u0430\u0435\u0442\u0441\u044f \u043b\u0438\u0448\u044c \u0430\u043a\u0441\u0438\u043e\u043c\u0430 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438.
\n\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: I->c# C->bA | aB A->a | aC B->b | bC
\nA S D
\n________________________________
\n#abba e \u043d\u0430\u0447. \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435
\n#abb a \u0441\u0434\u0432\u0438\u0433
\n#ab ba \u0441\u0434\u0432\u0438\u0433
\n#a bba \u0441\u0434\u0432\u0438\u0433
\n# abba \u0441\u0434\u0432\u0438\u0433
\n# Abba \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u0435
\n# Cba \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u0435
\n# Ba \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u0435
\n# C \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u0435
\ne #C \u0441\u0434\u0432\u0438\u0433
\ne I \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u0435<\/p>\n

\u0414\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u042d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u0438 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0438\u0442\u044c \u043a\u043b\u0430\u0441\u0441 \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a , \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u0434\u043b\u0435\u0436\u0430\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 , \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430\u043c\u0438 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u044e\u0449\u0438\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c. \u041a\u043b\u0430\u0441\u0441 \u044f\u0437\u044b\u043a\u043e\u0432, \u0440\u0430\u0441\u043f\u043e\u0437\u043d\u0430\u0432\u0430\u0435\u043c\u044b\u0445 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437\u044b\u043a\u043e\u0432 , \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u043c\u044b\u0445 LL(k) \u0438 LR(k) \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0430\u043c\u0438.
\n\u0412\u043e\u043f\u0440\u043e\u0441 32. \u041b\u0435\u043c\u043c\u0430 (3.3) \u043e \u043f\u0440\u0430\u0432\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u043c (\u043b\u0435\u0432\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u043c )\u0432\u044b\u0432\u043e\u0434\u0435.
\n\u041b\u044e\u0431\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u044f\u0437\u044b\u043a\u0430 , \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u043c\u043e\u0433\u043e \u041a\u0421-\u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u043e\u0439 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0430 \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u043b\u0435\u0432\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u0433\u043e (\u043f\u0440\u0430\u0432\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u0433\u043e) \u0432\u044b\u043e\u0434\u0430.\u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435: \u041b\u0435\u0432\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0438\u043c \u0432\u044b\u0432\u043e\u0434\u043e\u043c \u0434\u043b\u044f \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0438 G=<V,W,P,I> \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u043e\u0439 \u0432\u044b\u0432\u043e\u0434 ,\u043a\u043e\u0433\u0434\u0430 \u0432 \u0441\u0435\u043d\u0442\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u0439 \u0444\u043e\u0440\u043c\u0435, \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c\u043e\u0439 \u0438\u0437 \u0430\u043a\u0441\u0438\u043e\u043c\u044b \u043f\u0443\u0442\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0439 , \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u0441\u0430\u043c\u044b\u0439 \u043b\u0435\u0432\u044b\u0439 (\u043f\u0440\u0430\u0432\u044b\u0439) \u043d\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0437\u043d\u0430\u043a .
\n\u041f\u0440\u0438\u043c\u0435\u0440 : I->aAbB A->bA | a B->aB | b \u0431\u0435\u0440\u0435\u043c \u0430\u043a\u0441\u0438\u043e\u043c\u0443 \u0438 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u043c \u043b\u0435\u0432\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0438\u0439 \u0432\u044b\u0432\u043e\u0434 : I->aAbB->abAbB->ababB->ababb \u041f\u0440\u0430\u0432\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0438\u0439 \u0432\u044b\u0432\u043e\u0434: I->aAbB->aAbb->ababb \u0412\u043e\u0437\u043c\u043e\u0436\u0435\u043d \u0442\u0430\u043a\u0436\u0435 \u0447\u0435\u0440\u0435\u0434\u0443\u044e\u0449\u0438\u0439\u0441\u044f \u0432\u044b\u0432\u043e\u0434.<\/p>\n","protected":false},"excerpt":{"rendered":"

\u0412\u043e\u043f\u0440\u043e\u0441 27. \u041c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442. \u0414\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0438 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442. \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e \u043c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u043e\u043c \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0435 \u0438 \u041a\u0421-\u044f\u0437\u044b\u043a\u0430\u0445. \u0421\u041f- \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c \u0442\u0438\u043f\u0430 1 \u041c\u0430\u0433\u0430\u0437\u0438\u043d\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442 \u2013(\u041c ) \u2013 \u0441\u043e\u0432\u043e\u043a\u0443\u043f\u043d\u043e\u0441\u0442\u044c \u043f\u044f\u0442\u0438 (\u0448\u0435\u0441\u0442\u0438 ) \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u041c=<A,Q,S,P,I,(B)><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[45],"tags":[],"_links":{"self":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1835"}],"collection":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1835"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1835\/revisions"}],"predecessor-version":[{"id":1836,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1835\/revisions\/1836"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1835"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1835"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1835"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}