可逆プログラミング言語R-WHILEの可逆チューリング完全性

青木 崚  横山 哲郎  

誌名
電子情報通信学会論文誌 D   Vol.J101-D   No.9   pp.1372-1375
発行日: 2018/09/01
Online ISSN: 1881-0225
DOI: 10.14923/transinfj.2018JDL8008
論文種別: レター
専門分野: 
キーワード: 
可逆プログラミング言語,  可逆チューリング機械,  可逆チューリング完全性,  R-WHILE,  

本文: PDF(345.2KB)
>>論文を購入


あらまし: 
任意の可逆プログラミング言語のプログラムで計算できるものが,可逆なR-WHILEプログラムによって計算できることを示す.