Information Processing by Symmetric Inductive Turing Machines

Traditional models of computations, such as Turing machines or partial recursive functions, perform computations of functions using a definite program controlling these computations. This approach detaches data, which are processed, and the permanent program, which controls this processing. Physical...

Full description

Saved in:
Bibliographic Details
Main Author: Mark Burgin
Format: Article
Language:English
Published: MDPI AG 2020-05-01
Series:Proceedings
Subjects:
Online Access:https://www.mdpi.com/2504-3900/47/1/28
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Traditional models of computations, such as Turing machines or partial recursive functions, perform computations of functions using a definite program controlling these computations. This approach detaches data, which are processed, and the permanent program, which controls this processing. Physical computers often process not only data but also their software (programs). To reflect this peculiarity of physical computers, symmetric models of computations and automata were introduced. In this paper, we study information processing by symmetric models, which are called symmetric inductive Turing machines and reflexive inductive Turing machines.
ISSN:2504-3900