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

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

by Tom Stuart, 笹田 耕一, 笹井 崇司
September 2014
Intermediate to advanced
336 pages
7h 53m
Japanese
O'Reilly Japan, Inc.
Content preview from アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
228
7
章 至るところにある万能性
7.5
 タグシステム
タグシステム(tag system)とは、単純化したチューリングマシンのように動く計算モデルです。タ
グシステムでは、テープ上でヘッドをあちこち動かす代わりに、文字列の末尾への新しい文字の追加
と、文字列の先頭からの文字の削除とを繰り返すことによって、文字列を操作します。タグシステムの
文字列は、ある意味でチューリングマシンのテープと似ていますが、文字列の両端しか操作できず、
終端に向かって一方向にしか動けないという制約があります。
タグシステムの記述は2 つの部分から構成されます。1つは規則の集合で、各規則は特定の文字が先
頭に現れたときに追記すべき文字を規定します。たとえば「文字
a
が文字列の先頭にあるとき、文字
bcd
を追記する」という形になります。もう1つは削除数(deletion number)と呼ばれる数で、規則に
したがった後、文字列の先頭から何文字削除するかを規定します。
タグシステムの一例を、以下に示します。
文字列が
a
で始まるとき、文字
bc
を追記する。
文字列が
b
で始まるとき、文字
caad
を追記する。
文字列が
c
で始まるとき、文字
ccd
を追記する。
以上の規則のいずれかにしたがった後、文字列の先頭から3文字削除する。すなわち、削除数は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