Skip to Content
アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
book

アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで

by Tom Stuart, 笹田 耕一, 笹井 崇司
September 2014
Intermediate to advanced
336 pages
7h 53m
Japanese
O'Reilly Japan, Inc.
Content preview from アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
142
5
章 究極の機械
5.1.3
 決定性
チューリングマシンの設計を決定的にするためには、決定性プッシュダウン・オートマトンと同じ制
約にしたがう必要があります(「4.1.3 決定性」を参照)。ただし、チューリングマシンには自由移動が
ないため、自由移動について気にする必要はありません。
チューリングマシンがとるべき次のアクションは、現在の状態と現在テープヘッドの下にある文字に
よって決まります。次のアクションにあいまいさをなくすため、決定性機械は状態と文字の組み合わせ
に対して、「矛盾がない」規則を1 つだけ持つことができます。話を簡単にするため、DPDAでやった
のと同じように、「省略がない」という制約を緩和することにします。可能なすべての状況に対して規則
を必ず1つ持つ代わりに、適用できる規則がないときには暗黙の行き詰まり状態になるものとします。
5.1.4
 シミュレーション
これで決定性チューリングマシンの動きがわかりました。Rubyでシミュレーションを構築し、実際
に動かしてみましょう。
最初のステップは、チューリングマシンのテープを実装することです。テープの実装には、テープに
書かれている文字を格納するのはもちろんのこと、テープヘッドの現在の位置も覚えておく必要があり
ます。これによって、シミュレーションは現在のヘッドの位置にある文字を読み、新しい文字を書き、
ヘッドを左右に動かして別の位置に到達することができます。
テープを実装するエレガントなやり方は、テープを3 つの部分、テープヘッドの左側 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Read now

Unlock full access

More than 5,000 organizations count on O’Reilly

AirBnbBlueOriginElectronic ArtsHomeDepotNasdaqRakutenTata Consultancy Services

QuotationMarkO’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.
Julian F.
Head of Cybersecurity
QuotationMarkI wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.
Addison B.
Field Engineer
QuotationMarkI’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.
Amir M.
Data Platform Tech Lead
QuotationMarkI'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
Mark W.
Embedded Software Engineer

You might also like

行動を変えるデザイン ―心理学と行動経済学をプロダクトデザインに活用する

行動を変えるデザイン ―心理学と行動経済学をプロダクトデザインに活用する

Stephen Wendel, 武山 政直, 相島 雅樹, 反中 望, 松村 草也
マスタリング・イーサリアム ―スマートコントラクトとDAppの構築

マスタリング・イーサリアム ―スマートコントラクトとDAppの構築

Andreas M. Antonopoulos, Gavin Wood, 宇野 雅晴, 鳩貝 淳一郎, 中城 元臣, 落合 渉悟, 落合 庸介, 小林 泰男, 土屋 春樹, 祢津 誠晃, 平山 翔, 三津澤 サルバドール将司, 山口 和輝
Pythonによるデータ分析入門 第2版 ―NumPy、pandasを使ったデータ処理

Pythonによるデータ分析入門 第2版 ―NumPy、pandasを使ったデータ処理

Wes McKinney, 瀬戸山 雅人, 小林 儀匡, 滝口 開資

Publisher Resources

ISBN: 9784873116976Other