Cubical token systems

From MaRDI portal



Abstract: The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of combinatorial and stochastic parts of media theory hold almost in identical form for cubical token systems, although some underlying concepts are quite different. A representation theorem for a cubical token system is established asserting that the graph of such a system is cubical.


Cubical token systems and media are particular instances of a general algebraic structure, called `token system', describing a mathematical, physical, or behavioral system as it evolves from one `state' to another. This structure is formalized as a pair \(({\mathcal S, T })\) consisting of a set \(S\) of states and a set \(T\) of tokens. Tokens are transformations of the set of states. Strings of tokens are `messages' of the token system. The author introduces basic concepts of token systems in Section 2 and axioms for cubical token systems and media in Section 3, where it is also shown that media form a proper subclass of cubical systems. G-systems are token systems defined on connected families of sets. In Section 4, the author shows that they are instances of cubical systems. G-systems are typical examples of cubical systems as it is demonstrated in Section 6. Structural properties of states and messages of a cubical system are established in Section 5 in terms of their `contents'. These properties are crucial for the development of stochastic token theory presented in Section 8, where stochastic properties of cubical token systems are established. The main result of the algebraic part of cubical systems theory -- the representation theorem -- is established in Section 6 (Theorem 6.1). In Section 7, the author gives some examples of cubical systems.











This page was built for publication: Cubical token systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q943579)