Results for 'Registermachine'

Order:
  1.  11
    The Computation of Partial Recursive Word‐Functions Without Read Instructions.Holger Petersen - 1996 - Mathematical Logic Quarterly 42 (1):312-318.
    In this note we consider register-machines with symbol manipulation capabilities. They can form words over a given alphabet in their registers by appending symbols to the strings already stored. These machines are similar to Post's normal systems and the related machine-models discussed in the literature. But unlike the latter devices they are deterministic and are not allowed to read symbols from the front of the registers. Instead they can compare registers and erase them. At first glance it is surprising that (...)
    Direct download  
     
    Export citation  
     
    Bookmark