Memoryless Systems Generate the Class of all Discrete Systems
Automata are machines, which receive inputs, accordingly update their internal state, and produce output, and are a common abstraction for the basic building blocks used in engineering and science to describe and design complex systems. These arbitrarily simple machines can be wired together—so that...
Saved in:
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2019-01-01
|
Series: | International Journal of Mathematics and Mathematical Sciences |
Online Access: | http://dx.doi.org/10.1155/2019/6803526 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
_version_ | 1832562105218236416 |
---|---|
author | Erwan Beurier Dominique Pastor David I. Spivak |
author_facet | Erwan Beurier Dominique Pastor David I. Spivak |
author_sort | Erwan Beurier |
collection | DOAJ |
description | Automata are machines, which receive inputs, accordingly update their internal state, and produce output, and are a common abstraction for the basic building blocks used in engineering and science to describe and design complex systems. These arbitrarily simple machines can be wired together—so that the output of one is passed to another as its input—to form more complex machines. Indeed, both modern computers and biological systems can be described in this way, as assemblies of transistors or assemblies of simple cells. The complexity is in the network, i.e., the connection patterns between simple machines. The main result of this paper is to show that the range of simplicity for parts as compared to the complexity for wholes is in some sense complete: the most complex automaton can be obtained by wiring together direct-output memoryless components. The model we use—discrete-time automata sending each other messages from a fixed set of possibilities—is certainly more appropriate for computer systems than for biological systems. However, the result leads one to wonder what might be the simplest sort of machines, broadly construed, that can be assembled to produce the behaviour found in biological systems, including the brain. |
format | Article |
id | doaj-art-3873bbd839574296bb32c0557de1dcef |
institution | Kabale University |
issn | 0161-1712 1687-0425 |
language | English |
publishDate | 2019-01-01 |
publisher | Wiley |
record_format | Article |
series | International Journal of Mathematics and Mathematical Sciences |
spelling | doaj-art-3873bbd839574296bb32c0557de1dcef2025-02-03T01:23:21ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252019-01-01201910.1155/2019/68035266803526Memoryless Systems Generate the Class of all Discrete SystemsErwan Beurier0Dominique Pastor1David I. Spivak2Département Signal et Communications, IMT Atlantique, Lab-STICC, UBL, 29238 Brest, FranceDépartement Signal et Communications, IMT Atlantique, Lab-STICC, UBL, 29238 Brest, FranceMathematics Department, MIT, Cambridge, MA, USAAutomata are machines, which receive inputs, accordingly update their internal state, and produce output, and are a common abstraction for the basic building blocks used in engineering and science to describe and design complex systems. These arbitrarily simple machines can be wired together—so that the output of one is passed to another as its input—to form more complex machines. Indeed, both modern computers and biological systems can be described in this way, as assemblies of transistors or assemblies of simple cells. The complexity is in the network, i.e., the connection patterns between simple machines. The main result of this paper is to show that the range of simplicity for parts as compared to the complexity for wholes is in some sense complete: the most complex automaton can be obtained by wiring together direct-output memoryless components. The model we use—discrete-time automata sending each other messages from a fixed set of possibilities—is certainly more appropriate for computer systems than for biological systems. However, the result leads one to wonder what might be the simplest sort of machines, broadly construed, that can be assembled to produce the behaviour found in biological systems, including the brain.http://dx.doi.org/10.1155/2019/6803526 |
spellingShingle | Erwan Beurier Dominique Pastor David I. Spivak Memoryless Systems Generate the Class of all Discrete Systems International Journal of Mathematics and Mathematical Sciences |
title | Memoryless Systems Generate the Class of all Discrete Systems |
title_full | Memoryless Systems Generate the Class of all Discrete Systems |
title_fullStr | Memoryless Systems Generate the Class of all Discrete Systems |
title_full_unstemmed | Memoryless Systems Generate the Class of all Discrete Systems |
title_short | Memoryless Systems Generate the Class of all Discrete Systems |
title_sort | memoryless systems generate the class of all discrete systems |
url | http://dx.doi.org/10.1155/2019/6803526 |
work_keys_str_mv | AT erwanbeurier memorylesssystemsgeneratetheclassofalldiscretesystems AT dominiquepastor memorylesssystemsgeneratetheclassofalldiscretesystems AT davidispivak memorylesssystemsgeneratetheclassofalldiscretesystems |