Eliminating Inequalities in Register Machines with Counters
- 作者: Savitskii I.V.1
-
隶属关系:
- Faculty of Computational Mathematics and Cybernetics
- 期: 卷 43, 编号 3 (2019)
- 页面: 126-132
- 栏目: Article
- URL: https://journals.rcsi.science/0278-6419/article/view/176314
- DOI: https://doi.org/10.3103/S0278641919030051
- ID: 176314
如何引用文章
详细
It is proved that in programs of register machines with counters, only the equal-to/not-equal-to relations between registers and counters are essential without loss of computational capabilities.
作者简介
I. Savitskii
Faculty of Computational Mathematics and Cybernetics
编辑信件的主要联系方式.
Email: savvvig@gmail.com
俄罗斯联邦, Moscow, 119991
补充文件
