[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/jp\/wiki10\/archives\/324661#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/jp\/wiki10\/archives\/324661","headline":"\u72b6\u614b\u9077\u79fb\u7cfb – Wikipedia","name":"\u72b6\u614b\u9077\u79fb\u7cfb – Wikipedia","description":"before-content-x4 \u72b6\u614b\u9077\u79fb\u7cfb\uff08\u3058\u3087\u3046\u305f\u3044\u305b\u3093\u3044\u3051\u3044\u3001State Transition System\uff09\u3068\u306f\u3001\u7406\u8ad6\u8a08\u7b97\u6a5f\u79d1\u5b66\u3067\u306e\u8a08\u7b97\u306e\u7814\u7a76\u306b\u4f7f\u7528\u3055\u308c\u308b\u62bd\u8c61\u6a5f\u68b0\u306e\u4e00\u7a2e\u3002\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u72b6\u614b\u7fa4\u3068\u72b6\u614b\u9593\u306e\u9077\u79fb\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002 after-content-x4 \u72b6\u614b\u3068\u9077\u79fb\u304c\u6709\u9650\u500b\u306e\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u6709\u5411\u30b0\u30e9\u30d5\u3067\u8868\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u3002 \u307e\u305f\u3001\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u300c\u30e9\u30d9\u30eb\u4ed8\u304d\u300d\u3068\u300c\u30e9\u30d9\u30eb\u7121\u3057\u300d\u306e2\u7a2e\u985e\u306b\u5206\u985e\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002 \u5f62\u5f0f\u7684\u5b9a\u7fa9[\u7de8\u96c6] \u30e9\u30d9\u30eb\u7121\u3057\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u5f62\u5f0f\u7684\u306b\u306f\u30bf\u30d7\u30eb (S, \u2192) \u3067\u8868\u3055\u308c\u3001S \u306f\u72b6\u614b\u306e\u96c6\u5408\u3001\u2192 \u306f \u2192 \u2286 S \u00d7 S \u3068\u3044\u3046","datePublished":"2022-04-18","dateModified":"2022-04-18","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/jp\/wiki10\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/jp\/wiki10\/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:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/9a2d86656f96d7bae665b69b7765e120ffc944c8","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/9a2d86656f96d7bae665b69b7765e120ffc944c8","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/jp\/wiki10\/archives\/324661","about":["Wiki"],"wordCount":457,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u72b6\u614b\u9077\u79fb\u7cfb\uff08\u3058\u3087\u3046\u305f\u3044\u305b\u3093\u3044\u3051\u3044\u3001State Transition System\uff09\u3068\u306f\u3001\u7406\u8ad6\u8a08\u7b97\u6a5f\u79d1\u5b66\u3067\u306e\u8a08\u7b97\u306e\u7814\u7a76\u306b\u4f7f\u7528\u3055\u308c\u308b\u62bd\u8c61\u6a5f\u68b0\u306e\u4e00\u7a2e\u3002\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u72b6\u614b\u7fa4\u3068\u72b6\u614b\u9593\u306e\u9077\u79fb\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u72b6\u614b\u3068\u9077\u79fb\u304c\u6709\u9650\u500b\u306e\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u6709\u5411\u30b0\u30e9\u30d5\u3067\u8868\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u307e\u305f\u3001\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u300c\u30e9\u30d9\u30eb\u4ed8\u304d\u300d\u3068\u300c\u30e9\u30d9\u30eb\u7121\u3057\u300d\u306e2\u7a2e\u985e\u306b\u5206\u985e\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u5f62\u5f0f\u7684\u5b9a\u7fa9[\u7de8\u96c6]\u30e9\u30d9\u30eb\u7121\u3057\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u5f62\u5f0f\u7684\u306b\u306f\u30bf\u30d7\u30eb (S, \u2192) \u3067\u8868\u3055\u308c\u3001S \u306f\u72b6\u614b\u306e\u96c6\u5408\u3001\u2192 \u306f \u2192 \u2286 S \u00d7 S \u3068\u3044\u3046 S \u4e0a\u306e\u4e8c\u9805\u95a2\u4fc2\uff08\u3064\u307e\u308a\u9077\u79fb\uff09\u3067\u3042\u308b\u3002p,q \u2208 S \u3067 (p,q) \u2208 \u2192 \u3067\u3042\u308b\u3068\u304d\u3001\u3053\u308c\u3092 p \u2192 q \u3068\u8a18\u8ff0\u3059\u308b\u3002\u3053\u308c\u306f\u3059\u306a\u308f\u3061\u3001\u72b6\u614b p \u304b\u3089\u72b6\u614b q \u3078\u306e\u9077\u79fb\u304c\u5b58\u5728\u3059\u308b\u3053\u3068\u3092\u610f\u5473\u3059\u308b\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30e9\u30d9\u30eb\u4ed8\u304d\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u30bf\u30d7\u30eb\uff08S, \u039b, \u2192) \u3067\u8868\u3055\u308c\u3001S \u306f\u72b6\u614b\u306e\u96c6\u5408\u3001\u039b \u306f\u30e9\u30d9\u30eb\u306e\u96c6\u5408\u3001\u2192 \u2286 S \u00d7 \u039b \u00d7 S \u306f\uff08\u30e9\u30d9\u30eb\u4ed8\u304d\u9077\u79fb\u306e\uff09\u4e09\u9805\u95a2\u4fc2\u3067\u3042\u308b\u3002p, q \u2208 S \u3067 \u03b1 \u2208 \u039b \u3067\u3042\u308b\u3068\u304d\u3001(p,\u03b1,q) \u2208 \u2192 \u306a\u3089\u3070\u3001\u3053\u308c\u3092\u6b21\u306e\u3088\u3046\u306b\u8a18\u8ff0\u3059\u308b\u3002\u03b1p\u2192q{displaystyle {begin{matrix}&alpha &\\p&rightarrow &qend{matrix}}}       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u3053\u308c\u306f\u3001\u72b6\u614b p \u304b\u3089\u72b6\u614b q \u3078\u306e\u30e9\u30d9\u30eb \u03b1 \u4ed8\u304d\u306e\u9077\u79fb\u304c\u5b58\u5728\u3059\u308b\u3053\u3068\u3092\u610f\u5473\u3059\u308b\u3002\u30e9\u30d9\u30eb\u306f\u5bfe\u8c61\u8a00\u8a9e\u306b\u3088\u3063\u3066\u69d8\u3005\u306a\u4e8b\u67c4\u3092\u8868\u73fe\u3059\u308b\u3002\u4e00\u822c\u7684\u306b\u306f\u9077\u79fb\u306b\u5fc5\u8981\u3068\u3055\u308c\u308b\u5165\u529b\u3092\u8868\u3059\u5834\u5408\u3001\u9077\u79fb\u306e\u30c8\u30ea\u30ac\u30fc\u3068\u306a\u308b\u6761\u4ef6\u3092\u8868\u3059\u5834\u5408\u3001\u9077\u79fb\u306b\u969b\u3057\u3066\u5b9f\u884c\u3055\u308c\u308b\u884c\u52d5\u3092\u8868\u3059\u5834\u5408\u304c\u3042\u308b\u3002\u30e9\u30d9\u30eb\u4ed8\u304d\u72b6\u614b\u9077\u79fb\u7cfb\u3068\u30e9\u30d9\u30eb\u7121\u3057\u72b6\u614b\u9077\u79fb\u7cfb\u306e\u95a2\u4fc2[\u7de8\u96c6]\u3053\u308c\u3089\u306e\u6982\u5ff5\u306b\u306f\u69d8\u3005\u306a\u95a2\u4fc2\u304c\u3042\u308b\u3002\u5358\u7d14\u306a\u95a2\u4fc2\u3068\u3057\u3066\u306f\u3001\u30e9\u30d9\u30eb\u306e\u96c6\u5408\u306b1\u3064\u3057\u304b\u8981\u7d20\u304c\u7121\u3044\u30e9\u30d9\u30eb\u4ed8\u304d\u72b6\u614b\u9077\u79fb\u7cfb\u306f\u3001\u30e9\u30d9\u30eb\u7121\u3057\u72b6\u614b\u9077\u79fb\u7cfb\u3068\u7b49\u4fa1\u3067\u3042\u308b\u3002\u3057\u304b\u3057\u3001\u3053\u308c\u3089\u306e\u95a2\u4fc2\u306f\u5fc5\u305a\u3057\u3082\u305d\u306e\u3088\u3046\u306a\u7463\u672b\u306a\u3082\u306e\u3070\u304b\u308a\u3067\u306f\u306a\u3044\u3002\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]     (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\/wiki10\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki10\/archives\/324661#breadcrumbitem","name":"\u72b6\u614b\u9077\u79fb\u7cfb – Wikipedia"}}]}]