Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Book sections

Small Universal Reversible Counter Machines

Abstract : 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\backslashge 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.
Document type :
Book sections
Complete list of metadata
Contributor : Sergey Verlan Connect in order to contact the contributor
Submitted on : Tuesday, April 3, 2018 - 4:54:13 PM
Last modification on : Wednesday, November 3, 2021 - 6:49:47 AM




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⟩



Record views