Files in this item



application/pdfA Formal Model ... ior of Complex Systems.pdf (170kB)
(no description provided)PDF


Title:A Formal Model Based on Affinity Among Elements for Describing Behavior of Complex Systems
Author(s):Tominaga, Kazuto
Subject(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.
Issue Date:2004-03
Genre:Technical Report
Rights 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).
Date Available in IDEALS:2009-04-14

This item appears in the following Collection(s)

Item Statistics