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

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

by Tom Stuart, 笹田 耕一, 笹井 崇司
September 2014
Intermediate to advanced
336 pages
7h 53m
Japanese
O'Reilly Japan, Inc.
Content preview from アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
132
4
章 能力を高める
この実行トレースを見ると、機械がシンボル規則とトークン規則を行ったり来たりしているのがわか
ります。シンボル規則はスタックのトップがトークンに置き換わるまで、シンボルを繰り返し展開して
いきます。そして、トークン規則はスタックのトップがシンボルに当たるまで、スタック(と入力)を消
費していきます。入力文字列が文法規則によって生成できる限り、行ったり来たりしながら、最終的に
空のスタックが得られます
実行の各ステップにおいて、PDAはどうやって選ぶべき規則を知るのでしょうか。これが非決定性
の能力です。NPDAシミュレーションは可能な規則をすべて試します。空のスタックに到達するパス
がある限り、それは必ず見つかります。
4.3.3
 実用性
このパース手順は非決定性を頼りにしていますが、実際の応用では、非決定性を避けたほうがよい
でしょう。なぜなら、非決定性PDAよりも決定性PDAのほうが、ずっと高速でシミュレートしやすい
ためです。幸運なことに、ほとんどの場合、入力トークンそのものを使って各ステージでどのシンボル
規則を適用するかを判断することで(先読み(lookahead)と呼ばれるテクニック)、非決定性を取り除
くことができます。ただし、CFGからPDAへの変換はもっと複雑になります。
また実際のところ、有効なプログラムを認識できるだけでは十分ではありません。「2.6 パーサの実
装」で見たように、プログラムをパースすることの本質は、プログラムを構造化された表現に変換し、
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