\u5199\u4e8e2022\u5e745\u67087\u65e5\uff0c\u4e3b\u8981\u5305\u62ec\u4e00\u4e9b\u5e38\u89c1\u8bed\u8a00\u7c7b\u7684\u53ef\u8bc6\u522b\u6027\u4e0e\u53ef\u5224\u5b9a\u6027<\/p>\n\n\n\n\n\n\n\n
\\begin{aligned}\n A_{DFA}\u53ef\u5224\u5b9a\uff1a&\u76f4\u63a5\u6a21\u62df\\\\\n A_{NFA}\u53ef\u5224\u5b9a\uff1a&\u8f6c\u6362\u4e3aDFA\\\\\n A_{REX}\u53ef\u5224\u5b9a\uff1a&\u8f6c\u6362\u4e3aNFA\\\\\n E_{DFA}\u53ef\u5224\u5b9a\uff1a&\u4ece\u8d77\u59cb\u72b6\u6001\u5f00\u59cb\u6807\u8bb0\u72b6\u6001\\\\\n EQ_{DFA}\u53ef\u5224\u5b9a\uff1a&RL\u5bf9\u5dee\u5c01\u95ed\uff0c\u89c4\u7ea6\u4e3aE_{DFA}\\\\\n \\\\\n A_{CFG}\u53ef\u5224\u5b9a\uff1a&\u8f6c\u6362\u4e3a\u4e54\u59c6\u65af\u57fa\u8303\u5f0f\\\\\n E_{CFG}\u53ef\u5224\u5b9a\uff1a&\u4ece\u7ec8\u7ed3\u7b26\u5f00\u59cb\u6807\u8bb0\u53d8\u5143\\\\\n ALL_{CFG}\u4e0d\u53ef\u5224\u5b9a\uff1a&\u6784\u9020PDA\uff1a\u6d3e\u751f\u6240\u6709\u4e32\\Leftrightarrow M\u4e0d\u63a5\u53d7\\omega\\\\\n &(\u62d2\u7eddM\u5728\\omega\u4e0a\u7684\u63a5\u53d7\u8ba1\u7b97\u5386\u53f2)\\\\\n EQ_{CFG}\u4e0d\u53ef\u5224\u5b9a\uff1a&ALL_{CFG}\u53ef\u89c4\u7ea6\u5230\u5b83\\\\\n \\\\\n A_{TM}\u4e0d\u53ef\u5224\u5b9a\uff1a&\u5bf9\u89d2\u7ebf\u6cd5\\\\\n HALT_{TM}\u4e0d\u53ef\u5224\u5b9a\uff1a&A_{TM}\u53ef\u89c4\u7ea6\u5230\u5b83\\\\\n E_{TM}\u4e0d\u53ef\u8bc6\u522b\uff1a&A_{TM}\\le_m \\overline{E_{TM}}\\\\\n \\overline{E_{TM}}\u53ef\u8bc6\u522b\uff1a&\u6309\u5b57\u7b26\u4e32\u987a\u5e8f\u548c\u8fd0\u884c\u6b65\u957f\u679a\u4e3e\\\\\n &(\u56e0\u6b64\uff0cA_{TM}\\not\\le_m E_{TM})\\\\\n EQ_{TM}\u4e0d\u53ef\u8bc6\u522b\uff1a&A_{TM}\\le_m \\overline{EQ_{TM}}\\\\\n \\overline{EQ_{TM}}\u4e0d\u53ef\u8bc6\u522b\uff1a&A_{TM}\\le_m EQ_{TM}\\\\\n ALL_{TM}\u4e0d\u53ef\u8bc6\u522b\uff1a&\u6784\u9020TM\uff0c\u62d2\u7eddM\u5728\\omega\u4e0a\u7684\u8ba1\u7b97\u5386\u53f2\\\\\n &(\u4e8b\u5b9e\u4e0a\uff0cA_{TM}\\le_m \\overline{ALL_{TM}})\\\\\n \\overline{ALL_{TM}}\u4e0d\u53ef\u8bc6\u522b\uff1a&A_{TM}\\le_m ALL_{TM}\n \\\\\n\\end{aligned}<\/pre><\/div>\n","protected":false},"excerpt":{"rendered":"\u5199\u4e8e2022\u5e745\u67087\u65e5\uff0c\u4e3b\u8981\u5305\u62ec\u4e00\u4e9b\u5e38\u89c1\u8bed\u8a00\u7c7b\u7684\u53ef\u8bc6\u522b\u6027\u4e0e\u53ef\u5224\u5b9a\u6027<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[20],"tags":[29],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=\/wp\/v2\/posts\/319"}],"collection":[{"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=319"}],"version-history":[{"count":2,"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=\/wp\/v2\/posts\/319\/revisions"}],"predecessor-version":[{"id":321,"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=\/wp\/v2\/posts\/319\/revisions\/321"}],"wp:attachment":[{"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=319"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=319"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.lazybirds.top\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=319"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}