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...
Saved in:
| Main Author: | |
|---|---|
| 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!
|
| _version_ | 1850159411786416128 |
|---|---|
| author | Mark Burgin |
| author_facet | Mark Burgin |
| author_sort | Mark Burgin |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-3d5de63042524704b9f7531f5bf67db0 |
| institution | OA Journals |
| issn | 2504-3900 |
| language | English |
| publishDate | 2020-05-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Proceedings |
| spelling | doaj-art-3d5de63042524704b9f7531f5bf67db02025-08-20T02:23:32ZengMDPI AGProceedings2504-39002020-05-014712810.3390/proceedings2020047028Information Processing by Symmetric Inductive Turing MachinesMark Burgin0Department of Mathematics, University of California, 520 Portola Plaza, Los Angeles, CA 90095, USATraditional 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.https://www.mdpi.com/2504-3900/47/1/28informationinductioncomputationsymmetrycomputerefficiency |
| spellingShingle | Mark Burgin Information Processing by Symmetric Inductive Turing Machines Proceedings information induction computation symmetry computer efficiency |
| title | Information Processing by Symmetric Inductive Turing Machines |
| title_full | Information Processing by Symmetric Inductive Turing Machines |
| title_fullStr | Information Processing by Symmetric Inductive Turing Machines |
| title_full_unstemmed | Information Processing by Symmetric Inductive Turing Machines |
| title_short | Information Processing by Symmetric Inductive Turing Machines |
| title_sort | information processing by symmetric inductive turing machines |
| topic | information induction computation symmetry computer efficiency |
| url | https://www.mdpi.com/2504-3900/47/1/28 |
| work_keys_str_mv | AT markburgin informationprocessingbysymmetricinductiveturingmachines |