- UHRA Home
- Browsing by Author
Browsing by Author "Egri-Nagy, Attila"
Now showing items 1-12 of 12
-
Algebraic hierarchical decomposition of finite state automata : a computational approach
Egri-Nagy, Attila (University of Hertfordshire, 2005)The theory of algebraic hierarchical decomposition of finite state automata is an important and well developed branch of theoretical computer science (Krohn-Rhodes Theory). Beyond this it gives a general model for ... -
Algebraic hierarchical decomposition of finite state automata : comparison of implementations for Krohn-Rhodes Theory
Egri-Nagy, Attila; Nehaniv, C.L. (2005)The hierarchical algebraic decomposition of finite state automata (Krohn- Rhodes Theory) has been a mathematical theory without any computational implementations until the present paper, although several possible and ... -
BIOMICS Project : Biological and Mathematical Basis of Interaction Computing
Dini, Paolo; Nehaniv, C.L.; Egri-Nagy, Attila; Schilstra, M.; Schreckling, Daniel; Posegga, Joachim; Horvath, Gabor; Munro, Alastair J. (2012)The main idea that led us to propose this project is inspired by the observation that cell metabolic/regulatory systems are able to self-organise and/or construct order dynamically, through random interactions between their ... -
Computational understanding and manipulation of symmetries
Egri-Nagy, Attila; Nehaniv, C.L. (Springer Nature, 2015-01)For natural and artificial systems with some symmetry structure, computational understanding and manipulation can be achieved without learning by exploiting the algebraic structure. This algebraic coordinatization is based ... -
Computing finite semigroups
East, James; Egri-Nagy, Attila; Mitchell, James D.; Peresse, Yann (2019-05-01)Using a variant of Schreier's Theorem, and the theory of Green's relations, we show how to reduce the computation of an arbitrary subsemigroup of a finite regular semigroup to that of certain associated subgroups. Examples ... -
Evolvability of the gentotype-phenotype relation in populations of self-replicating digital organisms in a Tierra-like system
Egri-Nagy, Attila; Nehaniv, C.L. (2003)In other Tierra-like systems the genotype is a sequence of instructions and the phenotype is the corresponding executed algorithm. This way the genotype-phenotype mapping is constrained by the structure of a creature’s ... -
Exploring the concept of interaction computing through the discrete algebraic analysis of the Belousov-Zhabotinsky reaction
Dini, Paolo; Nehaniv, C.L.; Egri-Nagy, Attila; Schilstra, M. (2013-05)Interaction computing (IC) aims to map the properties of integrable low-dimensional non-linear dynamical systems to the discrete domain of finite-state automata in an attempt to reproduce in software the self-organizing ... -
Hierarchical coordinate systems for understanding complexity and its evolution with applications to genetic regulatory networks
Egri-Nagy, Attila; Nehaniv, C.L. (2008)Beyond complexity measures, sometimes it is worth in addition investigating how complexity changes structurally, especially in artificial systems where we have complete knowledge about the evolutionary process. Hierarchical ... -
Making sense of the sensory data - coordinate systems by hierarchical decomposition
Egri-Nagy, Attila; Nehaniv, C.L. (2006)Having the right sensory channels is an important ingredient for building an autonomous agent, but we still have the problem of making sense of the sensory data for the agent. This is the basic problem of artificial ... -
SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups
Egri-Nagy, Attila; Mitchell, James D.; Nehaniv, C.L. (Springer Nature, 2014)We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the ... -
Symmetries of Automata
Egri-Nagy, Attila; Nehaniv, C.L. (2015-03-24)For a given reachable automaton A, we prove that the (state-)endomorphism monoid End(A) divides its characteristic monoid M(A). Hence so does its (state-)automorphism group Aut(A), and, for finite A, Aut(A) is a homomorphic ... -
Symmetry structure in discrete models of biochemical systems : natural subsystems and the weak control hierarchy in a new model of computation driven by interactions
Nehaniv, C.L.; Rhodes, John; Egri-Nagy, Attila; Dini, Paolo; Rothstein Morris, Eric; Horvath, Gabor; Karimi, Fariba; Schreckling, Daniel; Schilstra, M. (2015-07-28)Interaction Computing (IC) is inspired by the observation that cell metabolic/regulatory systems construct order dynamically, through constrained interactions between their components and based on a wide range of possible ...