CINECA IRIS公司机构研究信息系统

我们将重点放在可逆计算模型理论中的全函数上。我们定义了一类递归置换，称为可逆原置换（RPP），它是整数上可计算的可逆全内函数，因此是全可逆计算的子集。RPP由五个基本函数（身份、符号转换、继承、前置、交换）、两个组合概念（顺序和并行）、一个函数迭代和一个函数选择生成。RPP是通过倒置封闭的，它具有足够的表达能力来编码康托对和整个本原递归函数类。

一类递归置换，它是原始递归完备的

保里尼L。；短笛M。；罗氏杆菌。
2020-01-01

摘要

我们将重点放在可逆计算模型理论中的全函数上。我们定义了一类递归置换，称为可逆原置换（RPP），它是整数上可计算的可逆全内函数，因此是全可逆计算的子集。RPP由五个基本函数（身份、符号转换、继承、前置、交换）、两个组合概念（顺序和并行）、一个函数迭代和一个函数选择生成。RPP是通过倒置封闭的，它具有足够的表达能力来编码康托对和整个本原递归函数类。
2020
理论计算机科学
813
218
233
http://www.sciencedirect.com/science/article/pii/S0304397519307558
https://doi.org/10.1016/j.tcs.2019.11.029
可逆计算，非传统计算模型，可计算排列，基本递归函数，递归理论
Paolini L。；短笛M。；罗氏杆菌。
03A-Articolo su Rivista公司
questo prodotto中的文件：
文件 尺寸 福尔马托  
20-03-23-main-carico-su-IRIS.pdf

访问aperto

描述：作者印后con data di accettazione 26 11 2019
Tipo di文件：印后（DELL’AUTORE最终版）
尺寸420.62千字节
福尔马托Adobe PDF格式
Visualiza/Apri公司
420.62千字节 Adobe PDF格式 Visualiza/Apri公司
一类基本递归完备的递归排列-TCS 2020 ori.pdf

利塞瓦托通道

Tipo di文件：PDF编辑器
尺寸480.77千字节
福尔马托Adobe PDF格式
Visualiza/Apri公司 Richiedi una copia公司
480.77千字节 Adobe PDF格式 Visualiza/Apri公司 Richiedi una copia公司

我在IRIS sono protetti da中记录了版权所有e tutti I diritti sono riservati，salvo diversa indicazione。

利用za questo identificationvo per citare或creare un link a questo documento：https://hdl.handle.net/2318/1734163
西塔奇奥尼
  • ???jsp.display-item.cibitation.pmc？？？ ND（无损检测）
  • Scopus公司 12
  • ???jsp.display-item.cibitation.isi？？？ 6
社会影响