Arithmetization of Register Machines with Counters

Register machines with counters are arithmetized in class of the Grzegorczyk hierarchy. As a sequence, we construct a new simple basis via superpositioning in Grzegorczyk class .

Saved in:
Bibliographic Details
Published in:Moscow University computational mathematics and cybernetics 2020, Vol.44 (3), p.133-145
Main Author: Savitskii, I. V.
Format: Article
Language:English
Subjects:
Mathematics
Mathematics and Statistics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Register machines with counters are arithmetized in class of the Grzegorczyk hierarchy. As a sequence, we construct a new simple basis via superpositioning in Grzegorczyk class .
ISSN:0278-6419
1934-8428
DOI:10.3103/S0278641920030048