A Formal Model Based on Affinity Among Elements for Describing Behavior of Complex Systems

Permalink

https://hdl.handle.net/2142/10785

Title: A Formal Model Based on Affinity Among Elements for Describing Behavior of Complex Systems
Author(s): Tominaga, Kazuto
Issue Date: 2004-03
Keyword(s): Formal Methods
Abstract: The field of studies on complex systems is becoming one of the most active research areas in computer science. Among those systems, there is a type of system that has the following characteristics: comprising a large number of unintelligent elements, composition and decomposition of groups of elements, and simple but various interactions among the elements. In this paper, we present a formal model for describing the behavior of such type of complex system. The presented model is based on pattern matching, recombination of elements, and nondeterminism. We give example descriptions for several systems, which include a simple self-replicating creature, Turing machines, and a solver of the 3SAT problem.
Type of Resource: text
Permalink: http://hdl.handle.net/2142/10785
Copyright and License Information: You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).