[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/jp\/wiki\/archives\/11197#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/jp\/wiki\/archives\/11197","headline":"\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3 – Wikipedia","name":"\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3 – Wikipedia","description":"before-content-x4 \u3053\u306e\u8a18\u4e8b\u306f\u691c\u8a3c\u53ef\u80fd\u306a\u53c2\u8003\u6587\u732e\u3084\u51fa\u5178\u304c\u5168\u304f\u793a\u3055\u308c\u3066\u3044\u306a\u3044\u304b\u3001\u4e0d\u5341\u5206\u3067\u3059\u3002\u51fa\u5178\u3092\u8ffd\u52a0\u3057\u3066\u8a18\u4e8b\u306e\u4fe1\u983c\u6027\u5411\u4e0a\u306b\u3054\u5354\u529b\u304f\u3060\u3055\u3044\u3002\u51fa\u5178\u691c\u7d22?:\u00a0“\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3”\u00a0\u2013\u00a0\u30cb\u30e5\u30fc\u30b9\u00a0\u00b7 \u66f8\u7c4d\u00a0\u00b7 \u30b9\u30ab\u30e9\u30fc\u00a0\u00b7 CiNii\u00a0\u00b7 J-STAGE\u00a0\u00b7 NDL\u00a0\u00b7 dlib.jp\u00a0\u00b7 \u30b8\u30e3\u30d1\u30f3\u30b5\u30fc\u30c1\u00a0\u00b7 TWL\uff082011\u5e7412\u6708\uff09 \u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3 (\u82f1: Turing machine) \u306f\u3001\u30a2\u30e9\u30f3\u30fb\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u304c\u300c\u8a08\u7b97\u53ef\u80fd\u6027\u300d\u306b\u95a2\u3059\u308b\u8b70\u8ad6\u306e\u305f\u3081\u306b\u63d0\u793a\u3057\u305f\u62bd\u8c61\u6a5f\u68b0\u3067\u3042\u308b[1]\u3002 after-content-x4 \u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u300c\u8a08\u7b97\u53ef\u80fd\u6570\u306b\u3064\u3044\u3066\u2500\u2500\u6c7a\u5b9a\u554f\u984c\u3078\u306e\u5fdc\u7528\u300d\uff081936\u5e74\uff09\u306b\u304a\u3044\u3066\u63d0\u793a\u3055\u308c\u305f[2]\u3002\u540c\u69d8\u306a\u3082\u306e\u3092\u540c\u5e74\u306b\u30a8\u30df\u30fc\u30eb\u30fb\u30dd\u30b9\u30c8 (Emil Post) \u3082\u72ec\u7acb\u306b\u767a\u8868\u3057\u3066\u3044\u308b[3]\u3002\u69cb\u60f3\u306e\u7406\u7531\u3001\u52d5\u6a5f\u306b\u3064\u3044\u3066\u306f\u30dd\u30b9\u30c8\u306e\u8ad6\u6587\u304c\u660e\u78ba\u3060\u304c\u3001\u6a5f\u68b0\u81ea\u4f53\u306b\u95a2\u3059\u308b\u8a18\u8ff0\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u8ad6\u6587\u304c\u8a73\u7d30\u3067\u3042\u308b\u3002\u6b21\u3044\u3067\u3001\u540c\u6642\u4ee3\u306b\u63d0\u793a\u3055\u308c\u305f\u4ed6\u306e\u8a08\u7b97\u30e2\u30c7\u30eb\u3082\u8a08\u7b97\u53ef\u80fd\u6027\u306e\u7406\u8ad6\u304b\u3089\u306f\u540c\u7b49\u3067\u3042\u308b\u3053\u3068\u304c\u78ba\u8a8d\u3055\u308c\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\uff1d\u30c1\u30e3\u30fc\u30c1\u306e\u30c6\u30fc\u30bc\u306f\u305d\u308c\u3089\u3092\u300c\u8a08\u7b97\u53ef\u80fd\u300d\u306e\u5b9a\u7fa9\u3068\u3059\u308b\u3053\u3068\u3092\u63d0\u5531\u3057\u305f\u3002","datePublished":"2018-04-08","dateModified":"2018-04-08","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/jp\/wiki\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/jp\/wiki\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/6\/64\/Question_book-4.svg\/50px-Question_book-4.svg.png","url":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/6\/64\/Question_book-4.svg\/50px-Question_book-4.svg.png","height":"39","width":"50"},"url":"https:\/\/wiki.edu.vn\/jp\/wiki\/archives\/11197","about":["Wiki"],"wordCount":4232,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u3053\u306e\u8a18\u4e8b\u306f\u691c\u8a3c\u53ef\u80fd\u306a\u53c2\u8003\u6587\u732e\u3084\u51fa\u5178\u304c\u5168\u304f\u793a\u3055\u308c\u3066\u3044\u306a\u3044\u304b\u3001\u4e0d\u5341\u5206\u3067\u3059\u3002\u51fa\u5178\u3092\u8ffd\u52a0\u3057\u3066\u8a18\u4e8b\u306e\u4fe1\u983c\u6027\u5411\u4e0a\u306b\u3054\u5354\u529b\u304f\u3060\u3055\u3044\u3002\u51fa\u5178\u691c\u7d22?:\u00a0“\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3”\u00a0\u2013\u00a0\u30cb\u30e5\u30fc\u30b9\u00a0\u00b7 \u66f8\u7c4d\u00a0\u00b7 \u30b9\u30ab\u30e9\u30fc\u00a0\u00b7 CiNii\u00a0\u00b7 J-STAGE\u00a0\u00b7 NDL\u00a0\u00b7 dlib.jp\u00a0\u00b7 \u30b8\u30e3\u30d1\u30f3\u30b5\u30fc\u30c1\u00a0\u00b7 TWL\uff082011\u5e7412\u6708\uff09  \u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3 (\u82f1: Turing machine) \u306f\u3001\u30a2\u30e9\u30f3\u30fb\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u304c\u300c\u8a08\u7b97\u53ef\u80fd\u6027\u300d\u306b\u95a2\u3059\u308b\u8b70\u8ad6\u306e\u305f\u3081\u306b\u63d0\u793a\u3057\u305f\u62bd\u8c61\u6a5f\u68b0\u3067\u3042\u308b[1]\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u300c\u8a08\u7b97\u53ef\u80fd\u6570\u306b\u3064\u3044\u3066\u2500\u2500\u6c7a\u5b9a\u554f\u984c\u3078\u306e\u5fdc\u7528\u300d\uff081936\u5e74\uff09\u306b\u304a\u3044\u3066\u63d0\u793a\u3055\u308c\u305f[2]\u3002\u540c\u69d8\u306a\u3082\u306e\u3092\u540c\u5e74\u306b\u30a8\u30df\u30fc\u30eb\u30fb\u30dd\u30b9\u30c8 (Emil Post) \u3082\u72ec\u7acb\u306b\u767a\u8868\u3057\u3066\u3044\u308b[3]\u3002\u69cb\u60f3\u306e\u7406\u7531\u3001\u52d5\u6a5f\u306b\u3064\u3044\u3066\u306f\u30dd\u30b9\u30c8\u306e\u8ad6\u6587\u304c\u660e\u78ba\u3060\u304c\u3001\u6a5f\u68b0\u81ea\u4f53\u306b\u95a2\u3059\u308b\u8a18\u8ff0\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u8ad6\u6587\u304c\u8a73\u7d30\u3067\u3042\u308b\u3002\u6b21\u3044\u3067\u3001\u540c\u6642\u4ee3\u306b\u63d0\u793a\u3055\u308c\u305f\u4ed6\u306e\u8a08\u7b97\u30e2\u30c7\u30eb\u3082\u8a08\u7b97\u53ef\u80fd\u6027\u306e\u7406\u8ad6\u304b\u3089\u306f\u540c\u7b49\u3067\u3042\u308b\u3053\u3068\u304c\u78ba\u8a8d\u3055\u308c\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\uff1d\u30c1\u30e3\u30fc\u30c1\u306e\u30c6\u30fc\u30bc\u306f\u305d\u308c\u3089\u3092\u300c\u8a08\u7b97\u53ef\u80fd\u300d\u306e\u5b9a\u7fa9\u3068\u3059\u308b\u3053\u3068\u3092\u63d0\u5531\u3057\u305f\u3002\u3053\u3053\u3067\u306f\u975e\u5f62\u5f0f\u7684\uff08\u76f4\u611f\u7684\uff09\u306b\u8ff0\u3079\u308b\u3002\u7406\u8ad6\u7684\u306b\u306f\u5f62\u5f0f\u7684\u306b\u8ff0\u3079\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306b\u306f\u3001\u3044\u308f\u3086\u308b\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u306b\u76f8\u5f53\u3059\u308b\u3082\u306e\u3068\u3057\u3066\u3001       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u305d\u306e\u8868\u9762\u306b\u8a18\u53f7\u3092\u8aad\u307f\u66f8\u304d\u3067\u304d\u308b\u30c6\u30fc\u30d7\u3002\u9577\u3055\u306f\u7121\u5236\u9650\uff08\u5fc5\u8981\u306b\u306a\u308c\u3070\u9806\u756a\u306b\u3044\u304f\u3089\u3067\u3082\u5148\u306b\u30b7\u30fc\u30af\u3067\u304d\u308b[\u6ce8 1]\uff09\u3068\u3059\u308b\u30c6\u30fc\u30d7\u306b\u8a18\u53f7\u3092\u8aad\u307f\u66f8\u304d\u3059\u308b\u30d8\u30c3\u30c9\u30d8\u30c3\u30c9\u306b\u3088\u308b\u8aad\u307f\u66f8\u304d\u3068\u3001\u30c6\u30fc\u30d7\u306e\u5de6\u53f3\u3078\u306e\u30b7\u30fc\u30af\u3092\u5236\u5fa1\u3059\u308b\u6a5f\u80fd\u3092\u6301\u3064\u3001\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u304c\u3042\u308b\u3002\u307e\u305f\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306b\u76f8\u5f53\u3059\u308b\u3082\u306e\u3068\u3057\u3066\u3001\u4ee5\u4e0b\u304c\u3042\u308b\u3002\u30c6\u30fc\u30d7\u306b\u8aad\u307f\u66f8\u304d\u3055\u308c\u308b\u6709\u9650\u500b\u306e\u7a2e\u985e\u306e\u8a18\u53f7\u6700\u521d\u304b\u3089\uff08\u521d\u671f\u72b6\u614b\u306b\u304a\u3044\u3066\uff09\u30c6\u30fc\u30d7\u306b\u3042\u3089\u304b\u3058\u3081\u66f8\u304b\u308c\u3066\u3044\u308b\u8a18\u53f7\u5217\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u72b6\u614b\u9077\u79fb\u898f\u5247\u7fa4\u3002\u8a73\u7d30\u306f\u6b21\u3067\u8ff0\u3079\u308b\u3053\u306e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u72b6\u614b\u9077\u79fb\u898f\u5247\u306f\u3001\u305d\u306e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u300c\u73fe\u5728\u306e\u72b6\u614b\u300d\uff08\u5185\u90e8\u72b6\u614b\uff09\u3068\u3001\u30d8\u30c3\u30c9\u304c\u30c6\u30fc\u30d7\u306e\u300c\u73fe\u5728\u306e\u5834\u6240\u300d\u304b\u3089\u8aad\u307f\u51fa\u3057\u305f\u8a18\u53f7\u306e\u7d44\u307f\u5408\u308f\u305b\u306b\u5fdc\u3058\u3066\u3001\u6b21\u306e\u3088\u3046\u306a\u52d5\u4f5c\u3092\u5b9f\u884c\u3059\u308b\u3002\u30c6\u30fc\u30d7\u306e\u300c\u73fe\u5728\u306e\u5834\u6240\u300d\u306b\u65b0\u3057\u3044\u8a18\u53f7\u3092\u66f8\u304d\u8fbc\u3080\uff08\u3042\u308b\u3044\u306f\u3001\u73fe\u5728\u306e\u8a18\u53f7\u3092\u305d\u306e\u307e\u307e\u306b\u3057\u3066\u3082\u3088\u3044\uff09\u30d8\u30c3\u30c9\u3092\u53f3\u304b\u5de6\u306b\u4e00\u3064\u30b7\u30fc\u30af\u3059\u308b\uff08\u3042\u308b\u3044\u306f\u3001\u79fb\u52d5\u3057\u306a\u304f\u3066\u3082\u3088\u3044\uff09\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3092\u6b21\u306e\u72b6\u614b\u306b\u72b6\u614b\u9077\u79fb\u3055\u305b\u308b\uff08\u540c\u3058\u72b6\u614b\u306b\u9077\u79fb\u3057\u3066\u3082\u3088\u3044\uff09\u3055\u3089\u306b\u3001\u3053\u306e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u306f\uff08\u4e00\u822c\u7684\u306a\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u300c\u53d7\u7406\u72b6\u614b\u300d\u3068\u540c\u69d8\u306a\uff09\u300c\u53d7\u7406\u72b6\u614b\u300d\u304c\u3042\u308b\u3002\u8a08\u7b97\u53ef\u80fd\u6027\u7406\u8ad6\u7684\u306b\u306f\u3001\u6c7a\u5b9a\u554f\u984c\u306e2\u7a2e\u985e\u306e\u7b54\u3048\u306b\u5bfe\u5fdc\u3059\u308b\u30012\u7a2e\u985e\u306e\u53d7\u7406\u72b6\u614b\u304c\u5fc5\u8981\u3067\u3042\u308b[\u6ce8 2]\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Table of Contents\u73fe\u5b9f\u306e\u8a08\u7b97\u3068\u306e\u95a2\u4fc2[\u7de8\u96c6]\u5f62\u5f0f\u7684\u306a\u5b9a\u7fa9[\u7de8\u96c6]\u7d30\u304b\u3044\u76f8\u9055[\u7de8\u96c6]\u5909\u63db\u6a5f[\u7de8\u96c6]\u6c7a\u5b9a\u7684\u3068\u975e\u6c7a\u5b9a\u7684[\u7de8\u96c6]\u795e\u8a17\u3064\u304d\u6a5f\u68b0[\u7de8\u96c6]\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3[\u7de8\u96c6]\u6ce8\u91c8[\u7de8\u96c6]\u51fa\u5178[\u7de8\u96c6]\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]\u73fe\u5b9f\u306e\u8a08\u7b97\u3068\u306e\u95a2\u4fc2[\u7de8\u96c6]\u5b9f\u969b\u306e\u8a08\u7b97\u6a5f\u306e\u57fa\u672c\u7684\u52d5\u4f5c\u3082\u3001\u7a81\u304d\u8a70\u3081\u3066\u8003\u3048\u308c\u3070\u3001\u3053\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306e\u539f\u7406\u306b\u5f93\u3063\u3066\u3044\u308b\u3068\u3044\u3048\u308b\u3002\u5b9f\u7528\u4e0a\u306e\u96fb\u5b50\u8a08\u7b97\u6a5f\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u3088\u308a\u3082\u9065\u304b\u306b\u8907\u96d1\u3067\u3042\u308a\u3001\u307e\u305f\u6709\u9650\u306e\u8a18\u61b6\u9818\u57df\u3057\u304b\u6301\u305f\u306a\u3044\u304c\u3001\u300c\u8a08\u7b97\u6a5f\u3067\u539f\u7406\u4e0a\u89e3\u3051\u308b\u554f\u984c\u300d\u306f\u300c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u3067\u89e3\u3051\u308b\u554f\u984c\u300d\u3068\u540c\u3058\u3067\u3042\u308b\u3068\u3044\u308f\u308c\u3066\u3044\u308b\u3002\u3053\u306e\u305f\u3081\u8a08\u7b97\u7406\u8ad6\u3067\u306f\u3001\u7b97\u6cd5\u3042\u308b\u3044\u306f\u7b97\u8b5c\u3092\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u3068\u540c\u4e00\u8996\u3059\u308b\uff08\u30c1\u30e3\u30fc\u30c1\uff1d\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u30c6\u30fc\u30bc\uff09\u3002\u6570\u5b66\u306e\u5f62\u5f0f\u4f53\u7cfb\u306f\u3059\u3079\u3066\u3053\u306e\u4eee\u60f3\u6a5f\u68b0\u306e\u52d5\u4f5c\u306b\u9084\u5143\u3067\u304d\u308b\u3068\u3044\u308f\u308c\u3066\u3044\u308b\u3002\u3053\u306e\u6a5f\u68b0\u3067\u6c7a\u5b9a\u3067\u304d\u306a\u3044\u547d\u984c\u3082\u5b58\u5728\u3059\u308b\u3002\u4f8b\u3048\u3070\u4e0e\u3048\u3089\u308c\u305f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u304c\u505c\u6b62\u3059\u308b\u304b\u3069\u3046\u304b\u3092\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u3067\u6c7a\u5b9a\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u306a\u3044\uff08\u505c\u6b62\u6027\u554f\u984c\uff09\u3002\u3053\u308c\u306f\u30b2\u30fc\u30c7\u30eb\u306e\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u306e\u5225\u306e\u8868\u73fe\u306e\u5f62\u3068\u307f\u306a\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u5f62\u5f0f\u7684\u306a\u5b9a\u7fa9[\u7de8\u96c6]\u3053\u306e\u7bc0\u3067\u306f\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u3092\u5f62\u5f0f\u7684\uff08formal\uff09\u306b\u8a18\u8ff0\u3059\u308b\u3002\u3042\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306f\u6b21\u306e7{displaystyle 7}\u3064\u7d44M=\u27e8Q,\u0393,b,\u03a3,\u03b4,qinit,qacc\u27e9{displaystyle M=langle Q,{mathit {Gamma }},b,{mathit {Sigma }},delta ,q_{mathrm {init} },q_{mathrm {acc} }rangle }\u3067\u5b9a\u7fa9\u3055\u308c\u308b\u3002Q \u306f\u6709\u9650\u96c6\u5408\u3067\u3042\u308a\u3001\u305d\u306e\u5143\u3092\u72b6\u614b\u3068\u3044\u3046\u3002\u0393 \u306f Q \u306b\u4ea4\u308f\u3089\u306a\u3044\u6709\u9650\u96c6\u5408\u3067\u3042\u308a\u3001\u5b57\u6bcd\u3068\u3088\u3070\u308c\u308b\u3002\u305d\u306e\u5143\u3092\u8a18\u53f7\u3068\u3044\u3046\u3002b \u306f \u0393 \u306e\u5143\u3067\u3042\u308a\u3001\u7a7a\u767d\u8a18\u53f7\u3068\u3088\u3070\u308c\u308b\u3002\u03a3 \u306f \u0393 – {b} \u306e\u90e8\u5206\u96c6\u5408\u3067\u3042\u308a\u3001\u5165\u529b\u5b57\u6bcd\u3068\u3088\u3070\u308c\u308b\u3002\u305d\u306e\u5143\u3092\u5165\u529b\u8a18\u53f7\u3068\u3044\u3046\u3002\u03b4 \u306f Q \u00d7 \u0393 \u304b\u3089 Q \u00d7 \u0393 \u00d7 {left, right} \u3078\u306e\u5199\u50cf\u3067\u3042\u308a\u3001\u9077\u79fb\u51fd\u6570\u3068\u3088\u3070\u308c\u308b\u3002\u03b4(q, a) = (q’, a’, m) \u306f\u3001\u300c\u73fe\u5728\u306e\u72b6\u614b\u304c q \u3067\u3042\u308a\u3001\u7740\u76ee\u4f4d\u7f6e\u306b\u3042\u308b\u8a18\u53f7\u304c a \u3067\u3042\u308c\u3070\u3001\u72b6\u614b\u3092 q’ \u306b\u79fb\u3057\u3001\u7740\u76ee\u4f4d\u7f6e\u306b\u8a18\u53f7 a’ \u3092\u66f8\u304d\u8fbc\u3093\u3067\u304b\u3089\u3001\u7740\u76ee\u4f4d\u7f6e\u3092 m \u65b9\u5411\u306b1\u3064\u305a\u3089\u3059\u300d\u3068\u8aad\u3080\u3002qinit \u306f Q \u306e\u5143\u3067\u3042\u308a\u3001\u521d\u671f\u72b6\u614b\u3068\u3088\u3070\u308c\u308b\u3002qacc \u306f Q \u306e\u5143\u3067\u3042\u308a\u3001\u53d7\u7406\u72b6\u614b\u3068\u3088\u3070\u308c\u308b\u3002M \u306e\u72b6\u6cc1\u3068\u306f\u3001\u0393\u222aQ{displaystyle {mathit {Gamma }}cup Q}\u4e0a\u306e\uff08\u7247\u5074\uff09\u7121\u9650\u5217\u306e\u3046\u3061\u3001Q \u306e\u5143\u304c\u3061\u3087\u3046\u30691\u5ea6\u73fe\u308c\u3001\u307e\u305f b \u4ee5\u5916\u306e\u8a18\u53f7\u304c\u6709\u9650\u56de\u3057\u304b\u73fe\u308c\u306a\u3044\u3082\u306e\u3092\u3044\u3046\u3002\u9077\u79fb\u51fd\u6570 \u03b4 \u306f\u3001\u72b6\u6cc1\u304b\u3089\u72b6\u6cc1\u3078\u306e\u5199\u50cf\u3092\u81ea\u7136\u306b\u5b9a\u3081\u308b\u3002M \u304c\u6587\u5b57\u5217x\u2208\u03a3\u2217{displaystyle xin Sigma ^{*}}\u3092\u53d7\u7406\u3059\u308b\u3068\u306f\u3001\u72b6\u6cc1qinitxbb\u22ef{displaystyle q_{mathrm {init} }xbbcdots }\u306b\u3053\u306e\u5199\u50cf\u3092\u6709\u9650\u56de\u65bd\u3059\u3053\u3068\u3067\u72b6\u6cc1qaccbb\u22ef{displaystyle q_{mathrm {acc} }bbcdots }\u304c\u5f97\u3089\u308c\u308b\u3053\u3068\u3092\u3044\u3046\u3002\u305d\u306e\u6700\u5c0f\u56de\u6570\u3092 M \u306e x \u306b\u5bfe\u3059\u308b\u5b9f\u884c\u6642\u9593\u3068\u3088\u3076\u3002\u305d\u306e\u904e\u7a0b\u306b\u304a\u3051\u308b\u72b6\u6cc1\u4e2d\u306e q \u306e\u6700\u53f3\u4f4d\u7f6e\u3092\u3001M \u304c x \u306b\u5bfe\u3057\u3066\u4f7f\u7528\u3059\u308b\u8a18\u61b6\u9818\u57df\u91cf\u3068\u3044\u3046\u3002M \u304c\u8a00\u8a9eL\u2286\u03a3\u2217{displaystyle Lsubseteq {mathit {Sigma }}^{*}}\u3092\u8a8d\u8b58\u3059\u308b\u3068\u306f\u3001M \u304c L \u306e\u5143\u306e\u307f\u3092\u307f\u306a\u53d7\u7406\u3059\u308b\u3053\u3068\u3092\u3044\u3046\u3002\u305d\u306e\u3088\u3046\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0 M \u304c\u5b58\u5728\u3059\u308b\u3068\u304d\u3001L \u306f\u5e30\u7d0d\u53ef\u679a\u6319\uff08recursively enumerable\uff09\u3042\u308b\u3044\u306f\u8a08\u7b97\u53ef\u679a\u6319\uff08computably enumerable\uff09\u3067\u3042\u308b\u3068\u3044\u3046\u3002L \u3068\u03a3\u2217\u2216L{displaystyle {mathit {Sigma }}^{*}setminus L}\u304c\u3068\u3082\u306b\u5e30\u7d0d\u53ef\u679a\u6319\u3067\u3042\u308b\u3068\u304d\u3001L\u306f\u5e30\u7d0d\u7684\uff08recursive\uff09\u3042\u308b\u3044\u306f\u6c7a\u5b9a\u53ef\u80fd\uff08decidable\uff09\u3067\u3042\u308b\u3068\u3044\u3046\u3002\u3088\u308a\u7cbe\u7d30\u306b\u3001\u81ea\u7136\u6570\u304b\u3089\u81ea\u7136\u6570\u3078\u306e\u5199\u50cf t \u306b\u5bfe\u3057\u3001M \u304c L \u3092\u6642\u9593\u8a08\u7b97\u91cf\uff3b\u306a\u3044\u3057\u7a7a\u9593\u8a08\u7b97\u91cf\uff3dt \u3067\u8a8d\u8b58\u3059\u308b\u3068\u306f\u3001M \u304c L \u3092\u8a8d\u8b58\u3057\u3001\u304b\u3064\u5404x\u2208L{displaystyle xin L}\u306b\u5bfe\u3059\u308bM{displaystyle M}\u306e\u5b9f\u884c\u6642\u9593\uff3b\u306a\u3044\u3057\u8a18\u61b6\u9818\u57df\u91cf\uff3d\u304ct(|x|){displaystyle t(left|xright|)}\u4ee5\u4e0b\u3067\u3042\u308b\u3053\u3068\u3092\u3044\u3046\u3002\u3053\u3053\u3067|x|{displaystyle left|xright|}\u306f\u6587\u5b57\u5217 x \u306e\u9577\u3055\u3092\u8868\u3059\u3002\u7d30\u304b\u3044\u76f8\u9055[\u7de8\u96c6]\u6b21\u306e\u5404\u9805\u76ee\u306b\u3064\u3044\u3066\u4e0a\u8a18\u306e\u5b9a\u7fa9\u306b\u5909\u66f4\u3092\u65bd\u3057\u3066\u3082\u3001\u5e30\u7d0d\u53ef\u679a\u6319\u306a\u8a00\u8a9e\u306f\u5909\u308f\u3089\u305a\u3001\u307e\u305f\u6642\u9593\u8a08\u7b97\u91cf\u3084\u7a7a\u9593\u8a08\u7b97\u91cf\u306b\u5bfe\u3059\u308b\u5f71\u97ff\u3082\u5c0f\u3055\u3044\u3002\u3053\u306e\u305f\u3081\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306e\u5b9a\u7fa9\u306e\u8a73\u7d30\u306f\u6587\u732e\u306b\u3088\u3063\u3066\u7570\u306a\u3063\u3066\u3044\u308b\u3002\u5b57\u6bcd\u0393{displaystyle {mathit {Gamma }}}\u306e\u5927\u304d\u3055\uff08\u305d\u308c\u304c\u03a3{displaystyle {mathit {Sigma }}}\u3092\u542b\u3080\u6709\u9650\u96c6\u5408\u3067\u3042\u308b\u304b\u304e\u308a\uff09\u3002\u9077\u79fb\u51fd\u6570\u304c\u7740\u76ee\u4f4d\u7f6e\u3092\u5de6\u53f3\u306b\u5fc5\u305a\u52d5\u304b\u3059\u304b\u3001\u540c\u3058\u4f4d\u7f6e\u306b\u7559\u307e\u308b\u4e8b\u3092\u8a31\u3059\u304b\u3002\u6587\u5b57\u5217\u3092\u53d7\u7406\u3059\u308b\u3055\u3044\u3001\u30c6\u30fc\u30d7\u4e0a\u306e\u8a18\u53f7\u3092\u3059\u3079\u3066b{displaystyle b}\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u304b\u3001\u53d7\u7406\u72b6\u614b\u3078\u79fb\u308b\u3060\u3051\u3067\u3088\u3044\u304b\u3002\u30c6\u30fc\u30d7\u304c\u4e21\u65b9\u5411\u306b\u7121\u9650\u3067\u3042\u308b\u304b\u3001\u7247\u5074\u306b\u7d42\u7aef\u304c\u3042\u308b\u304b\u3002\u3055\u3089\u306b\u3001\u8a18\u61b6\u9818\u57df\u304c\u4e00\u6b21\u5143\u306e\u30c6\u30fc\u30d7\u3067\u3042\u308b\u304b\u3001\u3088\u308a\u8907\u96d1\u306a\u5f62\u72b6\u3092\u3057\u3066\u3044\u308b\u304b\u3002\u30c6\u30fc\u30d7\u306e\u672c\u6570\u3002\u7a7a\u9593\u8a08\u7b97\u91cf\u3092\u7d30\u304b\u304f\u8abf\u3079\u308b\u3068\u304d\u306b\u306f\u3001\u66f8\u304d\u63db\u3048\u3067\u304d\u306a\u3044\u5165\u529b\u5c02\u7528\u30c6\u30fc\u30d7\u3092\u8a2d\u3051\u3066\u3001\u305d\u3053\u3067\u306e\u4f7f\u7528\u9818\u57df\u91cf\u3092\u7121\u8996\u3059\u308b\u3053\u3068\u304c\u3042\u308b\u3002\u3059\u306a\u308f\u3061\u3001\u9077\u79fb\u51fd\u6570\u03b4{displaystyle delta }\u3092Q\u00d7\u03932{displaystyle Qtimes {mathit {Gamma }}^{2}}\u304b\u3089Q\u00d7\u0393\u00d7{left,right}2{displaystyle Qtimes {mathit {Gamma }}times {mathrm {left} ,mathrm {right} }^{2}}\u3078\u306e\u5199\u50cf\u3068\u3057\u3001\u72b6\u6cc1\u306e\u5b9a\u7fa9\u3082\u9069\u5207\u306b\u5909\u66f4\u3059\u308b\u3002\u5909\u63db\u6a5f[\u7de8\u96c6]\u8a00\u8a9e\u3092\u8a8d\u8b58\u3059\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u03a3\u2217{displaystyle {mathit {Sigma }}^{*}}\u304b\u3089\u03a3\u2217{displaystyle {mathit {Sigma }}^{*}}\u3078\u306e\u90e8\u5206\u51fd\u6570f{displaystyle f}\u3092\u8a08\u7b97\u3059\u308b\u6a5f\u68b0\u3092\u8003\u3048\u308b\u3053\u3068\u3082\u3067\u304d\u308b\u3002\u3059\u306a\u308f\u3061\u6a5f\u68b0M{displaystyle M}\u306f\u3001\u5404x\u2208dom(f){displaystyle xin mathrm {dom} (f)}\u306b\u5bfe\u3057\u3066\u306f\u6587\u5b57\u5217f(x){displaystyle f(x)}\u3092\u30c6\u30fc\u30d7\u306b\u66f8\u3044\u3066\u304b\u3089\u521d\u3081\u3066\u53d7\u7406\u72b6\u614b\u3078\u79fb\u308a\u3001x\u2209dom(f){displaystyle xnotin mathrm {dom} (f)}\u306b\u5bfe\u3057\u3066\u306f\u6c7a\u3057\u3066\u53d7\u7406\u72b6\u614b\u3078\u79fb\u3089\u306a\u3044\u3002\u3053\u306e\u3088\u3046\u306aM{displaystyle M}\u304c\u5b58\u5728\u3059\u308b\u3068\u304d\u3001f{displaystyle f}\u306f\u90e8\u5206\u5e30\u7d0d\u7684\u3042\u308b\u3044\u306f\u8a08\u7b97\u53ef\u80fd\uff08computable\uff09\u3067\u3042\u308b\u3068\u3044\u3046\u3002\u6c7a\u5b9a\u7684\u3068\u975e\u6c7a\u5b9a\u7684[\u7de8\u96c6]\u9077\u79fb\u95a2\u6570\u03b4{displaystyle delta }\u306b\u304a\u3044\u3066\u3001\u73fe\u5728\u306e\u72b6\u614b q \u3068\u7740\u76ee\u4f4d\u7f6e\u306b\u3042\u308b\u8a18\u53f7 a \u306e\u3001\u3042\u308b\u7d44 (q, a) \u306b\u5bfe\u3057\u3001\u5024\uff08\u3059\u306a\u308f\u3061\u305d\u306e\u6642\u306b\u3059\u3079\u304d\u52d5\u4f5c\uff09\u304c\u3001\u9ad8\u3005\u4e00\u3064\u306a\u3089\u3070\u3001\u305d\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306f\u300c\u6c7a\u5b9a\u7684\u300d\uff08deterministic\uff09\u3067\u3042\u308b\u3002\u3053\u308c\u306b\u5bfe\u3057\u3001\u52d5\u4f5c\u304c\u8907\u6570\u306e\u5834\u5408\u306f\u300c\u975e\u6c7a\u5b9a\u7684\u300d\uff08non-deterministic\uff09\u3067\u3042\u308a\u3001\u53d7\u7406\u306e\u610f\u5473\u3082\u518d\u5b9a\u7fa9\u3057\u3066\u3001\u975e\u6c7a\u5b9a\u7684\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3084\u4e71\u629e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u304c\u5b9a\u7fa9\u3055\u308c\u308b\u3002\u307e\u305f\u3001\u672a\u6765\u3068\u904e\u53bb\u3092\u9006\u306b\u3057\u3066\u3082\u6c7a\u5b9a\u7684\u3067\u3042\u308b\u306e\u304c\u53ef\u9006\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3067\u3042\u308b\u3002\u795e\u8a17\u3064\u304d\u6a5f\u68b0[\u7de8\u96c6]\u8cea\u554f\u72b6\u614b\u3092\u52a0\u3048\u308b\u3002\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3[\u7de8\u96c6]\u9077\u79fb\u898f\u5247\u3092\u3046\u307e\u304f\u69cb\u6210\u3059\u308b\u3053\u3068\u3067\u3001\u300c\u3044\u304b\u306a\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3067\u3042\u308d\u3046\u3068\u3082\u3001\u305d\u308c\u3092\u6a21\u5023\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\uff08\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\uff09\u300d\u304c\u53ef\u80fd\u3067\u3042\u308b\u3002\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306f\u3001\u4e0e\u3048\u3089\u308c\u305f\u3001\u5225\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3092\u8a18\u8ff0\u3057\u305f\u8a18\u53f7\u5217\u3068\u3001\u305d\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3078\u306e\u5165\u529b\u8a18\u53f7\u5217\u3092\u8aad\u307f\u3053\u307f\u3001\u305d\u308c\u306b\u5f93\u3063\u3066\u52d5\u304f\u3002\uff08\u30a8\u30df\u30e5\u30ec\u30fc\u30bf\u306e\u539f\u7406\uff09\u6ce8\u91c8[\u7de8\u96c6]^ \u4e00\u822c\u7684\u306b\u306f\u4e21\u65b9\u5411\u306b\u3044\u304f\u3089\u3067\u3082\u30b7\u30fc\u30af\u3067\u304d\u308b\u3082\u306e\u3068\u3059\u308b\u304c\u3001\u7406\u8ad6\u7684\u306b\u306f\u7247\u65b9\u306b\u306f\u7aef\u304c\u3042\u3063\u3066\u3082\u826f\u3044\u306e\u3067\u305d\u306e\u3088\u3046\u306b\u5236\u9650\u3059\u308b\u3053\u3068\u3082\u3042\u308b\u3002^ \u3042\u308b\u3044\u306f\u5358\u306b\u505c\u6b62\u3059\u308b\u5834\u5408\u306f\u3001\u505c\u6b62\u3059\u308b\u524d\u306b\u3001\u7b54\u3048\u304c\u3069\u3061\u3089\u3067\u3042\u308b\u304b\u3092\u3001\u30c6\u30fc\u30d7\u4e0a\u306e\u8a18\u53f7\u5217\u3068\u3057\u3066\u66f8\u304d\u6b8b\u3057\u3066\u304b\u3089\u505c\u6b62\u3059\u308b\u3002\u51fa\u5178[\u7de8\u96c6]\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]\u89e3\u8aac\u305d\u306e\u4ed6     (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki\/archives\/11197#breadcrumbitem","name":"\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3 – Wikipedia"}}]}]