プログラミング言語Ｔｕｒｉｎｇ / ホルト，Ｒ．Ｃ．〈Ｈｏｌｔ，Ｒｉｃｈａｒｄ　Ｃ．〉/マシューズ，Ｐ．Ａ．〈Ｍａｔｔｈｅｗｓ，Ｐｈｉｌｉｐ　Ａ．〉/ロセレット，Ｊ．Ａ．〈Ｒｏｓｓｅｌｅｔ，Ｊ．Ａｌａｎ〉/コーディ，Ｊ．Ｒ．【著】〈Ｃｏｒｄｙ，Ｊａｍｅｓ　Ｒ．〉/松田元彦/三好博之/・啓学出版

プログラミング言語Ｔｕｒｉｎｇ―言語仕様の基礎理論と設計技法

ただいまウェブストアではご注文を受け付けておりません。

サイズ A5判／ページ数 321p／高さ 22X16cm
商品コード 9784766510751
NDC分類 007.64
Cコード C3055

内容説明

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