{"@attributes":{"version":"2.0"},"channel":{"title":"ioxera's blog","link":"https:\/\/ioxera.github.io\/","description":"Recent content on ioxera's blog","generator":"Hugo","language":"zh-cn","lastBuildDate":"Mon, 20 Nov 2023 20:27:36 +0000","item":[{"title":"\u8bed\u6cd5\u5206\u6790","link":"https:\/\/ioxera.github.io\/docs\/%E8%AF%AD%E6%B3%95%E5%88%86%E6%9E%90\/","pubDate":"Mon, 20 Nov 2023 20:27:36 +0000","guid":"https:\/\/ioxera.github.io\/docs\/%E8%AF%AD%E6%B3%95%E5%88%86%E6%9E%90\/","description":"

\u5bf9\u4e8e\u6587\u6cd5G(S)\u7684\u975e\u7ec8\u7ed3\u7b26\n A<\/mi>\u2192<\/mo>\u03b1<\/mi>1<\/mn><\/msub>\u2223<\/mi>\u03b1<\/mi>2<\/mn><\/msub>\u2223<\/mi>.<\/mi>.<\/mi>.<\/mi>\u2223<\/mi>\u03b1<\/mi>n<\/mi><\/msub><\/mrow>A \\rightarrow \\alpha_1|\\alpha_2|...|\\alpha_n<\/annotation><\/semantics><\/math><\/span>\n\n\n\uff0c\u5b9a\u4e49\uff1a
\n\n F<\/mi>I<\/mi>R<\/mi>S<\/mi>T<\/mi>(<\/mo>A<\/mi>)<\/mo>=<\/mo>{<\/mo>a<\/mi>\u2223<\/mi>\u03b1<\/mi>i<\/mi><\/msub>\u21d2<\/mo><\/mo>\u2217<\/mo><\/mover>a<\/mi>.<\/mi>.<\/mi>.<\/mi>,<\/mo>a<\/mi>\u2208<\/mo>V<\/mi>T<\/mi><\/msub>}<\/mo><\/mrow>FIRST(A) = \\{a|\\alpha_i \\mathop{\\Rightarrow}\\limits^{\\ast} a..., a \\in V_T\\}<\/annotation><\/semantics><\/math><\/span>\n\n\n
\n\n F<\/mi>O<\/mi>L<\/mi>L<\/mi>O<\/mi>W<\/mi>(<\/mo>A<\/mi>)<\/mo>=<\/mo>{<\/mo>a<\/mi>\u2223<\/mi>S<\/mi>\u21d2<\/mo><\/mo>\u2217<\/mo><\/mover>.<\/mi>.<\/mi>.<\/mi>A<\/mi>a<\/mi>.<\/mi>.<\/mi>.<\/mi>,<\/mo>a<\/mi>\u2208<\/mo>V<\/mi>T<\/mi><\/msub>}<\/mo><\/mrow>FOLLOW(A) = \\{a|S\\mathop{\\Rightarrow}\\limits^{\\ast}...Aa..., a \\in V_T\\}<\/annotation><\/semantics><\/math><\/span>\n\n\n<\/p>\n

\u7531\u4e0a\u81f3\u4e0b\u5206\u6790<\/a><\/h2>\n

\u4ece\u6587\u6cd5\u7684\u5f00\u59cb\u7b26\u53f7\u51fa\u53d1\uff0c\u53cd\u590d\u4f7f\u7528\u5404\u79cd\u4ea7\u751f\u5f0f\uff0c\u5bfb\u627e\u201c\u5339\u914d\u201d\u7684\u63a8\u5bfc\uff0c\u81ea\u9876\u5411\u4e0b\u5206\u6790\u4e5f\u53ef\u4ee5\u770b\u4f5c\u662f\u4ece\u5f00\u59cb\u7b26\u53f7\u51fa\u53d1\uff0c\u5bfb\u627e\u8f93\u5165\u4e32\u7684\u6700\u5de6\u63a8\u5bfc\u8fc7\u7a0b\u3002\u81ea\u9876\u5411\u4e0b\u8bed\u6cd5\u5206\u6790\u7684\u5173\u952e\u95ee\u9898\u662f\u5bf9\u4e8e\u975e\u7ec8\u7ed3\u7b26\n A<\/mi>\u2192<\/mo>\u03b1<\/mi>1<\/mn><\/msub>\u2223<\/mi>\u03b1<\/mi>2<\/mn><\/msub>\u2223<\/mi>.<\/mi>.<\/mi>.<\/mi>\u2223<\/mi>\u03b1<\/mi>n<\/mi><\/msub><\/mrow>A \\rightarrow \\alpha_1|\\alpha_2|...|\\alpha_n<\/annotation><\/semantics><\/math><\/span>\n\n\n\uff0c\u5e94\u8be5\u9009\u62e9\u54ea\u4e2a\u4ea7\u751f\u5f0f\u3002<\/p>\n

\u63a8\u5bfc\uff1a\u6839\u636e\u6587\u6cd5\u7684\u4ea7\u751f\u5f0f\u89c4\u5219\uff0c\u628a\u4e32\u4e2d\u51fa\u73b0\u7684\u4ea7\u751f\u5f0f\u5de6\u90e8\u7b26\u53f7\u66ff\u6362\u6210\u53f3\u90e8\u7b26\u53f7\u3002<\/p>\n

\u5206\u6790\u65b9\u6cd5\uff1a\u9012\u5f52\u4e0b\u964d\u5206\u6790\u6cd5\uff0c\u9884\u6d4b\u5206\u6790\u6cd5<\/p>\n

\u9012\u5f52\u4e0b\u964d\u5206\u6790\u6cd5<\/a><\/h3>\n

\u5206\u6790\u7a0b\u5e8f\u7531\u4e00\u7ec4\u5b50\u7a0b\u5e8f\u7ec4\u6210\uff0c\u5bf9\u4e8e\u6bcf\u4e2a\u8bed\u6cd5\u5355\u4f4d\uff08\u975e\u7ec8\u7ed3\u7b26\uff09\u6784\u9020\u4e00\u4e2a\u76f8\u5e94\u7684\u5b50\u7a0b\u5e8f\uff0c\u8bc6\u522b\u5bf9\u5e94\u7684\u8bed\u6cd5\u5355\u4f4d\uff0c\u901a\u8fc7\u5b50\u7a0b\u5e8f\u95f4\u7684\u76f8\u4e92\u8c03\u7528\u5b9e\u73b0\u5bf9\u8f93\u5165\u4e32\u7684\u8bc6\u522b\u3002
\nvoid A(){
\n\n <\/mrow>\\quad<\/annotation><\/semantics><\/math><\/span>\n\n\n\u9009\u62e9\u4e00\u4e2aA\u7684\u4ea7\u751f\u5f0f\n A<\/mi>\u2192<\/mo>X<\/mi>1<\/mn><\/msub>X<\/mi>2<\/mn><\/msub>.<\/mi>.<\/mi>.<\/mi>X<\/mi>n<\/mi><\/msub><\/mrow>A \\rightarrow X_1X_2...X_n<\/annotation><\/semantics><\/math><\/span>\n\n\n
\n\n <\/mrow>\\quad<\/annotation><\/semantics><\/math><\/span>\n\n\nfor(i=1 to k){
\n\n <\/mrow>\\qquad<\/annotation><\/semantics><\/math><\/span>\n\n\nif(\n X<\/mi>i<\/mi><\/msub><\/mrow>X_i<\/annotation><\/semantics><\/math><\/span>\n\n\n\u662f\u4e00\u4e2a\u975e\u7ec8\u7ed3\u7b26)\u8c03\u7528\u8fc7\u7a0b\n X<\/mi>i<\/mi><\/msub><\/mrow>X_i<\/annotation><\/semantics><\/math><\/span>\n\n\n;
\n\n <\/mrow>\\qquad<\/annotation><\/semantics><\/math><\/span>\n\n\nelse if(\n X<\/mi>i<\/mi><\/msub><\/mrow>X_i<\/annotation><\/semantics><\/math><\/span>\n\n\n\u7b49\u4e8e\u5f53\u524d\u8f93\u5165\u7b26\u53f7a)\u8bfb\u5165\u4e0b\u4e00\u4e2a\u8f93\u5165\u7b26\u53f7;
\n\n <\/mrow>\\qquad<\/annotation><\/semantics><\/math><\/span>\n\n\nelse \u4e0d\u5339\u914d\u5f53\u524d\u5019\u9009\u5f0f\uff0c\u5c1d\u8bd5\u4e0b\u4e00\u4e2a
\n\n <\/mrow>\\quad<\/annotation><\/semantics><\/math><\/span>\n\n\n}
\n}<\/p>\n

\u9012\u5f52\u4e0b\u964d\u5206\u6790\u5b58\u5728\u4ee5\u4e0b\u95ee\u9898\uff1a<\/p>\n