×
阿曼多·马托斯（Armando B.Matos）。

简单可逆语言中的线性程序。 （英语） Zbl 1044.68026号

西奥。计算。科学。 290，第3期，2063-2074（2003）.
摘要：非常简单的可逆编程语言对于可逆转换的研究非常有用。为此，我们定义了简单可逆语言（SRL），这是一种非常简单的可逆语言，并分析了它的性质。语言SRL类似于一些作者用来描述基本递归函数集的“循环”语言。然而，有一些重要的区别：SRL具有域\（{mathbb Z}\）而不是\（{mathbb N}\），并且只有可逆程序可以用SRL编写。线性齐次SRL程序的可逆性与相应的矩阵集具有群的代数结构有关。我们证明，此类程序精确地实现了与整数正模矩阵组相对应的线性变换，而在SRL的扩展版本ESRL中，线性齐次程序可以实现的变换集精确地对应于整数模矩阵组。

引用于8文件

MSC公司：

68甲15 编程语言理论

关键词：

循环语言；模矩阵组；可逆性
PDF格式BibTeX公司 XML格式引用
\文本{A.B.Matos}，Theor。计算。科学。290，第3号，2063--2074（2003；Zbl 1044.68026）
全文： 内政部

参考文献：

[1] Bennett，C.H.，《计算的逻辑可逆性》，IBM J.Res.Develop。，6255-532（1973年）·兹比尔0267.68024
[2] Bennett，C.H.，《计算热力学——综述》，国际。J.理论。物理。，21, 905-940 (1982)
[3] 华立康，《数论导论》（1982），施普林格：柏林施普林格出版社·Zbl 0524.35009号
[4] Lecerf，Y.，《图灵机器》。Récursive imboubiliteéen \（n∈n \）de l′équation\（u=θ^n \）o\（θ\）是“代码同构”，《科学院学报》，2572597-2600（1963）·Zbl 0192.06901号
[5] 李，M。；Tromp，J。；Vitányi，P.，《不可逆计算的可逆模拟》，Physica D，120，168-176（1998）
[6] A.R.Meyer，D.M.Ritchie，循环程序的复杂性，Proc。第22届ACM全国大会，1967年，第465-469页。；A.R.Meyer，D.M.Ritchie，循环程序的复杂性，Proc。第22届ACM全国大会，1967年，第465-469页。
[7] A.R.Meyer，D.M.Ritchie，计算复杂性和程序结构，IBM研究报告RC 18171967。；A.R.Meyer，D.M.Ritchie，计算复杂性和程序结构，IBM研究报告RC 18171967。
[8] Sommerhalder，R。；van Westrhenen，S.C.，《可计算性理论：程序、机器、有效性和可行性》，国际计算机科学系列（1988），Addison-Wesley：Addison-Whesley Reading，MA·Zbl 0743.68010号
[9] Tsichritzis，D.，《简单程序的等价问题》，J.Assoc.Compute。机器。，17, 4, 729-738 (1970) ·Zbl 0209.02001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。