Eliminating Inequalities in Register Machines with Counters
- Autores: Savitskii I.V.1
-
Afiliações:
- Faculty of Computational Mathematics and Cybernetics
- Edição: Volume 43, Nº 3 (2019)
- Páginas: 126-132
- Seção: Article
- URL: https://journals.rcsi.science/0278-6419/article/view/176314
- DOI: https://doi.org/10.3103/S0278641919030051
- ID: 176314
Citar
Resumo
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.
Palavras-chave
Sobre autores
I. Savitskii
Faculty of Computational Mathematics and Cybernetics
Autor responsável pela correspondência
Email: savvvig@gmail.com
Rússia, Moscow, 119991
Arquivos suplementares
