pandaman64 https://blog.hatena.ne.jp/pandaman64/ 井山梃子歴史館 https://pandaman64.hatenablog.jp/ きしださんは（チューリング完全な）計算モデルにはかならず状態の概念がある、と主張しています。文脈は次のツイートのあたりを見るとまあわかると思います。いえ、チューリングマシンで見いだされた計算の性質は、ほかの計算モデルにも引き継がれます。互換性があるからほかの計算モデルを利用しているわけです。単に状態が明示的ではないだけです。— きしだൠ(K1S) (@kis) 2023年2月28日 この主張に対する反例として、ブーリアン回路による計算モデルを紹介します。 ブーリアン回路とチューリングマシンの等価性 ブーリアン回路*1とは、ANDやORといった組み合わせゲートを集めてできる回路のことです。 ブー… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpandaman64.hatenablog.jp%2Fentry%2F2023%2F02%2F28%2F194504" title="状態の概念が存在しない計算モデルはあります (例: ブーリアン回路) - 井山梃子歴史館" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-02-28 19:45:04 rich https://pandaman64.hatenablog.jp/entry/2023/02/28/194504 1.0 100%