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...

Full description

Saved in:
Bibliographic Details
Main Authors: Erwan Beurier, Dominique Pastor, David I. Spivak
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