Eliminating Inequalities in Register Machines with Counters


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

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.

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

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Allerton Press, Inc., 2019