. . . "\u5927\u57DF\u7684\u5024\u756A\u53F7\u4ED8\u3051\uFF08\u82F1: Global value numbering, GVN\uFF09\u3068\u306F\u3001\u9759\u7684\u5358\u4E00\u4EE3\u5165\u4E2D\u9593\u8868\u73FE\u306B\u57FA\u3065\u304F\u30B3\u30F3\u30D1\u30A4\u30E9\u6700\u9069\u5316\u624B\u6CD5\u306E\u4E00\u3064\u3067\u3042\u308B\u3002 GVN \u306F\u5171\u901A\u90E8\u5206\u5F0F\u9664\u53BB (CSE) \u306B\u3088\u3063\u3066\u3082\u53D6\u308A\u9664\u304F\u3053\u3068\u304C\u3067\u304D\u306A\u3044\u5197\u9577\u306A\u30B3\u30FC\u30C9\u3092\u53D6\u308A\u9664\u304F\u3053\u3068\u304C\u3067\u304D\u308B\u3002\u4E00\u65B9\u3001CSE \u306F GVN \u3067\u9664\u53BB\u3067\u304D\u306A\u3044\u30B3\u30FC\u30C9\u3092\u53D6\u308A\u9664\u304F\u3053\u3068\u304C\u3067\u304D\u3001\u4E21\u8005\u306F\u3044\u305A\u308C\u3082\u73FE\u4EE3\u7684\u306A\u30B3\u30F3\u30D1\u30A4\u30E9\u306B\u63A1\u7528\u3055\u308C\u3066\u3044\u308B\u3002\u5927\u57DF\u7684\u5024\u756A\u53F7\u4ED8\u3051\u306F\u3001\u5024\u3068\u756A\u53F7\u306E\u95A2\u9023\u4ED8\u3051\u3092\u30D6\u30ED\u30C3\u30AF\u306E\u5883\u754C\u3092\u8D8A\u3048\u3066\u884C\u3046\u3053\u3068\u304C\u3067\u304D\u3001\u307E\u305F\u95A2\u9023\u4ED8\u3051\u306E\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0\u3092\u8A08\u7B97\u3059\u308B\u65B9\u6CD5\u304C\u7570\u306A\u308B\u3068\u3044\u3046\u70B9\u3067\u3068\u306F\u533A\u5225\u3055\u308C\u308B\u3002 \u5927\u57DF\u7684\u5024\u756A\u53F7\u4ED8\u3051\u306F\u3001\u5024\u756A\u53F7\u3092\u5909\u6570\u3084\u5F0F\u306B\u5272\u308A\u5F53\u3066\u308B\u3053\u3068\u3067\u52D5\u4F5C\u3059\u308B\u3002\u7B49\u4FA1\u306A\u5909\u6570\u3084\u5F0F\u306B\u306F\u540C\u3058\u5024\u756A\u53F7\u3092\u5272\u308A\u5F53\u3066\u308B\u3002\u4F8B\u3048\u3070\u4E0B\u8A18\u306E\u30B3\u30FC\u30C9\u3067\u306F\u3001 w := 3x := 3y := x + 4z := w + 4 \u512A\u79C0\u306A GVN \u306E\u30EB\u30FC\u30C1\u30F3\u306Fw \u3001 x \u3068 y \u3001z \u306B\u305D\u308C\u305E\u308C\u540C\u3058\u5024\u756A\u53F7\u3092\u5272\u308A\u5F53\u3066\u308B\u3002\u305F\u3068\u3048\u3070\u3001 \u306E\u5272\u308A\u5F53\u3066\u306F\u3053\u306E\u30D6\u30ED\u30C3\u30AF\u306B\u95A2\u3057\u3066\u6700\u9069\u306A\u5024\u3068\u756A\u53F7\u306E\u5BFE\u5FDC\u95A2\u4FC2\u3067\u3042\u308B\u3002\u3053\u306E\u60C5\u5831\u3092\u7528\u3044\u308B\u3053\u3068\u3067\u3001\u4E0A\u306E\u30B3\u30FC\u30C9\u306F\u4E0B\u8A18\u306E\u30B3\u30FC\u30C9\u306B\u5B89\u5168\u306B\u5909\u63DB\u3067\u304D\u308B\u3002 w := 3x := wy := w + 4z := y \u3053\u308C\u4EE5\u964D\u306E\u30B3\u30FC\u30C9\u3057\u3060\u3044\u3067\u3001\u30B3\u30D4\u30FC\u306E\u4F1D\u64AD\u306B\u3088\u3063\u3066 x \u304A\u3088\u3073 z \u306B\u5BFE\u3059\u308B\u5272\u308A\u5F53\u3066\u3092\u9664\u53BB\u3067\u304D\u308B\u53EF\u80FD\u6027\u304C\u3042\u308B\u3002 GVN \u304C CSE \u3088\u308A\u5F37\u529B\u306A\u306E\u306F\u3001CSE \u306F\u5B57\u53E5\u7684\u306B\u540C\u4E00\u306A\u5F0F\u3092\u30DE\u30C3\u30C1\u3055\u305B\u308B\u306E\u306B\u5BFE\u3057\u3066 GVN \u306F\u305D\u306E\u80CC\u5F8C\u306E\u7B49\u4FA1\u6027\u3092\u7279\u5B9A\u3057\u3088\u3046\u3068\u3059\u308B\u70B9\u3067\u3042\u308B\u3002\u4F8B\u3048\u3070\u3001 a := c \u00D7 de := cf := e \u00D7 d \u3068\u3044\u3046\u30B3\u30FC\u30C9\u3067\u3001CSE \u306F f \u306B\u5272\u308A\u5F53\u3066\u3089\u308C\u305F\u518D\u8A08\u7B97\u306E\u30B3\u30FC\u30C9\u3092\u9664\u53BB\u3057\u306A\u3044\u304C\u3001GVN \u306F\u3054\u304F\u521D\u6B69\u7684\u306A\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0\u3067\u3082\u3053\u308C\u3092\u767A\u898B\u3057\u3001\u5197\u9577\u6027\u3092\u9664\u53BB\u3059\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u3002 GVN \u3092\u5B9F\u884C\u3059\u308B\u305F\u3081\u306B\u306F\u3001\u5909\u6570\u540D\u3068\u5024\u540D\u306E\u9593\u306B\u507D\u306E\u5BFE\u5FDC\u95A2\u4FC2\u304C\u4F5C\u3089\u308C\u306A\u3044\u3088\u3046\u3001\u9759\u7684\u5358\u4E00\u4EE3\u5165\u5F62\u5F0F\u304C\u5FC5\u8981\u3067\u3042\u308B\u3002"@ja . . . . "1058565482"^^ . "48"^^ . "\u5927\u57DF\u5024\u756A\u53F7\u4ED8\u3051"@ja . "\u5927\u57DF\u7684\u5024\u756A\u53F7\u4ED8\u3051\uFF08\u82F1: Global value numbering, GVN\uFF09\u3068\u306F\u3001\u9759\u7684\u5358\u4E00\u4EE3\u5165\u4E2D\u9593\u8868\u73FE\u306B\u57FA\u3065\u304F\u30B3\u30F3\u30D1\u30A4\u30E9\u6700\u9069\u5316\u624B\u6CD5\u306E\u4E00\u3064\u3067\u3042\u308B\u3002 GVN \u306F\u5171\u901A\u90E8\u5206\u5F0F\u9664\u53BB (CSE) \u306B\u3088\u3063\u3066\u3082\u53D6\u308A\u9664\u304F\u3053\u3068\u304C\u3067\u304D\u306A\u3044\u5197\u9577\u306A\u30B3\u30FC\u30C9\u3092\u53D6\u308A\u9664\u304F\u3053\u3068\u304C\u3067\u304D\u308B\u3002\u4E00\u65B9\u3001CSE \u306F GVN \u3067\u9664\u53BB\u3067\u304D\u306A\u3044\u30B3\u30FC\u30C9\u3092\u53D6\u308A\u9664\u304F\u3053\u3068\u304C\u3067\u304D\u3001\u4E21\u8005\u306F\u3044\u305A\u308C\u3082\u73FE\u4EE3\u7684\u306A\u30B3\u30F3\u30D1\u30A4\u30E9\u306B\u63A1\u7528\u3055\u308C\u3066\u3044\u308B\u3002\u5927\u57DF\u7684\u5024\u756A\u53F7\u4ED8\u3051\u306F\u3001\u5024\u3068\u756A\u53F7\u306E\u95A2\u9023\u4ED8\u3051\u3092\u30D6\u30ED\u30C3\u30AF\u306E\u5883\u754C\u3092\u8D8A\u3048\u3066\u884C\u3046\u3053\u3068\u304C\u3067\u304D\u3001\u307E\u305F\u95A2\u9023\u4ED8\u3051\u306E\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0\u3092\u8A08\u7B97\u3059\u308B\u65B9\u6CD5\u304C\u7570\u306A\u308B\u3068\u3044\u3046\u70B9\u3067\u3068\u306F\u533A\u5225\u3055\u308C\u308B\u3002 \u5927\u57DF\u7684\u5024\u756A\u53F7\u4ED8\u3051\u306F\u3001\u5024\u756A\u53F7\u3092\u5909\u6570\u3084\u5F0F\u306B\u5272\u308A\u5F53\u3066\u308B\u3053\u3068\u3067\u52D5\u4F5C\u3059\u308B\u3002\u7B49\u4FA1\u306A\u5909\u6570\u3084\u5F0F\u306B\u306F\u540C\u3058\u5024\u756A\u53F7\u3092\u5272\u308A\u5F53\u3066\u308B\u3002\u4F8B\u3048\u3070\u4E0B\u8A18\u306E\u30B3\u30FC\u30C9\u3067\u306F\u3001 w := 3x := 3y := x + 4z := w + 4 \u512A\u79C0\u306A GVN \u306E\u30EB\u30FC\u30C1\u30F3\u306Fw \u3001 x \u3068 y \u3001z \u306B\u305D\u308C\u305E\u308C\u540C\u3058\u5024\u756A\u53F7\u3092\u5272\u308A\u5F53\u3066\u308B\u3002\u305F\u3068\u3048\u3070\u3001 \u306E\u5272\u308A\u5F53\u3066\u306F\u3053\u306E\u30D6\u30ED\u30C3\u30AF\u306B\u95A2\u3057\u3066\u6700\u9069\u306A\u5024\u3068\u756A\u53F7\u306E\u5BFE\u5FDC\u95A2\u4FC2\u3067\u3042\u308B\u3002\u3053\u306E\u60C5\u5831\u3092\u7528\u3044\u308B\u3053\u3068\u3067\u3001\u4E0A\u306E\u30B3\u30FC\u30C9\u306F\u4E0B\u8A18\u306E\u30B3\u30FC\u30C9\u306B\u5B89\u5168\u306B\u5909\u63DB\u3067\u304D\u308B\u3002 w := 3x := wy := w + 4z := y \u3053\u308C\u4EE5\u964D\u306E\u30B3\u30FC\u30C9\u3057\u3060\u3044\u3067\u3001\u30B3\u30D4\u30FC\u306E\u4F1D\u64AD\u306B\u3088\u3063\u3066 x \u304A\u3088\u3073 z \u306B\u5BFE\u3059\u308B\u5272\u308A\u5F53\u3066\u3092\u9664\u53BB\u3067\u304D\u308B\u53EF\u80FD\u6027\u304C\u3042\u308B\u3002 a := c \u00D7 de := cf := e \u00D7 d"@ja . . . . . . . . "Global value numbering"@en . "547807"^^ . "\u041D\u0443\u043C\u0435\u0440\u0430\u0446\u0438\u044F \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439"@ru . . "\u041D\u0443\u043C\u0435\u0440\u0430\u0446\u0438\u044F \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 (\u0430\u043D\u0433\u043B. Value Numbering) \u2014 \u043E\u0434\u0438\u043D \u0438\u0437 \u0432\u0438\u0434\u043E\u0432 , \u043F\u0440\u0438\u043C\u0435\u043D\u044F\u0435\u043C\u044B\u0439 \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0438\u0440\u0443\u044E\u0449\u0438\u043C \u043A\u043E\u043C\u043F\u0438\u043B\u044F\u0442\u043E\u0440\u043E\u043C \u0441 \u0446\u0435\u043B\u044C\u044E \u043E\u0431\u043D\u0430\u0440\u0443\u0436\u0435\u043D\u0438\u044F \u0438\u0437\u0431\u044B\u0442\u043E\u0447\u043D\u044B\u0445 \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0439 \u0432 \u043A\u043E\u0434\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B. \u0420\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u0430\u043C\u0438 \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043C\u043E\u0433\u0443\u0442 \u0432\u043E\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u0442\u044C\u0441\u044F \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u0438: , , \u0443\u0434\u0430\u043B\u0435\u043D\u0438\u0435 \u043E\u0431\u0449\u0438\u0445 \u043F\u043E\u0434\u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0439, \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u044F \u0443\u0441\u043B\u043E\u0432\u0438\u0439 (\u0430\u043D\u0433\u043B. If Optimization), . \u0410\u043D\u0430\u043B\u0438\u0437 \u0440\u0430\u0437\u0431\u0438\u0432\u0430\u0435\u0442 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u0432\u0441\u0435\u0445 \u0440\u0430\u0441\u0441\u043C\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043C\u044B\u0445 \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0439, \u0432\u044B\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u044E\u0449\u0438\u0445 \u043A\u0430\u043A\u043E\u0439-\u043B\u0438\u0431\u043E \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442 (\u0447\u0438\u0441\u043B\u043E \u0438\u043B\u0438 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442), \u043D\u0430 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0439, \u0432 \u043A\u0430\u0436\u0434\u043E\u043C \u0438\u0437 \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0432\u0441\u0435 \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0438 \u0432\u044B\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u044E\u0442 \u043E\u0434\u0438\u043D\u0430\u043A\u043E\u0432\u044B\u0439 \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442 \u043D\u0435 \u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E \u043E\u0442 \u0432\u0432\u043E\u0434\u0430. \u0422\u0430\u043A\u0438\u0435 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 (\u0430 \u0442\u0430\u043A \u0436\u0435, \u0438\u043D\u043E\u0433\u0434\u0430, \u043D\u043E\u043C\u0435\u0440\u0430 \u044D\u0442\u0438\u0445 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432) \u043D\u0430\u0437\u044B\u0432\u0430\u044E\u0442 \u043A\u043B\u0430\u0441\u0441\u0430\u043C\u0438 \u043A\u043E\u043D\u0433\u0440\u0443\u044D\u043D\u0442\u043D\u043E\u0441\u0442\u0438 \u0438\u043B\u0438 \u043A\u043B\u0430\u0441\u0441\u0430\u043C\u0438 \u044D\u043A\u0432\u0438\u0432\u0430\u043B\u0435\u043D\u0442\u043D\u043E\u0441\u0442\u0438. \u041A\u043B\u0430\u0441\u0441\u044B \u043A\u043E\u043D\u0433\u0440\u0443\u044D\u043D\u0442\u043D\u043E\u0441\u0442\u0438 \u043F\u0440\u043E\u043D\u0443\u043C\u0435\u0440\u043E\u0432\u0430\u043D\u044B, \u043D\u043E\u043C\u0435\u0440 \u043A\u043B\u0430\u0441\u0441\u0430 \u043A\u043E\u043D\u0433\u0440\u0443\u044D\u043D\u0442\u043D\u043E\u0441\u0442\u0438 \u043D\u0430\u0437\u044B\u0432\u0430\u044E\u0442 \u043D\u043E\u043C\u0435\u0440\u043E\u043C \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F. \u0422\u0430\u043A\u0438\u043C \u043E\u0431\u0440\u0430\u0437\u043E\u043C, \u0437\u0430\u0434\u0430\u0447\u0443 \u043D\u0443\u043C\u0435\u0440\u0430\u0446\u0438\u0438 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u043C\u043E\u0436\u043D\u043E \u0441\u0444\u043E\u0440"@ru . . . . . . "\u041D\u0443\u043C\u0435\u0440\u0430\u0446\u0438\u044F \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 (\u0430\u043D\u0433\u043B. Value Numbering) \u2014 \u043E\u0434\u0438\u043D \u0438\u0437 \u0432\u0438\u0434\u043E\u0432 , \u043F\u0440\u0438\u043C\u0435\u043D\u044F\u0435\u043C\u044B\u0439 \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0438\u0440\u0443\u044E\u0449\u0438\u043C \u043A\u043E\u043C\u043F\u0438\u043B\u044F\u0442\u043E\u0440\u043E\u043C \u0441 \u0446\u0435\u043B\u044C\u044E \u043E\u0431\u043D\u0430\u0440\u0443\u0436\u0435\u043D\u0438\u044F \u0438\u0437\u0431\u044B\u0442\u043E\u0447\u043D\u044B\u0445 \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0439 \u0432 \u043A\u043E\u0434\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B. \u0420\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u0430\u043C\u0438 \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043C\u043E\u0433\u0443\u0442 \u0432\u043E\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u0442\u044C\u0441\u044F \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u0438: , , \u0443\u0434\u0430\u043B\u0435\u043D\u0438\u0435 \u043E\u0431\u0449\u0438\u0445 \u043F\u043E\u0434\u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0439, \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u044F \u0443\u0441\u043B\u043E\u0432\u0438\u0439 (\u0430\u043D\u0433\u043B. If Optimization), . \u0410\u043D\u0430\u043B\u0438\u0437 \u0440\u0430\u0437\u0431\u0438\u0432\u0430\u0435\u0442 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u0432\u0441\u0435\u0445 \u0440\u0430\u0441\u0441\u043C\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043C\u044B\u0445 \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0439, \u0432\u044B\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u044E\u0449\u0438\u0445 \u043A\u0430\u043A\u043E\u0439-\u043B\u0438\u0431\u043E \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442 (\u0447\u0438\u0441\u043B\u043E \u0438\u043B\u0438 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442), \u043D\u0430 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0439, \u0432 \u043A\u0430\u0436\u0434\u043E\u043C \u0438\u0437 \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0432\u0441\u0435 \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0438 \u0432\u044B\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u044E\u0442 \u043E\u0434\u0438\u043D\u0430\u043A\u043E\u0432\u044B\u0439 \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442 \u043D\u0435 \u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E \u043E\u0442 \u0432\u0432\u043E\u0434\u0430. \u0422\u0430\u043A\u0438\u0435 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 (\u0430 \u0442\u0430\u043A \u0436\u0435, \u0438\u043D\u043E\u0433\u0434\u0430, \u043D\u043E\u043C\u0435\u0440\u0430 \u044D\u0442\u0438\u0445 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432) \u043D\u0430\u0437\u044B\u0432\u0430\u044E\u0442 \u043A\u043B\u0430\u0441\u0441\u0430\u043C\u0438 \u043A\u043E\u043D\u0433\u0440\u0443\u044D\u043D\u0442\u043D\u043E\u0441\u0442\u0438 \u0438\u043B\u0438 \u043A\u043B\u0430\u0441\u0441\u0430\u043C\u0438 \u044D\u043A\u0432\u0438\u0432\u0430\u043B\u0435\u043D\u0442\u043D\u043E\u0441\u0442\u0438. \u041A\u043B\u0430\u0441\u0441\u044B \u043A\u043E\u043D\u0433\u0440\u0443\u044D\u043D\u0442\u043D\u043E\u0441\u0442\u0438 \u043F\u0440\u043E\u043D\u0443\u043C\u0435\u0440\u043E\u0432\u0430\u043D\u044B, \u043D\u043E\u043C\u0435\u0440 \u043A\u043B\u0430\u0441\u0441\u0430 \u043A\u043E\u043D\u0433\u0440\u0443\u044D\u043D\u0442\u043D\u043E\u0441\u0442\u0438 \u043D\u0430\u0437\u044B\u0432\u0430\u044E\u0442 \u043D\u043E\u043C\u0435\u0440\u043E\u043C \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F. \u0422\u0430\u043A\u0438\u043C \u043E\u0431\u0440\u0430\u0437\u043E\u043C, \u0437\u0430\u0434\u0430\u0447\u0443 \u043D\u0443\u043C\u0435\u0440\u0430\u0446\u0438\u0438 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u043C\u043E\u0436\u043D\u043E \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u0442\u044C \u0441\u043B\u0435\u0434\u0443\u044E\u0449\u0438\u043C \u043E\u0431\u0440\u0430\u0437\u043E\u043C: \u043F\u0440\u0438\u0441\u0432\u043E\u0438\u0442\u044C \u0443\u043D\u0438\u043A\u0430\u043B\u044C\u043D\u044B\u0439 \u043D\u043E\u043C\u0435\u0440 \u043A\u0430\u0436\u0434\u043E\u043C\u0443 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044E, \u0432\u044B\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u0435\u043C\u043E\u043C\u0443 \u0432\u043D\u0443\u0442\u0440\u0438 \u0440\u0430\u0441\u0441\u043C\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043C\u043E\u0433\u043E \u0443\u0447\u0430\u0441\u0442\u043A\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B. \u0414\u043B\u044F \u043E\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043B\u0435\u043D\u0438\u044F \u043D\u0443\u043C\u0435\u0440\u0430\u0446\u0438\u0438 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u043C\u043E\u0436\u0435\u0442 \u043F\u043E\u0442\u0440\u0435\u0431\u043E\u0432\u0430\u0442\u044C\u0441\u044F \u043F\u043E\u0441\u0442\u0440\u043E\u0435\u043D\u043D\u044B\u0439 Def-Use-\u0433\u0440\u0430\u0444 \u0438\u043B\u0438 SSA-\u0444\u043E\u0440\u043C\u0430. \u041D\u0443\u043C\u0435\u0440\u0430\u0446\u0438\u044F \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u043B\u043E\u043A\u0430\u043B\u044C\u043D\u043E\u0439 (\u0432 \u043F\u0440\u0435\u0434\u0435\u043B\u0430\u0445 \u043E\u0434\u043D\u043E\u0433\u043E \u0431\u0430\u0437\u043E\u0432\u043E\u0433\u043E \u0431\u043B\u043E\u043A\u0430), \u0433\u043B\u043E\u0431\u0430\u043B\u044C\u043D\u043E\u0439 (\u0432 \u043F\u0440\u0435\u0434\u0435\u043B\u0430\u0445 CFG-\u0433\u0440\u0430\u0444\u0430 \u043E\u0434\u043D\u043E\u0439 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u044B) \u0438 \u043C\u0435\u0436\u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u043D\u043E\u0439."@ru . . . .