The contribution provides an example of how a formal model of some life-like functions - the so called eco-grammar (EG) system - provides a framework in which it is formally provable that the computational power of the model - under some very natural circumstances derived from the specificities of living systems, esp. from their embodiment - may overcome the computational limits of traditional computing models, perhaps also the computational power of the universal Turing machine.
展开▼