難解言語Malbolgeのチューリング完全性について
書誌事項
- タイトル別名
-
- ナンカイ ゲンゴ Malbolge ノ チューリング カンゼンセイ ニ ツイテ
- On Turing Completeness of an Esoteric Language, Malbolge
この論文をさがす
説明
Malbolgeは最も難解なプログラミング言語として知られている.本研究では,飯澤らが提案したプログラミング手法に基づいて,Malbolgeが弱チューリング完全性を持つこと示す.そのために,チューリング完全性を持つ正規形のNプログラムをMalbolgeコードに変換できることを示す.ここで,本稿で示す性質が弱チューリング完全性であるのは,Malbolgeが固定されたメモリ空間およびレジスタ長の仮想機械により意味が定められているためである.
収録刊行物
-
- 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 110 (227), 55-60, 2010-10
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050845763733625856
-
- NII論文ID
- 110008106387
- 120005527809
-
- NII書誌ID
- AN10013287
-
- HANDLE
- 2237/21107
-
- NDL書誌ID
- 10882029
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDLサーチ
- CiNii Articles
- KAKEN