プログラミング言語Turing : 言語仕様の基礎理論と設計技法
Author(s)
Bibliographic Information
プログラミング言語Turing : 言語仕様の基礎理論と設計技法
啓学出版, 1990.8
- Other Title
-
The Turing programming language
- Title Transcription
-
プログラミング ゲンゴ Turing : ゲンゴ シヨウ ノ キソ リロン ト セッケイ ギホウ
Available at 48 libraries
Search this Book/Journal
Note
監訳:湯浅太一
他の訳者:三好博之,竹岡尚三
参考文献:p309〜313
Description and Table of Contents
Description
本書は、Ｔｕｒｉｎｇとよばれるプログラミング言語を紹介するとともに、プログラミング言語をいかに定義すべきかということを、Ｔｕｒｉｎｇ言語をモデル・ケースとして解説するものである。プログラミング言語設計、仕様記述法、形式的プログラム開発などに興味を持つ学生、研究者のためにも役立つ書である。
Table of Contents
- Ｔｕｒｉｎｇ言語の設計目標
- Ｔｕｒｉｎｇ言語の特色
- Ｔｕｒｉｎｇレポート
- Ｔｕｒｉｎｇの形式的定義の概要
- 字句構造
- Ｔｕｒｉｎｇの文脈自由文法
- 文脈条件—Ｔｕｒｉｎｇプログラムの静的正当性
- 形式的意味—Ｔｕｒｉｎｇのプログラムの意味
- 付録（Ｔｕｒｉｎｇ言語の精神；字句の列に関する一定理；拡張文脈自由文法の標準的な記法への変換；Ｔｕｒｉｎｇの抽象的文脈自由文法；基本文の形式的な操作的意味；入手可能なＴｕｒｉｎｇの処理系）
by "BOOK database"