Small Universal Reversible Counter Machines - Archive ouverte HAL
Chapitre D'ouvrage Année : 2018

Small Universal Reversible Counter Machines

Artiom Alhazov
Rudolf Freund

Résumé

A k-counter machine (CM(k)) is an automaton with k counters as an auxiliary memory. It is known that CM(k) are universal for k>=2 . As shown by Morita reversible CM(2) are universal. Based on results from Korec we construct four small universal reversible counter machines highlighting different trade-offs: (10, 109, 129), (11, 227, 270), (9, 97, 116) and (2, 1097, 1568), where in parentheses we indicated the number of counters, states and instructions, respectively. Since counter machines are used in many areas, our results can be the starting point for corresponding reversible universal constructions.
Fichier principal
Vignette du fichier
surcm_v5.pdf (216.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01757525 , version 1 (25-04-2023)

Identifiants

Citer

Artiom Alhazov, Sergey Verlan, Rudolf Freund. Small Universal Reversible Counter Machines. Adamatzky, Andrew. Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday, Springer International Publishing, pp.433--446, 2018, 978-3-319-73216-9. ⟨10.1007/978-3-319-73216-9_20⟩. ⟨hal-01757525⟩

Collections

LACL UPEC
47 Consultations
69 Téléchargements

Altmetric

Partager

More