プログラミング言語Turing : 言語仕様の基礎理論と設計技法

R.C.ホルト ほか著 ; 湯浅太一 監訳

[目次]

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

「BOOKデータベース」より