プログラミング言語Ｔｕｒｉｎｇ

言語仕様の基礎理論と設計技法
Ｔｈｅ　Ｔｕｒｉｎｇ　ｐｒｏｇｒａｍｍｉｎｇ　ｌａｎｇｕａｇｅ：ｄｅｓｉｇｎ　ａｎｄ　ｄｅｆｉｎｉｔｉｏｎ．

啓学出版
リチャード・Ｃ．ホルト　松田元彦　

• 価格: 4,058円（本体3,689円＋税）
• 発行年月: 1990年08月
• 判型: Ａ５
• ISBN: 9784766510751

内容情報

[BOOKデータベースより]

本書は、Ｔｕｒｉｎｇとよばれるプログラミング言語を紹介するとともに、プログラミング言語をいかに定義すべきかということを、Ｔｕｒｉｎｇ言語をモデル・ケースとして解説するものである。プログラミング言語設計、仕様記述法、形式的プログラム開発などに興味を持つ学生、研究者のためにも役立つ書である。

Ｔｕｒｉｎｇ言語の設計目標
Ｔｕｒｉｎｇ言語の特色
Ｔｕｒｉｎｇレポート
Ｔｕｒｉｎｇの形式的定義の概要
字句構造
Ｔｕｒｉｎｇの文脈自由文法
文脈条件―Ｔｕｒｉｎｇプログラムの静的正当性
形式的意味―Ｔｕｒｉｎｇのプログラムの意味
付録（Ｔｕｒｉｎｇ言語の精神；字句の列に関する一定理；拡張文脈自由文法の標準的な記法への変換；Ｔｕｒｉｎｇの抽象的文脈自由文法；基本文の形式的な操作的意味；入手可能なＴｕｒｉｎｇの処理系）