September 2014
Intermediate to advanced
336 pages
7h 53m
Japanese
Content preview from アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
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,
O’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.I 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.I’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.I'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.
8.3
停止性問題
271
という問題は決定不能のように見えます。なぜなら、プッシュダウン・オートマトンをRubyで直接シ
ミュレーションすると、永久にループして答えが出ない可能性があるのを目の当たりにしたためです。
ところが、特定のプッシュダウン・オートマトンが所定の長さの入力文字列を受理もしくは拒否するの
に、シミュレーションのステップ数がどれくらい必要になるかを正確に計算する方法があります
†
。した
がって、この問題は最終的には決定可能になります。必要なステップ数を計算して、そのステップ数
だけシミュレーションを実行し、入力が受理されたかどうかをチェックすればよいのです。
では、これは常に可能なのでしょうか。問題をうまく逃れて、有限時間内で問題を解くことを保証し
た機械やプログラムを実装する方法を見つけるような、賢い方法は必ずあるのでしょうか。
いいえ、残念ながらありません。決定問題は無限にありますが、それらの多くは決定不能であるこ
とがわかっています。そうした問題を解くための、停止することが保証されたアルゴリズムというのは
存在しません。これらの問題が決定不能なのは、適切なアルゴリズムがまだ見つかっていないためで
はありません。これは、問題自体が一部の入力について根本的に解けないためです。適切なアルゴリ
ズムが見つからないことを証明することさえできるのです。
8.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
O’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.
I 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.
I’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.
I'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.